---

Overview Package Class Use Tree Deprecated Index Help		GNU Prolog for Java
PREV CLASS NEXT CLASS	FRAMES NO FRAMES All Classes
SUMMARY: NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

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

---

Overview Package Class Use Tree Deprecated Index Help		GNU Prolog for Java
PREV CLASS NEXT CLASS	FRAMES NO FRAMES All Classes
SUMMARY: NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---