GrGen.NET v4.4 API: the libGr class library (the type exact interface gets generated)
DebugHaltHandler Delegate
Namespacesde.unika.ipd.grGen.libGrDebugHaltHandler
Represents a method called by the user to halt execution, emitting some debugging information.
Declaration Syntax
C#
public delegate void DebugHaltHandler(
	string message,
	params Object[] values
)
Parameters
message (String)
The message emitted and attached to the halt.
values (array<Object>[]()[][])
Some further values to be emitted with more detailed information.

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