Export (0) Print
Expand All
0 out of 1 rated this helpful - Rate this topic

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.

  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
Did you find this helpful?
(1500 characters remaining)
Thank you for your feedback

Community Additions

ADD
Show:
© 2014 Microsoft. All rights reserved.