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
IRecorder Interface
IRecorder Methods
External Method
Flush Method
IsRecording Method
StartRecording Method
StopRecording Method
TransactionCommit Method
TransactionRollback Method
TransactionStart Method
Write Method
WriteLine Method
IRecorder
Flush Method
Flushes the writer
Namespace:
de.unika.ipd.grGen.libGr
Assembly:
libGr (in libGr.dll) Version: GrGen.NET 8.0beta
Syntax
C#
Copy
void
Flush
()
See Also
Reference
IRecorder Interface
de.unika.ipd.grGen.libGr Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement