gnu.prolog.vm.interpreter
Class Predicate_call.CallTermBacktrackInfo

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