All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class kl1.lang.GDObj 

java.lang.Object
   |
   +----kl1.lang.KL1Object
           |
           +----kl1.lang.GDObj
public abstract class GDObj
extends KL1Object
This class is an abstract class for generic data object.

Author:
Satoshi KURAMOCHI

Variable Index

o FAILURE
Represents a failure
o name
the name of the generic object
o SUCCESS
Represents a success

Constructor Index

o GDObj()

Method Index

o _new(KL1Machine, KL1Object[])
Creates generic objects.
o compare(GDObj)
o deref()
Dereferences the object.
o error_in_method(KL1Machine, String, String)
o error_in_new(KL1Machine, String)
o generic(KL1Machine, String, KL1Object[])
Calls generic method.
o ggeneric(String, KL1Object[])
Calls guard generic method.
o gunify(KL1Object)
Checks whether this object and that are unifiable.
o hash()
o set_gintarg_within_range(int[], KL1Object, int, int)
o set_intarg_within_range(KL1Machine, String, KL1Object[], int[], int, int, int)
o shallow_unify(KL1Machine, KL1Object)
Unifies this object and that without recursive unification.
o suspend_generic(KL1Machine, Var, String, KL1Object[])
o suspend_generic_goal(KL1Machine, KL1Object, Var, String, KL1Object[])
o suspend_generic_goal(KL1Machine, Var, String, KL1Object[])
o suspend_new(KL1Machine, Var, Class, KL1Object[])
o unify(KL1Machine, KL1Object)
Unifies this object and that.
o unify_fail(KL1Machine)
o unify_value(KL1Machine, KL1Object, KL1Object)

Variables

o name 
 public static String name
the name of the generic object

o SUCCESS 
 public static final KL1Object SUCCESS
Represents a success

o FAILURE 
 public static final KL1Object FAILURE
Represents a failure

Constructors

o GDObj 
 public GDObj()

Methods

o _new 
 public static KL1Object _new(KL1Machine mach,
                              KL1Object argv[])
Creates generic objects.

o gunify 
 public KL1Object gunify(KL1Object that)
Checks whether this object and that are unifiable.

Overrides:
gunify in class KL1Object
o unify 
 public void unify(KL1Machine mach,
                   KL1Object that)
Unifies this object and that.

Overrides:
unify in class KL1Object
o deref 
 public KL1Object deref()
Dereferences the object.

Overrides:
deref in class KL1Object
o shallow_unify 
 public void shallow_unify(KL1Machine mach,
                           KL1Object that)
Unifies this object and that without recursive unification.

Overrides:
shallow_unify in class KL1Object
o generic 
 public void generic(KL1Machine mach,
                     String method,
                     KL1Object argv[])
Calls generic method.

Overrides:
generic in class KL1Object
o ggeneric 
 public KL1Object ggeneric(String method,
                           KL1Object args[])
Calls guard generic method.

Parameters:
method - the name of the method.
argv - arguments.
o compare 
 public IntAtom compare(GDObj that)
o hash 
 public IntAtom hash()
o suspend_new 
 protected static Var suspend_new(KL1Machine mach,
                                  Var reason,
                                  Class class_,
                                  KL1Object argv[])
o suspend_generic 
 public static void suspend_generic(KL1Machine mach,
                                    Var var,
                                    String method,
                                    KL1Object argv[])
o suspend_generic_goal 
 public void suspend_generic_goal(KL1Machine mach,
                                  Var var,
                                  String method,
                                  KL1Object argv[])
o suspend_generic_goal 
 public static void suspend_generic_goal(KL1Machine mach,
                                         KL1Object obj,
                                         Var var,
                                         String method,
                                         KL1Object argv[])
o error_in_new 
 protected static void error_in_new(KL1Machine mach,
                                    String errmesg)
o error_in_method 
 protected static void error_in_method(KL1Machine mach,
                                       String errmesg,
                                       String methodname)
o unify_fail 
 protected static void unify_fail(KL1Machine mach)
o unify_value 
 protected static void unify_value(KL1Machine mach,
                                   KL1Object x,
                                   KL1Object y)
o set_intarg_within_range 
 protected KL1Object set_intarg_within_range(KL1Machine mach,
                                             String method,
                                             KL1Object argv[],
                                             int var[],
                                             int i,
                                             int llim,
                                             int ulim)
o set_gintarg_within_range 
 protected static KL1Object set_gintarg_within_range(int var[],
                                                     KL1Object x,
                                                     int from,
                                                     int to)

All Packages  Class Hierarchy  This Package  Previous  Next  Index