|
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 PrologCodeexecute in class ExecuteOnlyCodeinterpreter - 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 | |||||||||