Method Summary |
|
public void | addToHistory(String buffer) Add the specified buffer to the end of the history. |
public void | clear() |
public String | current() Return the content of the current buffer. |
public void | flushBuffer() Flush the entire history buffer to the output PrintWriter. |
public int | getCurrentIndex() Returns the current history index. |
public List | getHistoryList() Returns an immutable list of the history buffer. |
public int | getMaxSize() Get the maximum size that the history buffer will store. |
public PrintWriter | getOutput() Returns the PrintWriter that is used to store history elements. |
public void | load(InputStream in) Load the history buffer from the specified InputStream. |
public void | load(Reader reader) Load the history buffer from the specified Reader. |
public void | moveToEnd() Move to the end of the history buffer. |
public boolean | moveToFirstEntry() Moves the history index to the first entry. |
public boolean | moveToLastEntry() This moves the history to the last entry. |
public boolean | next() Move the pointer to the next element in the buffer. |
public boolean | previous() Move the pointer to the previous element in the buffer. |
public void | setHistoryFile(File historyFile) |
public void | setMaxSize(int maxSize) Set the maximum size that the history buffer will store. |
public void | setOutput(PrintWriter output) The output to which all history elements will be written (or null of
history is not saved to a buffer). |
public int | size() |
public String | toString() Returns the standard
AbstractCollection.toString representation
of the history list. |