| 
 | GNU Prolog for Java | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ExecutionState | |
|---|---|
| gnu.prolog.vm.interpreter | InterpretedCodeCompileruses the various classes beginning with I
 and extendingInstructionin theinstructionsub-package to 
 compile clauses toInterpretedByteCode. | 
| gnu.prolog.vm.interpreter.instruction | |
| Uses of ExecutionState in gnu.prolog.vm.interpreter | 
|---|
| Fields in gnu.prolog.vm.interpreter declared as ExecutionState | |
|---|---|
|  ExecutionState | LeaveBacktrackInfo.executionStateexecution state | 
| Constructors in gnu.prolog.vm.interpreter with parameters of type ExecutionState | |
|---|---|
| LeaveBacktrackInfo(int undoPosition,
                   ExecutionState executionState)a constructor | |
| Uses of ExecutionState in gnu.prolog.vm.interpreter.instruction | 
|---|
| Methods in gnu.prolog.vm.interpreter.instruction with parameters of type ExecutionState | |
|---|---|
|  int | IFail.execute(ExecutionState state,
        BacktrackInfo backtrackInfo)execute call instruction within specified sate | 
|  int | ISaveState.execute(ExecutionState state,
        BacktrackInfo bi)execute call instruction within specified sate | 
|  int | IAllocate.execute(ExecutionState state,
        BacktrackInfo bi)execute call instruction within specified sate | 
|  int | IUnify.execute(ExecutionState state,
        BacktrackInfo bi)execute call instruction within specified sate | 
|  int | IStoreEnvironment.execute(ExecutionState state,
        BacktrackInfo bi)execute call instruction within specified sate | 
|  int | ICreateCompoundTerm.execute(ExecutionState state,
        BacktrackInfo bi)execute call instruction within specified sate | 
|  int | ITrue.execute(ExecutionState state,
        BacktrackInfo bi)execute call instruction within specified sate | 
|  int | ITryMeElse.execute(ExecutionState state,
        BacktrackInfo bi)execute call instruction within specified sate | 
|  int | IRetryMeElse.execute(ExecutionState state,
        BacktrackInfo bi)execute call instruction within specified sate | 
|  int | ITrustMe.execute(ExecutionState state,
        BacktrackInfo bi)execute call instruction within specified sate | 
|  int | IJump.execute(ExecutionState state,
        BacktrackInfo bi)execute call instruction within specified sate | 
|  int | ICreateVariable.execute(ExecutionState state,
        BacktrackInfo bi)execute call instruction within specified sate | 
|  int | ICut.execute(ExecutionState state,
        BacktrackInfo bi)execute call instruction within specified sate | 
|  int | ICall.execute(ExecutionState state,
        BacktrackInfo bi)execute call instruction within specified sate | 
|  int | IPop.execute(ExecutionState state,
        BacktrackInfo bi)execute call instruction within specified sate | 
| abstract  int | Instruction.execute(ExecutionState state,
        BacktrackInfo bi)execute instruction | 
|  int | IReturn.execute(ExecutionState state,
        BacktrackInfo bi)execute call instruction within specified sate | 
|  int | IPushArgument.execute(ExecutionState state,
        BacktrackInfo bi)execute call instruction within specified sate | 
|  int | ISaveCut.execute(ExecutionState state,
        BacktrackInfo bi)execute call instruction within specified sate | 
|  int | IPushEnvironment.execute(ExecutionState state,
        BacktrackInfo bi)execute call instruction within specified sate | 
|  int | IPushConstant.execute(ExecutionState state,
        BacktrackInfo bi)execute call instruction within specified sate | 
|  int | IDup.execute(ExecutionState state,
        BacktrackInfo bi)execute call instruction within specified sate | 
|  int | IRestoreState.execute(ExecutionState state,
        BacktrackInfo bi)execute call instruction within specified sate | 
|  int | IThrow.execute(ExecutionState state,
        BacktrackInfo backtrackInfo)execute call instruction within specified sate | 
| 
 | GNU Prolog for Java | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||