 | IRecorder Interface |
An interface for recording changes (and their causes) applied to a graph into a file,
so that they can get replayed.
Namespace: de.unika.ipd.grGen.libGr
Assembly: libGr (in libGr.dll) Version: GrGen.NET 7.2
SyntaxC#
public interface IRecorder
The IRecorder type exposes the following members.
Methods| Name | Description | |
|---|---|---|
 | External |
Writes a line starting with "external ", ending with a new line,
containing the given string in between (which must not contain "\n" or "\r"),
to the currently ongoing recordings.
This is the format expected for fine-grain external attribute changes,
the string is passed to External of the graph model on replaying,
which is forwarding it to external user code for parsing and executing the changes.
|
| Flush |
Flushes the writer
|
| IsRecording |
Returns whether the graph changes get currently recorded into the given file.
|
| StartRecording |
Creates a file which initially gets filled with a .grs export of the graph.
Afterwards the changes applied to the graph are recorded into the file,
in the order they occur.
You can start multiple recordings into differently named files.
|
| StopRecording |
Stops recording of the changes applied to the graph to the given file.
|
| TransactionCommit |
Called by the transaction manager when a transaction is committed
|
| TransactionRollback |
Called by the transaction manager when a transaction is rolled back
|
| TransactionStart |
Called by the transaction manager when a transaction is started
|
| Write |
Writes the given string to the currently ongoing recordings
|
| WriteLine |
Writes the given string to the currently ongoing recordings followed by a new line
|
See Also