Contract.EndContractBlock Method
Microsoft Silverlight will reach end of support after October 2021. Learn more.
Marks the end of the contract section when a method's contracts contain only preconditions in the if-then-throw form.
Namespace: System.Diagnostics.Contracts
Assembly: mscorlib (in mscorlib.dll)
Syntax
'Declaration
<ConditionalAttribute("CONTRACTS_FULL")> _
Public Shared Sub EndContractBlock
[ConditionalAttribute("CONTRACTS_FULL")]
public static void EndContractBlock()
Remarks
Most code already contains some parameter validation in the form of if-then-throw code. The contract tools recognize if-then-throw statements as preconditions when the statements appear first inside a method, and the entire set of such statements is followed by an explicit Contract method call, such as a Requires, Ensures, EnsuresOnThrow, or EndContractBlock.
When if-then-throw statements appear in this form, the contract tools recognize them as legacy-require statements. The EndContractBlock form is used only if no other contracts follow the if-then-throw sequences, but they should still be tagged as legacy-requires.
Version Information
Silverlight
Supported in: 5, 4
Platforms
For a list of the operating systems and browsers that are supported by Silverlight, see Supported Operating Systems and Browsers.