All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class prolog.PredicateCodeGen

java.lang.Object
   |
   +----prolog.PredicateCodeGen

public class PredicateCodeGen
extends Object
Represents a pending compilation job.

Also provides the structure for tying together ClauseCode objects into a unify() method.

See Also:
ClauseCodeGen, JITClassLoader, JITPredicate

Variable Index

 o arity
 o class_gen
 o class_name
 o classloader
The ClassLoader.
 o cp
 o functor
 o functors
 o il
 o inst_fact
 o predicates
 o prolog
 o startTime
 o types

Constructor Index

 o PredicateCodeGen(Prolog, JITPredicate, PredicateTypeRec)

Method Index

 o compileClause(Clause, boolean)
Compiles a particular clause.
 o failure()
Append "return failure" code.
 o run()
Compiles a given predicate (= list of normalised clauses) for the given type signature.
 o toString()

Variables

 o classloader
 static final JITClassLoader classloader
The ClassLoader. Loads the compiled class definitions into the JVM.

 o prolog
 Prolog prolog
 o types
 TypeDictionary types
 o functor
 String functor
 o arity
 int arity
 o class_name
 String class_name
 o class_gen
 ClassGen class_gen
 o cp
 ConstantPoolGen cp
 o inst_fact
 InstructionFactory inst_fact
 o il
 InstructionList il
 o predicates
 Hashtable predicates
 o functors
 Hashtable functors
 o startTime
 long startTime

Constructors

 o PredicateCodeGen
 public PredicateCodeGen(Prolog prolog,
                         JITPredicate predicate,
                         PredicateTypeRec ptr)

Methods

 o run
 public void run()
Compiles a given predicate (= list of normalised clauses) for the given type signature.

 o compileClause
 ClauseCodeGen compileClause(Clause c,
                             boolean ci_det)
Compiles a particular clause. A call back from the indexer.

Parameters:
c - the clause to compile.
ci_det - is this clause deterministic according to the clause indexer?
 o failure
 public InstructionHandle failure()
Append "return failure" code.

 o toString
 public String toString()
Overrides:
toString in class Object

All Packages  Class Hierarchy  This Package  Previous  Next  Index