Contract Methods
Microsoft Silverlight will reach end of support after October 2021. Learn more.
Include Protected Members
Include Inherited Members
Include Silverlight Members
Include Silverlight for Windows Phone Members
Include XNA Framework Members
The Contract type exposes the following members.
Methods
Name | Description | |
---|---|---|
Assert(Boolean) | Checks for a condition; if the condition is false, follows the escalation policy set for the analyzer. | |
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. | |
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. | |
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. | |
EndContractBlock | Marks the end of the contract section when a method's contracts contain only preconditions in the if-then-throw form. | |
Ensures(Boolean) | Specifies a postcondition contract for the enclosing method or property. | |
Ensures(Boolean, String) | Specifies a postcondition contract for a provided exit condition and a message to display if the condition is false. | |
EnsuresOnThrow<TException>(Boolean) | Specifies a postcondition contract for the enclosing method or property, based on the provided exception and condition. | |
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. | |
Exists(Int32, Int32, Predicate<Int32>) | Determines whether a specified test is true for any integer within a range of integers. | |
Exists<T>(IEnumerable<T>, Predicate<T>) | Determines whether an element within a collection of elements exists within a function. | |
ForAll(Int32, Int32, Predicate<Int32>) | Determines whether a particular condition is valid for all integers in a specified range. | |
ForAll<T>(IEnumerable<T>, Predicate<T>) | Determines whether all the elements in a collection exist within a function. | |
Invariant(Boolean) | Specifies an invariant contract for the enclosing class. | |
Invariant(Boolean, String) | Specifies an invariant contract for the enclosing class, and displays a message if the condition for the contract fails. | |
OldValue<T> | Represents values as they were at the start of a method or property. | |
Requires(Boolean) | Specifies a precondition contract for the enclosing method or property. | |
Requires(Boolean, String) | Specifies a precondition contract for the enclosing method or property, and displays a message if the condition for the contract fails. | |
Requires<TException>(Boolean) | Specifies a precondition contract for the enclosing method or property, and throws an exception if the condition for the contract fails. | |
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. | |
Result<T> | Represents the return value of a method or property. | |
ValueAtReturn<T> | Represents the final (output) value of an out parameter when returning from a method. |
Top