 | 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.2
SyntaxSee Also