GNU Prolog for Java

gnu.prolog.vm.interpreter
Class LeaveByteCodeBacktrackInfo

java.lang.Object
  extended by gnu.prolog.vm.BacktrackInfo
      extended by 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


GNU Prolog for Java