GraphViewerClientAnnotateElement Method

Annotates the given element with the given string in double angle brackets

Namespace: de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly: graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.1

Syntax

public void AnnotateElement(
	IGraphElement elem,
	string annotation
)

elem IGraphElement: The element to be annotated
annotation String: The annotation string or null, if the annotation is to be removed