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 LeaveByteCodeBacktrackInfo

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

    public class LeaveByteCodeBacktrackInfo

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
`Term[]` | `environment`
`BacktrackInfo` | `startBacktrackInfo` execution state

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

Constructor Summary
`LeaveByteCodeBacktrackInfo(Term[] environment, BacktrackInfo startBacktrackInfo)` 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

### startBacktrackInfo

    public BacktrackInfo startBacktrackInfo

  execution state

### environment

    public Term[] environment

Constructor Detail

### LeaveByteCodeBacktrackInfo

    public LeaveByteCodeBacktrackInfo(Term[] environment,
                                      BacktrackInfo startBacktrackInfo)

  a constructor

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