|
|||||||||
| 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.MinervaObject
The class MinervaObject is used to represent an
object as Minerva term. This class should be used to create
Minerva terms for objects, which cannot represented by basic
Minerva terms.
MinervaCompound,
MinervaList,
MinervaVariable,
MinervaAtom,
MinervaLong,
MinervaDouble,
Serialized Form| Field Summary |
| Fields inherited from class com.ifcomputer.minerva.MinervaTerm |
ATOM, COMPOUND, DOUBLE, LIST, LONG, OBJECT, VARIABLE |
| Constructor Summary | |
MinervaObject(java.lang.Object object)
Constructs a Minerva term, representing the object 'object'. |
|
| Method Summary | |
boolean |
equals(java.lang.Object other)
This function returns true, if other is an instance of MinervaObject
and the objects repesented by 'other' and 'this' are equal. |
java.lang.Object |
objectValue()
Returns the object, represented by this term |
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, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
public MinervaObject(java.lang.Object object)
| Method Detail |
public java.lang.Object objectValue()
public java.lang.String toString()
toString in class java.lang.Objectpublic boolean equals(java.lang.Object other)
MinervaObject
and the objects repesented by 'other' and 'this' are equal.
equals 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 | ||||||||