Click or drag to resize

IDumperFinishDump Method

Finishes the dump and closes the file

Namespace:  de.unika.ipd.grGen.libGr
Assembly:  libGr (in libGr.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
void FinishDump()
See Also