GNU Prolog for Java

gnu.prolog.vm.interpreter
Class Predicate_call.CallTermBacktrackInfo

java.lang.Object
  extended by gnu.prolog.vm.BacktrackInfo
      extended by gnu.prolog.vm.interpreter.Predicate_call.CallTermBacktrackInfo
Enclosing class:
Predicate_call

public static class Predicate_call.CallTermBacktrackInfo
extends BacktrackInfo

call term backtrack info


Field Summary
 
Fields inherited from class gnu.prolog.vm.BacktrackInfo
codePosition, undoPosition
 
Constructor Summary
Predicate_call.CallTermBacktrackInfo(Interpreter in, PrologCode code, Term[] args, Term callTerm)
           
 
Method Summary
protected  void finalize()
           
 
Methods inherited from class gnu.prolog.vm.BacktrackInfo
undo
 
Methods inherited from class java.lang.Object
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Predicate_call.CallTermBacktrackInfo

public Predicate_call.CallTermBacktrackInfo(Interpreter in,
                                            PrologCode code,
                                            Term[] args,
                                            Term callTerm)
Method Detail

finalize

protected void finalize()
                 throws Throwable
Overrides:
finalize in class Object
Throws:
Throwable

GNU Prolog for Java