Contract Methods

The Contract type exposes the following members.

  NameDescription
Public method Static member Assert(Boolean) Checks for a condition; if the condition is false, follows the escalation policy set for the analyzer.
Public method Static member Assert(Boolean, String) Checks for a condition; if the condition is false, follows the escalation policy set by the analyzer and displays the specified message.
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.
Public method Static member EndContractBlock Marks the end of the contract section when a method's contracts contain only preconditions in the if-then-throw form.
Public method Static member Ensures(Boolean) Specifies a postcondition contract for the enclosing method or property.
Public method Static member Ensures(Boolean, String) Specifies a postcondition contract for a provided exit condition and a message to display if the condition is false.
Public method Static member EnsuresOnThrow<TException>(Boolean) Specifies a postcondition contract for the enclosing method or property, based on the provided exception and condition.
Public method Static member EnsuresOnThrow<TException>(Boolean, String) Specifies a postcondition contract and a message to display if the condition is false for the enclosing method or property, based on the provided exception and condition.
Public method Static member Exists(Int32, Int32, Predicate<Int32>) Determines whether a specified test is true for any integer within a range of integers.
Public method Static member Exists<T>(IEnumerable<T>, Predicate<T>) Determines whether an element within a collection of elements exists within a function.
Public method Static member ForAll(Int32, Int32, Predicate<Int32>) Determines whether a particular condition is valid for all integers in a specified range.
Public method Static member ForAll<T>(IEnumerable<T>, Predicate<T>) Determines whether all the elements in a collection exist within a function.
Public method Static member Invariant(Boolean) Specifies an invariant contract for the enclosing method or property.
Public method Static member Invariant(Boolean, String) Specifies an invariant contract for the enclosing method or property, and displays a message if the condition for the contract fails.
Public method Static member OldValue<T> Represents values as they were at the start of a method or property.
Public method Static member Requires(Boolean) Specifies a precondition contract for the enclosing method or property.
Public method Static member Requires(Boolean, String) Specifies a precondition contract for the enclosing method or property, and displays a message if the condition for the contract fails.
Public method Static member Requires<TException>(Boolean) Specifies a precondition contract for the enclosing method or property, and throws an exception if the condition for the contract fails.
Public method Static member Requires<TException>(Boolean, String) Specifies a precondition contract for the enclosing method or property, and throws an exception with the provided message if the condition for the contract fails.
Public method Static member Result<T> Represents the return value of a method or property.
Public method Static member ValueAtReturn<T> Represents the final (output) value of an out parameter when returning from a method.
Top
Was this page helpful?
(1500 characters remaining)
Thank you for your feedback

Community Additions

ADD
Show:
© 2014 Microsoft