Click or drag to resize

DebugHaltHandler Delegate

Represents a method called by the user to halt execution, emitting some debugging information.

Namespace:  de.unika.ipd.grGen.libGr
Assembly:  libGr (in libGr.dll) Version: GrGen.NET 7.2
Syntax
C#
public delegate void DebugHaltHandler(
	string message,
	params Object[] values
)

Parameters

message
Type: SystemString
The message emitted and attached to the halt.
values
Type: SystemObject
Some further values to be emitted with more detailed information.
See Also