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 |
FileHistoryRecord
Represents an event where an object is read from a file.
|
class |
UserHistoryRecord
Represents the adding of a graph object by a user interactively.
|
Modifier and Type | Method and Description |
---|---|
void |
ObjectHistoryRecord.copyInfoFrom(ObjectHistoryRecord he) |