Contract Methods
Assembly: mscorlib (in mscorlib.dll)
| 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(Of TException)(Boolean) | Specifies a postcondition contract for the enclosing method or property, based on the provided exception and condition. |
![]() ![]() | EnsuresOnThrow(Of 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(Of Int32)) | Determines whether a specified test is true for any integer within a range of integers. |
![]() ![]() | Exists(Of T)(IEnumerable(Of T), Predicate(Of T)) | Determines whether an element within a collection of elements exists within a function. |
![]() ![]() | ForAll(Int32, Int32, Predicate(Of Int32)) | Determines whether a particular condition is valid for all integers in a specified range. |
![]() ![]() | ForAll(Of T)(IEnumerable(Of T), Predicate(Of T)) | Determines whether all the elements in a collection exist within a function. |
![]() ![]() | Invariant(Boolean) | Specifies an invariant contract for the enclosing method or property. |
![]() ![]() | Invariant(Boolean, String) | Specifies an invariant contract for the enclosing method or property, and displays a message if the condition for the contract fails. |
![]() ![]() | OldValue(Of T)(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(Of TException)(Boolean) | Specifies a precondition contract for the enclosing method or property, and throws an exception if the condition for the contract fails. |
![]() ![]() | Requires(Of 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(Of T)() | Represents the return value of a method or property. |
![]() ![]() | ValueAtReturn(Of T)(T) | Represents the final (output) value of an out parameter when returning from a method. |

