|
GNU Prolog for Java | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectgnu.prolog.vm.interpreter.instruction.Instruction
gnu.prolog.vm.interpreter.instruction.ICall
public class ICall
call instruction.
Field Summary | |
---|---|
PrologCode |
code
code to call, if predicate is dynamic it changes after each update |
CompoundTermTag |
tag
tag of predicate to call |
Fields inherited from class gnu.prolog.vm.interpreter.instruction.Instruction |
---|
codePosition |
Constructor Summary | |
---|---|
ICall(CompoundTermTag tag)
a constructor |
Method Summary | |
---|---|
protected void |
ensureLoaded(Environment env)
ensure that code is loaded in predicate |
int |
execute(ExecutionState state,
BacktrackInfo bi)
execute call instruction within specified sate |
void |
install(Environment env)
install instruction to environment |
void |
prologCodeUpdated(PrologCodeUpdatedEvent evt)
notify instruction that prolog code for predicate was updated |
String |
toString()
convert instruction to string |
void |
uninstall(Environment env)
uninstall instruction from environment |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public CompoundTermTag tag
public transient PrologCode code
Constructor Detail |
---|
public ICall(CompoundTermTag tag)
tag
- Method Detail |
---|
public String toString()
toString
in class Object
public int execute(ExecutionState state, BacktrackInfo bi) throws PrologException
execute
in class Instruction
state
- state within which instruction will be executed
PrologException
- if code is throwing prolog exceptionpublic void prologCodeUpdated(PrologCodeUpdatedEvent evt)
prologCodeUpdated
in interface PrologCodeListener
public void install(Environment env)
install
in interface Installable
install
in class Instruction
public void uninstall(Environment env)
uninstall
in interface Installable
uninstall
in class Instruction
protected void ensureLoaded(Environment env) throws PrologException
env
-
PrologException
|
GNU Prolog for Java | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |