czt.zxml.ast
Class ThetaExpr_Parsed

java.lang.Object
  |
  +--zeta.util.Term
        |
        +--czt.zxml.ast.Expr
              |
              +--czt.zxml.ast.ThetaExpr
                    |
                    +--czt.zxml.ast.ThetaExpr_Parsed

All Implemented Interfaces:

Annotated, java.lang.Cloneable, zeta.format.Formattable, java.io.Serializable

public class ThetaExpr_Parsed

extends ThetaExpr

implements Annotated

See Also:

Serialized Form

Field Summary

zeta.util.Annotation	ann
Expr	expr
TermList	strokes

Fields inherited from class zeta.util.Term

interned, internTab

Constructor Summary

ThetaExpr_Parsed(Expr expr, java.util.List strokes)

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

expr

public Expr expr

strokes

public TermList strokes

ann

public zeta.util.Annotation ann

Constructor Detail

ThetaExpr_Parsed

public ThetaExpr_Parsed(Expr expr,
                        java.util.List strokes)

Method Detail

getAnnotation

public zeta.util.Annotation getAnnotation()

Specified by:

getAnnotation in interface Annotated