Click or drag to resize

DumpInfo Constructor

Initializes a new instance of the DumpInfo class

Namespace:  de.unika.ipd.grGen.libGr
Assembly:  libGr (in libGr.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public DumpInfo(
	ElementNameGetter nameGetter
)

Parameters

nameGetter
Type: de.unika.ipd.grGen.libGrElementNameGetter
See Also