 | 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
Syntaxpublic 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