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

Constructor Index

o KL1Object()

Method Index

o _new(KL1Machine, KL1Object[])
Creates generic objects.
o deref()
Dereferences the object.
o equals(KL1Object)
o generic(KL1Machine, String, KL1Object[])
Calls generic method.
o gunify(KL1Object)
Checks whether this object and that are unifiable.
o print()
Prints the information of the object.
o shallow_unify(KL1Machine, KL1Object)
Unifies this object and that without recursive unification.
o toString()
o unify(KL1Machine, KL1Object)
Unifies this object and that.

Constructors

o KL1Object 
 public KL1Object()

Methods

o 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
o unify 
 public void unify(KL1Machine mach,
                   KL1Object that)
Unifies this object and that.

Parameters:
that - the object with which to unify.
o 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.
o equals 
 public boolean equals(KL1Object that)
o toString 
 public String toString()
Overrides:
toString in class Object
o print 
 public String print()
Prints the information of the object.

Returns:
a string representation of the object.
o _new 
 public static KL1Object _new(KL1Machine mach,
                              KL1Object argv[])
Creates generic objects.

Parameters:
argv - arguments.
Returns:
the object to be created.
o generic 
 public void generic(KL1Machine mach,
                     String method,
                     KL1Object argv[])
Calls generic method.

Parameters:
method - the name of the method.
argv - arguments.
o deref 
 public KL1Object deref()
Dereferences the object.

Returns:
the object to be dereferenced. 
All Packages  Class Hierarchy  This Package  Previous  Next  Index