| 
 | 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[] | argsarguments | 
| static int | BACKTRACKinstruction return code indicating need for backtracking | 
|  Term[] | environmentcurrent environment | 
|  Interpreter | interpretercurrent interpreter | 
| static int | JUMPinstruction return code indicating success. | 
|  int | jumpPositioncurrent position | 
| static int | NEXTinstruction return code indicating success. | 
|  List<Term> | pushdownpushdown stack, used for unification and calls | 
| static int | RETURNinstruction return code indicating success. | 
|  BacktrackInfo | startBacktrackInfocurrent 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 | |||||||||