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
-
arity
-
-
class_gen
-
-
class_name
-
-
classloader
- The ClassLoader.
-
cp
-
-
functor
-
-
functors
-
-
il
-
-
inst_fact
-
-
predicates
-
-
prolog
-
-
startTime
-
-
types
-
-
PredicateCodeGen(Prolog, JITPredicate, PredicateTypeRec)
-
-
compileClause(Clause, boolean)
- Compiles a particular clause.
-
failure()
- Append "return failure" code.
-
run()
- Compiles a given predicate (= list of normalised clauses) for the
given type signature.
-
toString()
-
classloader
static final JITClassLoader classloader
- The ClassLoader. Loads the compiled class definitions into the JVM.
prolog
Prolog prolog
types
TypeDictionary types
functor
String functor
arity
int arity
class_name
String class_name
class_gen
ClassGen class_gen
cp
ConstantPoolGen cp
inst_fact
InstructionFactory inst_fact
il
InstructionList il
predicates
Hashtable predicates
functors
Hashtable functors
startTime
long startTime
PredicateCodeGen
public PredicateCodeGen(Prolog prolog,
JITPredicate predicate,
PredicateTypeRec ptr)
run
public void run()
- Compiles a given predicate (= list of normalised clauses) for the
given type signature.
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?
failure
public InstructionHandle failure()
- Append "return failure" code.
toString
public String toString()
- Overrides:
- toString in class Object
All Packages Class Hierarchy This Package Previous Next Index