czt.zxml.ast
Class Numeral_Parsed
java.lang.Object
|
+--zeta.util.Term
|
+--czt.zxml.ast.Numeral
|
+--czt.zxml.ast.Numeral_Parsed
- All Implemented Interfaces:
- java.lang.Cloneable, zeta.format.Formattable, java.io.Serializable
- public class Numeral_Parsed
- extends Numeral
- See Also:
- Serialized Form
| Fields inherited from class zeta.util.Term |
interned, internTab |
|
Method Summary |
boolean |
equals(java.lang.Object o)
|
int |
hashCode()
|
zeta.format.Format |
toFormat(zeta.format.FormatInfo info)
|
| 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 |
numeral
public long numeral
Numeral_Parsed
public Numeral_Parsed(long l)
Numeral_Parsed
public Numeral_Parsed(java.lang.String s)
throws java.lang.NumberFormatException
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