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