Uses of Class
gnu.prolog.vm.interpreter.ExecutionState

Packages that use ExecutionState

gnu.prolog.vm.interpreter	InterpretedCodeCompiler uses the various classes beginning with I and extending Instruction in the instruction sub-package to compile clauses to InterpretedByteCode.
gnu.prolog.vm.interpreter.instruction

Uses of ExecutionState in gnu.prolog.vm.interpreter

Fields in gnu.prolog.vm.interpreter declared as ExecutionState

ExecutionState

LeaveBacktrackInfo.executionState execution 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