Click or drag to resize

DOTDumperDispose Method

Disposes this object. If FinishDump has not been called yet, it is called. This allows using "using" with the dumper object.

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

Implements

IDisposableDispose
See Also