|
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.ExecutionState
public class ExecutionState
execution state class
| Field Summary | |
|---|---|
Term[] |
args
arguments |
static int |
BACKTRACK
instruction return code indicating need for backtracking |
Term[] |
environment
current environment |
Interpreter |
interpreter
current interpreter |
static int |
JUMP
instruction return code indicating success. |
int |
jumpPosition
current position |
static int |
NEXT
instruction return code indicating success. |
List<Term> |
pushdown
pushdown stack, used for unification and calls |
static int |
RETURN
instruction return code indicating success. |
BacktrackInfo |
startBacktrackInfo
current backtrack info, only active on backtracking |
| Constructor Summary | |
|---|---|
ExecutionState()
|
|
| Method Summary | |
|---|---|
CallBacktrackInfo |
getCallBacktrackInfo(int codePosition,
Term[] args,
PrologCode code,
CompoundTermTag tag)
get BacktrackInfo for call instruction. |
EnterBacktrackInfo |
getEnterBacktrackInfo()
get enter backtrack info |
Term |
getEnvironment(int environmentIndex)
get term from environment |
LeaveBacktrackInfo |
getLeaveBacktrackInfo()
get leave backtrack info |
RetryBacktrackInfo |
getRetryBacktrackInfo(int retryPosition)
get BacktrackInfo for try family instructions. |
BacktrackInfo |
peekBacktrackInfo()
peek backtrack info w/o popping it |
BacktrackInfo |
popBacktrackInfo()
pop backtrack info from stack |
Term |
popPushDown()
pop term from pushdown stack |
void |
pushBacktrackInfo(BacktrackInfo cbi)
push backtrack info to stack |
void |
pushPushDown(Term term)
push term to pushdown stack |
void |
putEnvironment(int environmentIndex,
Term term)
put term to environment |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public static final int BACKTRACK
public static final int NEXT
public static final int JUMP
public static final int RETURN
public Interpreter interpreter
public BacktrackInfo startBacktrackInfo
public Term[] environment
public List<Term> pushdown
public int jumpPosition
public Term[] args
| Constructor Detail |
|---|
public ExecutionState()
| Method Detail |
|---|
public BacktrackInfo popBacktrackInfo()
public BacktrackInfo peekBacktrackInfo()
public void pushBacktrackInfo(BacktrackInfo cbi)
cbi -
public CallBacktrackInfo getCallBacktrackInfo(int codePosition,
Term[] args,
PrologCode code,
CompoundTermTag tag)
codePosition - args - code - tag -
public RetryBacktrackInfo getRetryBacktrackInfo(int retryPosition)
retryPosition -
public Term popPushDown()
public void pushPushDown(Term term)
term - public Term getEnvironment(int environmentIndex)
environmentIndex -
public void putEnvironment(int environmentIndex,
Term term)
environmentIndex - term - public LeaveBacktrackInfo getLeaveBacktrackInfo()
public EnterBacktrackInfo getEnterBacktrackInfo()
|
GNU Prolog for Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||