 | DebugHighlightHandler Delegate |
Represents a method called by the user to highlight some elements in the graph, halting execution.
Namespace: de.unika.ipd.grGen.libGrAssembly: libGr (in libGr.dll) Version: GrGen.NET 7.1
Syntaxpublic delegate void DebugHighlightHandler(
string message,
List<Object> values,
List<string> annotations
)
Parameters
- message String
- The message attached to the highlight.
- values ListObject
- The values to highlight (graph elements, containers of graph elements, visited flag ids).
- annotations ListString
- The annotation to highlight the elements with in the graph.
See Also