All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class kl1.lang.GCode 

java.lang.Object
   |
   +----kl1.lang.KL1Object
           |
           +----kl1.lang.GDObj
                   |
                   +----kl1.lang.GCode
public final class GCode
extends GDObj
This class represents a predicate object.

Author:
Satoshi KURAMOCHI

Constructor Index

o GCode(Predicate, GModule, String)
Constructs a predicate object.

Method Index

o ()
o _new(KL1Machine, KL1Object[])
Creates generic objects.
o generic(KL1Machine, String, KL1Object[])
Calls generic method.
o ggeneric(String, KL1Object[])
Calls guard generic method.
o gunify(GDObj)
o print()
Prints the information of the object.
o unify(KL1Machine, KL1Object)
Unifies this object and that.

Constructors

o GCode 
 public GCode(Predicate pdesc,
              GModule module_obj,
              String predicate_name)
Constructs a predicate object.

Parameters:
pdesc - the predicate descriptor
module_obj - the module where the predicate is defined.
predicate_name - the name of the predicate.

Methods

o 
 static void ()
o gunify 
 public KL1Object gunify(GDObj that)
o unify 
 public void unify(KL1Machine mach,
                   KL1Object that)
Unifies this object and that.

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

Overrides:
generic in class GDObj
o print 
 public String print()
Prints the information of the object.

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

Overrides:
ggeneric in class GDObj
o _new 
 public static KL1Object _new(KL1Machine mach,
                              KL1Object argv[])
Creates generic objects. 

All Packages  Class Hierarchy  This Package  Previous  Next  Index