czt.zxml.ast
Class RefExpr_Parsed

java.lang.Object
  |
  +--zeta.util.Term
        |
        +--czt.zxml.ast.Expr
              |
              +--czt.zxml.ast.RefExpr
                    |
                    +--czt.zxml.ast.RefExpr_Parsed

All Implemented Interfaces:

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

public class RefExpr_Parsed

extends RefExpr

implements Annotated

See Also:

Serialized Form

Field Summary

zeta.util.Annotation	ann
TermList	exprs
RefName	refName

Fields inherited from class czt.zxml.ast.RefExpr

Inst, Inst_default, Inst_Default, Inst_max, Inst_min, Inst_Mixfix, Inst_names, Inst_Square

Fields inherited from class zeta.util.Term

interned, internTab

Constructor Summary

RefExpr_Parsed(RefName refName, java.util.List exprs)

RefExpr_Parsed(RefName refName, java.util.List exprs, int inst)

RefExpr_Parsed(RefName refName, java.util.List exprs, java.lang.String inst)

Method Summary

zeta.util.Annotation

getAnnotation()

Methods inherited from class czt.zxml.ast.RefExpr

getInst, toFormat

Methods inherited from class zeta.util.Term

, clone, equals, getSubtermFields, getTagField, intern, internArray, toString

Methods inherited from class java.lang.Object

finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait

Field Detail

refName

public RefName refName

exprs

public TermList exprs

ann

public zeta.util.Annotation ann

Constructor Detail

RefExpr_Parsed

public RefExpr_Parsed(RefName refName,
                      java.util.List exprs,
                      java.lang.String inst)

RefExpr_Parsed

public RefExpr_Parsed(RefName refName,
                      java.util.List exprs,
                      int inst)

RefExpr_Parsed

public RefExpr_Parsed(RefName refName,
                      java.util.List exprs)

Method Detail

getAnnotation

public zeta.util.Annotation getAnnotation()

Specified by:

getAnnotation in interface Annotated