czt.zxml.ast
Class RefExpr

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

All Implemented Interfaces:

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

Direct Known Subclasses:

RefExpr_Parsed, RefExpr_Unparsed

public abstract class RefExpr

extends Expr

See Also:

Serialized Form

Field Summary

private int	Inst
static int	Inst_default
static int	Inst_Default
protected static int	Inst_max
protected static int	Inst_min
static int	Inst_Mixfix
static java.lang.String[]	Inst_names
static int	Inst_Square

Fields inherited from class zeta.util.Term

interned, internTab

Constructor Summary

RefExpr()

RefExpr(int Inst)

RefExpr(java.lang.String Inst)

Method Summary

java.lang.String	getInst()
zeta.format.Format	toFormat(zeta.format.FormatInfo info)

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

Inst

private int Inst

Inst_Square

public static final int Inst_Square

Inst_Mixfix

public static final int Inst_Mixfix

Inst_Default

public static final int Inst_Default

Inst_default

public static final int Inst_default

Inst_min

protected static final int Inst_min

Inst_max

protected static final int Inst_max

Inst_names

public static final java.lang.String[] Inst_names

Constructor Detail

RefExpr

public RefExpr(int Inst)

RefExpr

public RefExpr(java.lang.String Inst)

RefExpr

public RefExpr()

Method Detail

getInst

public java.lang.String getInst()

toFormat

public zeta.format.Format toFormat(zeta.format.FormatInfo info)

Overrides:

toFormat in class zeta.util.Term