 | IUserProxyForSequenceExecutionHandleAssert Method |
Processes the assertion, causing a halt if it failed (evaluation only occurs for !isAlways in case of procEnv.EnableAssertions),
queries the user whether to continue execution (internally).
Namespace: de.unika.ipd.grGen.libGrAssembly: libGr (in libGr.dll) Version: GrGen.NET 7.1
Syntaxvoid HandleAssert(
bool isAlways,
Func<bool> assertion,
Func<string> message,
params Func<Object>[] values
)
Parameters
- isAlways Boolean
-
- assertion FuncBoolean
-
- message FuncString
-
- values FuncObject
-
See Also