|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.jext.console.HistoryModel
Constructor Summary | |
HistoryModel(int max)
Creates a new history model, seizing it according to the specified size. |
Method Summary | |
void |
addItem(java.lang.String text)
When the user validate a new entry, we add it to the history. |
protected void |
finalize()
Patch -> Memory management improvements : it may help the garbage collector. |
java.lang.String |
getItem(int index)
When user press UP or DOWN, we need to get a previous typed String, stored in the Vector. |
int |
getSize()
As the user can use arrows to get up and down in the list, we need to know its max capacity. |
Methods inherited from class java.lang.Object |
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public HistoryModel(int max)
max
- The maximum numbers of items this history can holdMethod Detail |
public void addItem(java.lang.String text)
text
- The String to be added to the historypublic java.lang.String getItem(int index)
index
- The index of the String to get
public int getSize()
protected void finalize() throws java.lang.Throwable
java.lang.Throwable
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |