czt.zxml.ast
Class SectAnns

java.lang.Object
  |
  +--czt.zxml.ast.SectAnns

All Implemented Interfaces:

Ann

public class SectAnns

extends java.lang.Object

implements Ann

Field Summary

SectTypeEnv	sectTypeEnv
static zeta.util.Slot	slot

Constructor Summary

SectAnns(SectTypeEnv s)

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait

Field Detail

slot

public static final zeta.util.Slot slot

sectTypeEnv

public SectTypeEnv sectTypeEnv

Constructor Detail

SectAnns

public SectAnns(SectTypeEnv s)