|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Object
|
+--com.ifcomputer.minerva.MinervaTerm
|
+--com.ifcomputer.minerva.MinervaNumber
|
+--com.ifcomputer.minerva.MinervaLong
The class MinervaLong is used to represent a
long value as Minerva term.
| Field Summary |
| Fields inherited from class com.ifcomputer.minerva.MinervaTerm |
ATOM, COMPOUND, DOUBLE, LIST, LONG, OBJECT, VARIABLE |
| Constructor Summary | |
MinervaLong(long value)
Constructs a Minerva double term, representing the value 'value'. |
|
| Method Summary | |
double |
doubleValue()
This function returns the value represented by the term as double value |
boolean |
equals(java.lang.Object other)
This function returns true, if 'other' is a term representing the same long value as 'this'. |
int |
hashCode()
This function returns a hashvalue for this term. |
long |
longValue()
This function returns the value represented by the term as long value |
java.lang.String |
toString()
This function stringifies the term into a format readable by the Minerva read predicates. |
int |
typeOf()
This function returns the type ( VARIABLE,
ATOM, etc.) of this term. |
| Methods inherited from class com.ifcomputer.minerva.MinervaTerm |
getEnumeration, getListLength, getStringArray, getTermArray, isList, reset, resolve, setValue |
| Methods inherited from class java.lang.Object |
getClass, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
public MinervaLong(long value)
| Method Detail |
public long longValue()
MinervaNumber
longValue in class MinervaNumberpublic double doubleValue()
MinervaNumber
doubleValue in class MinervaNumberpublic java.lang.String toString()
toString in class java.lang.Objectpublic boolean equals(java.lang.Object other)
equals in class java.lang.Objectpublic int hashCode()
hashCode in class java.lang.Objectpublic int typeOf()
MinervaTermVARIABLE,
ATOM, etc.) of this term.
typeOf in class MinervaTermMinervaTerm.VARIABLE,
MinervaTerm.ATOM,
MinervaTerm.LONG,
MinervaTerm.DOUBLE,
MinervaTerm.OBJECT,
MinervaTerm.COMPOUND,
MinervaTerm.LIST
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||