czt.zxml.ast
Class RefExpr_Unparsed

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

All Implemented Interfaces:

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

public class RefExpr_Unparsed

extends RefExpr

implements Unparsed

See Also:

Serialized Form

Field Summary

java.lang.String

unparsedData

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_Unparsed(java.lang.String u)

RefExpr_Unparsed(java.lang.String u, int Inst)

RefExpr_Unparsed(java.lang.String u, java.lang.String Inst)

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

unparsedData

public java.lang.String unparsedData

Constructor Detail

RefExpr_Unparsed

public RefExpr_Unparsed(java.lang.String u)

RefExpr_Unparsed

public RefExpr_Unparsed(java.lang.String u,
                        int Inst)

RefExpr_Unparsed

public RefExpr_Unparsed(java.lang.String u,
                        java.lang.String Inst)