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.1
Syntax
C#
void HandleAssert(
	bool isAlways,
	Func<bool> assertion,
	Func<string> message,
	params Func<Object>[] values
)

Parameters

isAlways  Boolean
 
assertion  FuncBoolean
 
message  FuncString
 
values  FuncObject
 
See Also