|
GNU Prolog for Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectgnu.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 - undoPositioncodePosition - 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 | |||||||||