Contract.Assume Method (Boolean, String)
[ This article is for Windows Phone 8 developers. If you’re developing for Windows 10, see the latest documentation. ]
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.
Assembly: mscorlib (in mscorlib.dll)
[ConditionalAttribute("DEBUG")] [ConditionalAttribute("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.
Show: