Export (0) Print
Expand All

Contract.Assume Method

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.

  Name Description
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

Community Additions

ADD
Show:
© 2014 Microsoft