Click or drag to resize

DebuggerHandleAssert Method

Queries the user whether to continue execution, processes the assertion given the user choice (internally).

Namespace: de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly: graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
public void HandleAssert(
	bool isAlways,
	Func<bool> assertion,
	Func<string> message,
	params Func<Object>[] values
)

Parameters

isAlways  Boolean
 
assertion  FuncBoolean
 
message  FuncString
 
values  FuncObject
 

Implements

IUserProxyForSequenceExecutionHandleAssert(Boolean, FuncBoolean, FuncString, FuncObject)
See Also