Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| GNU Prolog for Java
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## gnu.prolog.vm.interpreter
Class LeaveBacktrackInfo

    java.lang.Object
      gnu.prolog.vm.BacktrackInfo
          gnu.prolog.vm.interpreter.LeaveBacktrackInfo

    public class LeaveBacktrackInfo

extends BacktrackInfo

this backtrack info is put to stack upon exit from from user defined predicate in return instruction. As result it is BacktrackInfo that is passed to user defined predicate as parameter, no other backtrack info will be passed as parameter to user defined predicate on redo.

Field Summary
`ExecutionState` | `executionState` execution state

Fields inherited from class gnu.prolog.vm.BacktrackInfo
`codePosition, undoPosition`

Constructor Summary
`LeaveBacktrackInfo(int undoPosition, ExecutionState executionState)` a constructor

Method Summary

Methods inherited from class gnu.prolog.vm.BacktrackInfo
`undo`

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Field Detail

### executionState

    public ExecutionState executionState

  execution state

Constructor Detail

### LeaveBacktrackInfo

    public LeaveBacktrackInfo(int undoPosition,
                              ExecutionState executionState)

  a constructor

  Parameters:
    `undoPosition` -
    `executionState` -

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| GNU Prolog for Java
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD