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