|
||||||||||
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(java.lang.String[] h)
Constructor. |
Method Summary | |
---|---|
java.lang.String |
next()
Returns the next string. |
java.lang.String |
prev()
Returns the previous string. |
void |
store(java.lang.String str)
Stores a string in the history. |
java.lang.String[] |
strings()
Returns the string array. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public History(java.lang.String[] h)
h
- string arrayMethod Detail |
---|
public java.lang.String prev()
public java.lang.String next()
public void store(java.lang.String str)
str
- string to be storedpublic java.lang.String[] strings()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |