All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class kl1.lang.GModule 

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

Author:
Satoshi KURAMOCHI

Variable Index

o name_
the name of the module

Constructor Index

o GModule(Module, String)
Constructs a module 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.

Variables

o name_ 
 public String name_
the name of the module

Constructors

o GModule 
 public GModule(Module module,
                String name_)
Constructs a module object.

Parameters:
module - the module.
name_ - the name of the module.

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