| 
 | 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 | codePositionA pointer to code position. | 
|  int | undoPositionA 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)
i - | 
 | GNU Prolog for Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||