GrGen.NET v8.0beta API: the libGr class library (the type exact interface gets generated)
GrGen.NET v8.0beta API: the libGr class library (the type exact interface gets generated)
de.unika.ipd.grGen.libGr
Recorder Class
Recorder Methods
External Method
Flush Method
Initialize Method
IsRecording Method
ReturnFromGraph Method
SettingVisited Method
StartRecording Method
StopRecording Method
SwitchToGraph Method
TransactionCommit Method
TransactionRollback Method
TransactionStart Method
VisitedAlloc Method
VisitedFree Method
Write Method
WriteLine Method
Recorder
Initialize Method
Initializes a recorder after creation, needed if actions are selected later
Namespace:
de.unika.ipd.grGen.libGr
Assembly:
libGr (in libGr.dll) Version: GrGen.NET 8.0beta
Syntax
C#
Copy
public
void
Initialize
(
INamedGraph
graph
,
ISubactionAndOutputAdditionEnvironment
subOutEnv
)
Parameters
graph
Type:
de.unika.ipd.grGen.libGr
INamedGraph
The named graph whose changes are to be recorded
subOutEnv
Type:
de.unika.ipd.grGen.libGr
ISubactionAndOutputAdditionEnvironment
The subaction and output environment receiving some of the action events, may be null if only graph changes are requested
See Also
Reference
Recorder Class
de.unika.ipd.grGen.libGr Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement