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.2
Syntax
C#
Copy
public 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

Implements

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