Click or drag to resize

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
Syntax
C#
public 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