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.
Assembly: mscorlib (in mscorlib.dll)
[ConditionalAttribute(L"DEBUG")] [ConditionalAttribute(L"CONTRACTS_FULL")] public: static void Assume( bool condition, String^ userMessage )
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.