The topic you requested is included in another documentation set. For convenience, it's displayed below. Choose Switch to see the topic in its original location.
Contract::Assume Method (Boolean)
.NET Framework (current version)
Instructs code analysis tools to assume that the specified condition is true, even if it cannot be statically proven to always be true.
Assembly: mscorlib (in mscorlib.dll)
public: [ConditionalAttribute("DEBUG")] [ConditionalAttribute("CONTRACTS_FULL")] static void Assume( bool condition )
Parameters
- condition
-
Type:
System::Boolean
The conditional expression to assume true.
At run time, using this method is equivalent to using the Assert(Boolean) method.
Universal Windows Platform
Available since 8
.NET Framework
Available since 4.0
Portable Class Library
Supported in: portable .NET platforms
Silverlight
Available since 4.0
Windows Phone Silverlight
Available since 8.0
Windows Phone
Available since 8.1
Available since 8
.NET Framework
Available since 4.0
Portable Class Library
Supported in: portable .NET platforms
Silverlight
Available since 4.0
Windows Phone Silverlight
Available since 8.0
Windows Phone
Available since 8.1
Show: