Assume Method

Contract.Assume Method

[ 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.

This member is overloaded. For complete information about this member, including syntax, usage, and examples, click a name in the overload list.

  NameDescription
Public method Static member 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.
Public method Static member 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.
Top

Show:
© 2017 Microsoft