GrGen.NET v4.4 API: the libGr class library (the type exact interface gets generated)
DebugHighlightHandler Delegate
Namespacesde.unika.ipd.grGen.libGrDebugHighlightHandler
Represents a method called by the user to highlight some elements in the graph, halting execution.
Declaration Syntax
C#
public delegate void DebugHighlightHandler(
	string message,
	List<Object> values,
	List<string> annotations
)
Parameters
message (String)
The message attached to the highlight.
values (List<(Of <(<'Object>)>)>)
The values to highlight (graph elements, containers of graph elements, visited flag ids).
annotations (List<(Of <(<'String>)>)>)
The annotation to highlight the elements with in the graph.

Assembly: libGr (Module: libGr) Version: 4.4.0.0 (4.4.0.0)