|
GNU Prolog for Java | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object extended by gnu.prolog.vm.ExecuteOnlyCode extended by gnu.prolog.vm.UndefinedPredicateCode
public class UndefinedPredicateCode
prolog code
Field Summary | |
---|---|
static AtomTerm |
errorAtom
|
protected CompoundTerm |
predicateIndicator
predicate indicator for this procedure |
protected CompoundTermTag |
predicateTag
predicate tag |
static AtomTerm |
procedureAtom
|
static AtomTerm |
unknownAtom
|
static AtomTerm |
warningAtom
|
Fields inherited from interface gnu.prolog.vm.PrologCode |
---|
FAIL, HALT, SUCCESS, SUCCESS_LAST |
Constructor Summary | |
---|---|
UndefinedPredicateCode(CompoundTermTag predicateTag)
construct new instance of undefiend predicate |
Method Summary | |
---|---|
int |
execute(Interpreter interpreter,
boolean backtrackMode,
Term[] args)
this method is used for execution of code |
Methods inherited from class gnu.prolog.vm.ExecuteOnlyCode |
---|
install, uninstall |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected CompoundTerm predicateIndicator
protected CompoundTermTag predicateTag
public static final AtomTerm unknownAtom
public static final AtomTerm errorAtom
public static final AtomTerm warningAtom
public static final AtomTerm procedureAtom
Constructor Detail |
---|
public UndefinedPredicateCode(CompoundTermTag predicateTag)
Method Detail |
---|
public int execute(Interpreter interpreter, boolean backtrackMode, Term[] args) throws PrologException
PrologCode
execute
in interface PrologCode
execute
in class ExecuteOnlyCode
interpreter
- interpreter in which context code is executedbacktrackMode
- true if predicate is called on backtracking and false otherwiseargs
- arguments of code
PrologException
|
GNU Prolog for Java | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |