All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class kl1.lang.Module 

java.lang.Object
   |
   +----kl1.lang.Module
public abstract class Module
extends Object
This class represents a module.

Author:
Satoshi KURAMOCHI

Variable Index

o info
the information of the module.
o preds
the predicates' information of the module.

Constructor Index

o Module()

Method Index

o exec(KL1Machine, Goalrec, Predicate)
Executes goals.
o get_pred(String, int)
Returns the specified predicate.
o init(KL1Machine)
Initializes the module.
o main(String[])
main method.
o print(int)
o toString()

Variables

o info 
 public Modinfo info
the information of the module.

o preds 
 public Predinfo preds[]
the predicates' information of the module.

Constructors

o Module 
 public Module()

Methods

o init 
 public void init(KL1Machine mach)
Initializes the module.

o exec 
 public abstract Module exec(KL1Machine mach,
                             Goalrec qp,
                             Predicate toppred)
Executes goals.

Parameters:
qp - the goal queue.
topppred - the top predicate in the goal queue.
Returns:
the module whose predicate first appears in the goal queue.
o get_pred 
 public Predicate get_pred(String predname,
                           int arity)
Returns the specified predicate.

Parameters:
predname - the name of the predicate.
arity - the arity of the predicate.
Returns:
a predicate if it is found; null otherwise.
o toString 
 public String toString()
Overrides:
toString in class Object
o print 
 public String print(int pred)
o main 
 public static final void main(String argv[])
main method.

Parameters:
argv - arguments. 
All Packages  Class Hierarchy  This Package  Previous  Next  Index