|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.basex.util.History
public final class History
This class stores strings in a history.
Constructor Summary | |
---|---|
History(byte[] text)
Constructor. |
Method Summary | |
---|---|
boolean |
active()
Indicates if the history is active. |
int |
cursor()
Returns the cursor position. |
boolean |
first()
Checks if the history points to the first entry. |
boolean |
last()
Checks if the history points to the last entry. |
boolean |
modified()
Checks if the file has been modified. |
byte[] |
next()
Returns the next string and increases the pointer, or returns null . |
byte[] |
prev()
Returns the previous string and decreases the pointer, or returns null . |
void |
save()
Sets the saved position. |
void |
store(byte[] str,
int oc,
int nc)
Stores a string in the history. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public History(byte[] text)
text
- initial textMethod Detail |
---|
public boolean active()
public boolean first()
public boolean last()
public byte[] prev()
null
.
public byte[] next()
null
.
public int cursor()
public void store(byte[] str, int oc, int nc)
str
- string to be storedoc
- old cursor positionnc
- new cursor positionpublic void save()
public boolean modified()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |