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
.NET Framework (current version)
Instructs code analysis tools to assume that a condition is true, even if it cannot be statically proven to always be true.
Assembly: mscorlib (in mscorlib.dll)
| Name | Description | |
|---|---|---|
![]() ![]() | Assume(Boolean) | Instructs code analysis tools to assume that the specified condition is true, even if it cannot be statically proven to always be true. |
![]() ![]() | Assume(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. |
Show:

