Export (0) Print
Expand All

Contract::Assume Method (Boolean, String)

Instructs code analysis tools to assume that a condition is true, even if it cannot be statically proven to always be true, and displays a message if the assumption fails.

Namespace:  System.Diagnostics.Contracts
Assembly:  mscorlib (in mscorlib.dll)

[ConditionalAttribute(L"DEBUG")]
[ConditionalAttribute(L"CONTRACTS_FULL")]
public:
static void Assume(
	bool condition, 
	String^ userMessage
)

Parameters

condition
Type: System::Boolean

The conditional expression to assume true.

userMessage
Type: System::String

The message to post if the assumption fails.

If userMessage is not a constant string literal, the contract may not be understood by tools.

At run time, using this method is equivalent to using the Assert(Boolean, String) method.

.NET Framework

Supported in: 4.6, 4.5, 4

.NET Framework Client Profile

Supported in: 4

Portable Class Library

Supported in: Portable Class Library

Supported in: Windows Phone 8.1

Supported in: Windows Phone Silverlight 8.1

Supported in: Windows Phone Silverlight 8
Show:
© 2015 Microsoft