czt.zxml.ast
Class AxPara_Parsed

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

All Implemented Interfaces:

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

public class AxPara_Parsed

extends AxPara

implements Annotated

See Also:

Serialized Form

Field Summary

zeta.util.Annotation	ann
TermList	declnames
TextSch	sch

Fields inherited from class czt.zxml.ast.AxPara

Box, Box_AxBox, Box_default, Box_Default, Box_max, Box_min, Box_names, Box_OmitBox, Box_SchBox, Params, Params_default, Params_Default, Params_max, Params_min, Params_Mixfix, Params_names, Params_Square

Fields inherited from class zeta.util.Term

interned, internTab

Constructor Summary

AxPara_Parsed(java.util.List d, TextSch s, int box, int params)

AxPara_Parsed(java.util.List d, TextSch s, java.lang.String box, java.lang.String params)

Method Summary

zeta.util.Annotation

getAnnotation()

Methods inherited from class czt.zxml.ast.AxPara

getBox, getParams, 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

declnames

public TermList declnames

sch

public TextSch sch

ann

public zeta.util.Annotation ann

Constructor Detail

AxPara_Parsed

public AxPara_Parsed(java.util.List d,
                     TextSch s,
                     int box,
                     int params)

AxPara_Parsed

public AxPara_Parsed(java.util.List d,
                     TextSch s,
                     java.lang.String box,
                     java.lang.String params)

Method Detail

getAnnotation

public zeta.util.Annotation getAnnotation()

Specified by:

getAnnotation in interface Annotated