 | GraphAnnotationAndChangesRecorder Class |
The GraphAnnotationAndChangesRecorder remembers annotations of graph elements and changes applied to the graph by an action (match and rewrite),
it is used to mark the elements in the graph during rendering.
Not to be mistaken with the Recorder/IRecorder that is used to serialize changes that occur to the graph to a file.
Inheritance HierarchySystemObject
de.unika.ipd.grGen.graphViewerAndSequenceDebuggerGraphAnnotationAndChangesRecorder
de.unika.ipd.grGen.graphViewerAndSequenceDebuggerGraphAnnotationAndChangesRecorder
Namespace: de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly: graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.2
SyntaxC#
public class GraphAnnotationAndChangesRecorder
The GraphAnnotationAndChangesRecorder type exposes the following members.
Constructors| Name | Description | |
|---|---|---|
 | GraphAnnotationAndChangesRecorder | Initializes a new instance of the GraphAnnotationAndChangesRecorder class |
MethodsTop
See Also