czt.zxml.ast
Class Numeral_Unparsed

java.lang.Object
  |
  +--zeta.util.Term
        |
        +--czt.zxml.ast.Numeral
              |
              +--czt.zxml.ast.Numeral_Unparsed

All Implemented Interfaces:

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

public class Numeral_Unparsed

extends Numeral

implements Unparsed

See Also:

Serialized Form

Field Summary

java.lang.String

unparsedData

Fields inherited from class zeta.util.Term

interned, internTab

Constructor Summary

Numeral_Unparsed(java.lang.String s)

Method Summary

boolean	equals(java.lang.Object o)
int	hashCode()
zeta.format.Format	toFormat(zeta.format.FormatInfo info)

Methods inherited from class czt.zxml.ast.Numeral

create

Methods inherited from class zeta.util.Term

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

Methods inherited from class java.lang.Object

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

Field Detail

unparsedData

public java.lang.String unparsedData

Constructor Detail

Numeral_Unparsed

public Numeral_Unparsed(java.lang.String s)

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class zeta.util.Term

toFormat

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

Overrides:

toFormat in class zeta.util.Term