Click or drag to resize

DumpInfoGetElementName Method

Gets the element name of the given graph element according to the element name getter given to the constructor of DumpInfo.

Namespace:  de.unika.ipd.grGen.libGr
Assembly:  libGr (in libGr.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public string GetElementName(
	IGraphElement elem
)

Parameters

elem
Type: de.unika.ipd.grGen.libGrIGraphElement
The element.

Return Value

Type: String
The name of the element.
See Also