Recorder Class

A class for recording changes (and their causes) applied to a graph into a file, so that they can get replayed.

Inheritance Hierarchy

SystemObject
de.unika.ipd.grGen.libGrRecorder

Namespace: de.unika.ipd.grGen.libGr
Assembly: libGr (in libGr.dll) Version: GrGen.NET 7.1

Syntax

public class Recorder : IRecorder

The Recorder type exposes the following members.

Constructors

	Name	Description
	Recorder	Create a recorder

Methods

	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