 | DebuggerChooseGraphElement Method |
returns the id/persistent name of a node/edge chosen by the user in yComp
Namespace:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:
graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.2
Syntaxpublic string ChooseGraphElement()
Return Value
Type:
String
See Also