Click or drag to resize

DOTDumperFinishDump Method

Finishes the dump and closes the file

Namespace: de.unika.ipd.grGen.libGr
Assembly: libGr (in libGr.dll) Version: GrGen.NET 7.1
Syntax
C#
public void FinishDump()

Implements

IDumperFinishDump
See Also