|
GNU Prolog for Java | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object gnu.prolog.vm.BacktrackInfo
public class BacktrackInfo
back track information base class
Field Summary | |
---|---|
int |
codePosition
A pointer to code position. |
int |
undoPosition
A position in undo stack. |
Constructor Summary | |
---|---|
BacktrackInfo(int undoPosition,
int codePosition)
a constructor |
Method Summary | |
---|---|
void |
undo(Interpreter i)
undo changes up to creation of this backtrack info |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public int codePosition
public int undoPosition
Constructor Detail |
---|
public BacktrackInfo(int undoPosition, int codePosition)
undoPosition
- undoPosition
codePosition
- codePosition
Method Detail |
---|
public void undo(Interpreter i)
|
GNU Prolog for Java | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |