Package | Description |
---|---|
chargerlib.history |
These are the top-level history classes that are used by the parsers and generators.
|
Modifier and Type | Class and Description |
---|---|
class |
CustomHistoryRecord
A custom event is generally obtained from a parse with some
module or other library's events included.
|
class |
DerivedHistoryRecord
Captures the knowledge that an object was derived from some procedure.
|
class |
FileHistoryRecord
Represents an event where an object is read from a file.
|
class |
ObjectHistoryRecord
A single event to be recorded in an object's history.
|
class |
UserHistoryRecord
Represents the adding of a graph object by a user interactively.
|
Modifier and Type | Field and Description |
---|---|
private ArrayList<HistoryRecord> |
ObjectHistory.history
List of history events for an object.
|
Modifier and Type | Method and Description |
---|---|
HistoryRecord |
ObjectHistory.getLastEvent()
Get the last event in the list (which should be the most recent).
|
HistoryRecord |
ObjectHistory.getNewestEventByType(String type)
Finds the most recent (last) history event of the given type.
|
HistoryRecord |
ObjectHistory.getOldestEventByType(String type)
Finds the oldest (first) history event of the given type.
|
Modifier and Type | Method and Description |
---|---|
ArrayList<HistoryRecord> |
ObjectHistory.getEventsByClass(Class c)
Finds all events of the given type
|
ArrayList<HistoryRecord> |
ObjectHistory.getEventsByType(String type)
Finds all events of the given type
|
ArrayList<HistoryRecord> |
ObjectHistory.getHistoryEvents()
Returns the list of history events for this history.
|
Modifier and Type | Method and Description |
---|---|
void |
ObjectHistory.addHistoryRecord(HistoryRecord he) |
void |
HistoryRecord.copyInfoFrom(HistoryRecord he)
Copy this event's information from the event argument.
|