All Packages Class Hierarchy This Package Previous Next Index
Class kl1.lang.KL1Object
java.lang.Object
|
+----kl1.lang.KL1Object
- public abstract class KL1Object
- extends Object
Class KL1Object
is the root of the KL1 data representation
class hierarchy.
- Author:
- Satoshi KURAMOCHI
-
KL1Object()
-
-
_new(KL1Machine, KL1Object[])
- Creates generic objects.
-
deref()
- Dereferences the object.
-
equals(KL1Object)
-
-
generic(KL1Machine, String, KL1Object[])
- Calls generic method.
-
gunify(KL1Object)
- Checks whether this object and
that
are unifiable.
-
print()
- Prints the information of the object.
-
shallow_unify(KL1Machine, KL1Object)
- Unifies this object and
that
without recursive unification.
-
toString()
-
-
unify(KL1Machine, KL1Object)
- Unifies this object and
that
.
KL1Object
public KL1Object()
gunify
public KL1Object gunify(KL1Object that)
- Checks whether this object and
that
are unifiable.
- Parameters:
- that - the object with which to compare.
- Returns:
-
GDObj.SUCCESS
if guard unification succeeds.
GDObj.FAILURE
if guard unification fails.
- the variable if
that
has an undefined variable.
- See Also:
- SUCCESS, FAILURE
unify
public void unify(KL1Machine mach,
KL1Object that)
- Unifies this object and
that
.
- Parameters:
- that - the object with which to unify.
shallow_unify
public void shallow_unify(KL1Machine mach,
KL1Object that)
- Unifies this object and
that
without recursive unification.
- Parameters:
- that - the object with which to unify.
equals
public boolean equals(KL1Object that)
toString
public String toString()
- Overrides:
- toString in class Object
print
public String print()
- Prints the information of the object.
- Returns:
- a string representation of the object.
_new
public static KL1Object _new(KL1Machine mach,
KL1Object argv[])
- Creates generic objects.
- Parameters:
- argv - arguments.
- Returns:
- the object to be created.
generic
public void generic(KL1Machine mach,
String method,
KL1Object argv[])
- Calls generic method.
- Parameters:
- method - the name of the method.
- argv - arguments.
deref
public KL1Object deref()
- Dereferences the object.
- Returns:
- the object to be dereferenced.
All Packages Class Hierarchy This Package Previous Next Index