GNU Prolog for Java

Class LeaveBacktrackInfo

  extended by gnu.prolog.vm.BacktrackInfo
      extended by 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
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail


public ExecutionState executionState
execution state

Constructor Detail


public LeaveBacktrackInfo(int undoPosition,
                          ExecutionState executionState)
a constructor

GNU Prolog for Java