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