|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.basex.util.Undo
public final class Undo
This class stores strings in a history.
Constructor Summary | |
---|---|
Undo()
Constructor. |
Method Summary | |
---|---|
int |
cursor()
Returns the cursor position. |
boolean |
first()
Returns the previous string. |
boolean |
last()
Returns the previous string. |
byte[] |
next()
Returns the next string. |
byte[] |
prev()
Returns the previous string. |
void |
store(byte[] str,
int c)
Stores a string in the history. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Undo()
Method Detail |
---|
public boolean first()
public boolean last()
public byte[] prev()
public byte[] next()
public int cursor()
public void store(byte[] str, int c)
str
- string to be storedc
- cursor position
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |