czt.zxml.ast
Class TextSch_Parsed

java.lang.Object
  |
  +--zeta.util.Term
        |
        +--czt.zxml.ast.TextSch
              |
              +--czt.zxml.ast.TextSch_Parsed
All Implemented Interfaces:
Annotated, java.lang.Cloneable, zeta.format.Formattable, java.io.Serializable

public class TextSch_Parsed
extends TextSch
implements Annotated

See Also:
Serialized Form

Field Summary
 zeta.util.Annotation ann
           
 TermList decls
           
 Pred pred
           
 
Fields inherited from class zeta.util.Term
interned, internTab
 
Constructor Summary
TextSch_Parsed(java.util.List decls, Pred pred)
           
 
Method Summary
 zeta.util.Annotation getAnnotation()
           
 
Methods inherited from class zeta.util.Term
, clone, equals, getSubtermFields, getTagField, intern, internArray, toFormat, toString
 
Methods inherited from class java.lang.Object
finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait
 

Field Detail

decls

public TermList decls

pred

public Pred pred

ann

public zeta.util.Annotation ann
Constructor Detail

TextSch_Parsed

public TextSch_Parsed(java.util.List decls,
                      Pred pred)
Method Detail

getAnnotation

public zeta.util.Annotation getAnnotation()
Specified by:
getAnnotation in interface Annotated