org.scaladebugger.tool.frontend.history
FileHistoryManager
Related Docs:
object FileHistoryManager
| package history
org.scaladebugger.tool.frontend.history
Destroys the internal history and wipes the history file.
Destroys the internal history and wipes the history file.
Deletes the history file and creates a new writer to be used for subsequent writes.
Deletes the history file and creates a new writer to be used for subsequent writes.
Returns the collection of lines stored in history.
Returns the collection of lines stored in history.
The collection of lines
Returns the collection of lines stored in history in order of most to least recently added.
Returns the collection of lines stored in history in order of most to least recently added.
The collection of lines
The maximum number of lines to keep in history
The maximum number of lines to keep in history
Creates a new queue used for internal history storage.
Creates a new queue used for internal history storage.
The new queue instance
Returns the current number of lines of history held by the manager.
Returns the current number of lines of history held by the manager.
The total number of lines
Evaluates a given function by passing in the current history.
Evaluates a given function by passing in the current history. Synchronizes against the current history.
The return type from the function
The function to evaluate
The result of evaluating the function
Evaluates a given function by passing in the current writer.
Evaluates a given function by passing in the current writer. Synchronizes against the current writer.
The return type from the function
The function to evaluate
The result of evaluating the function
Adds a new line to the current history and updates the persistent history.
Adds a new line to the current history and updates the persistent history.
The line to add
Adds multiple lines to the current history and updates the persistent history.
Adds multiple lines to the current history and updates the persistent history.
The lines to add
Represents a history manager that stores and loads history via local files.