GNU Prolog for Java

gnu.prolog.vm.interpreter
Class CallBacktrackInfo

java.lang.Object
  extended by gnu.prolog.vm.BacktrackInfo
      extended by gnu.prolog.vm.interpreter.CallBacktrackInfo

public class CallBacktrackInfo
extends BacktrackInfo

call backtrack info


Field Summary
 Term[] args
          argument list save for call
 PrologCode code
          code at moment of first call.
 CompoundTermTag tag
           
 
Fields inherited from class gnu.prolog.vm.BacktrackInfo
codePosition, undoPosition
 
Constructor Summary
CallBacktrackInfo(int undoPosition, int codePosition, Term[] args, PrologCode code, CompoundTermTag tag)
          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

args

public Term[] args
argument list save for call


code

public PrologCode code
code at moment of first call. It is saved in order to shield code from predicate changes. as result on backtracking exactly same code will be used.


tag

public CompoundTermTag tag
Constructor Detail

CallBacktrackInfo

public CallBacktrackInfo(int undoPosition,
                         int codePosition,
                         Term[] args,
                         PrologCode code,
                         CompoundTermTag tag)
a constructor

Parameters:
undoPosition -
codePosition -
args -
code -
tag -

GNU Prolog for Java