 | Recorder Class |
A class for recording changes (and their causes) applied to a graph into a file,
so that they can get replayed.
Inheritance HierarchySystemObject
de.unika.ipd.grGen.libGrRecorder
de.unika.ipd.grGen.libGrRecorder
Namespace: de.unika.ipd.grGen.libGr
Assembly: libGr (in libGr.dll) Version: GrGen.NET 7.2
SyntaxC#
public class Recorder : IRecorder
The Recorder type exposes the following members.
ConstructorsMethods| Name | Description | |
|---|---|---|
 | External | |
| Flush | |
| Initialize |
Initializes a recorder after creation, needed if actions are selected later
|
| IsRecording | |
| ReturnFromGraph | |
| SettingVisited | |
| StartRecording | |
| StopRecording | |
| SwitchToGraph | |
| TransactionCommit | |
| TransactionRollback | |
| TransactionStart | |
| VisitedAlloc | |
| VisitedFree | |
| Write | |
| WriteLine |
See Also