Click or drag to resize

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.libGr
Assembly:  libGr (in libGr.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
void HandleAssert(
	bool isAlways,
	Func<bool> assertion,
	Func<string> message,
	params Func<Object>[] values
)

Parameters

isAlways
Type: SystemBoolean
assertion
Type: SystemFuncBoolean
message
Type: SystemFuncString
values
Type: SystemFuncObject
See Also