czt.zxml.ast
Class AxPara

java.lang.Object
  |
  +--zeta.util.Term
        |
        +--czt.zxml.ast.Para
              |
              +--czt.zxml.ast.AxPara

All Implemented Interfaces:

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

Direct Known Subclasses:

AxPara_Parsed, AxPara_Unparsed

public abstract class AxPara

extends Para

See Also:

Serialized Form

Field Summary

private int	Box
static int	Box_AxBox
static int	Box_default
static int	Box_Default
private static int	Box_max
private static int	Box_min
static java.lang.String[]	Box_names
static int	Box_OmitBox
static int	Box_SchBox
private int	Params
static int	Params_default
static int	Params_Default
private static int	Params_max
private static int	Params_min
static int	Params_Mixfix
static java.lang.String[]	Params_names
static int	Params_Square

Fields inherited from class zeta.util.Term

interned, internTab

Constructor Summary

AxPara()

AxPara(int Box, int Params)

AxPara(java.lang.String Box, java.lang.String Params)

Method Summary

java.lang.String	getBox()
java.lang.String	getParams()
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

Box

private int Box

Box_OmitBox

public static final int Box_OmitBox

Box_AxBox

public static final int Box_AxBox

Box_SchBox

public static final int Box_SchBox

Box_Default

public static final int Box_Default

Box_default

public static final int Box_default

Box_min

private static final int Box_min

Box_max

private static final int Box_max

Box_names

public static final java.lang.String[] Box_names

Params

private int Params

Params_Square

public static final int Params_Square

Params_Mixfix

public static final int Params_Mixfix

Params_Default

public static final int Params_Default

Params_default

public static final int Params_default

Params_min

private static final int Params_min

Params_max

private static final int Params_max

Params_names

public static final java.lang.String[] Params_names

Constructor Detail

AxPara

public AxPara(int Box,
              int Params)

AxPara

public AxPara(java.lang.String Box,
              java.lang.String Params)

AxPara

public AxPara()

Method Detail

getBox

public java.lang.String getBox()

getParams

public java.lang.String getParams()

toFormat

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

Overrides:

toFormat in class zeta.util.Term