| 
 | GNU Prolog for Java | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use BacktrackInfo | |
|---|---|
| gnu.prolog.vm | The Virtual Machine which is used to run the prolog code. | 
| gnu.prolog.vm.buildins.list | |
| 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 BacktrackInfo in gnu.prolog.vm | 
|---|
| Subclasses of BacktrackInfo in gnu.prolog.vm | |
|---|---|
|  class | PrologCollectionIteratorGeneric collection iterator which can be used by PrologCode implementations. | 
| Methods in gnu.prolog.vm that return BacktrackInfo | |
|---|---|
|  BacktrackInfo | Interpreter.peekBacktrackInfo()peek top backtrack information | 
|  BacktrackInfo | Interpreter.popBacktrackInfo()pop backtrack information | 
| Methods in gnu.prolog.vm with parameters of type BacktrackInfo | |
|---|---|
|  void | Interpreter.popBacktrackInfoUntil(BacktrackInfo cutPoint) | 
|  void | Interpreter.pushBacktrackInfo(BacktrackInfo bi)push backtrack information | 
| Uses of BacktrackInfo in gnu.prolog.vm.buildins.list | 
|---|
| Subclasses of BacktrackInfo in gnu.prolog.vm.buildins.list | |
|---|---|
| protected static class | Predicate_append.AppendBacktrackInfo | 
| protected static class | Predicate_member.MemberBacktrackInfo | 
| Uses of BacktrackInfo in gnu.prolog.vm.interpreter | 
|---|
| Subclasses of BacktrackInfo in gnu.prolog.vm.interpreter | |
|---|---|
|  class | CallBacktrackInfocall backtrack info | 
|  class | EnterBacktrackInfothis backtrack info is created upon entering in predicate, it is used to detect fails and it is a normal cut parent. | 
|  class | LeaveBacktrackInfothis backtrack info is put to stack upon exit from from user defined predicate in return instruction. | 
|  class | LeaveByteCodeBacktrackInfothis backtrack info is put to stack upon exit from from user defined predicate in return instruction. | 
| static class | Predicate_call.CallTermBacktrackInfocall term backtrack info | 
|  class | RetryBacktrackInforetry backtrack info. | 
| Fields in gnu.prolog.vm.interpreter declared as BacktrackInfo | |
|---|---|
|  BacktrackInfo | LeaveByteCodeBacktrackInfo.startBacktrackInfoexecution state | 
|  BacktrackInfo | ExecutionState.startBacktrackInfocurrent backtrack info, only active on backtracking | 
| Methods in gnu.prolog.vm.interpreter that return BacktrackInfo | |
|---|---|
|  BacktrackInfo | ExecutionState.peekBacktrackInfo()peek backtrack info w/o popping it | 
|  BacktrackInfo | ExecutionState.popBacktrackInfo()pop backtrack info from stack | 
| Methods in gnu.prolog.vm.interpreter with parameters of type BacktrackInfo | |
|---|---|
|  void | ExecutionState.pushBacktrackInfo(BacktrackInfo cbi)push backtrack info to stack | 
| Constructors in gnu.prolog.vm.interpreter with parameters of type BacktrackInfo | |
|---|---|
| LeaveByteCodeBacktrackInfo(Term[] environment,
                           BacktrackInfo startBacktrackInfo)a constructor | |
| Uses of BacktrackInfo in gnu.prolog.vm.interpreter.instruction | 
|---|
| Methods in gnu.prolog.vm.interpreter.instruction with parameters of type BacktrackInfo | |
|---|---|
|  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 | |||||||||