Contract.EndContractBlock 方法

定义

命名空间:

System.Diagnostics.Contracts

程序集:

System.Diagnostics.Contracts.dll

Source:

Contracts.cs

当方法的协定仅包含 if-then-throw 形式的前置条件时，标记协定部分的结尾。

public:
 static void EndContractBlock();

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EndContractBlock ();

[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member EndContractBlock : unit -> unit

Public Shared Sub EndContractBlock ()

属性

ConditionalAttribute

注解

大多数代码已包含代码形式的if--thenthrow一些参数验证。 当语句首先出现在方法中时，协定工具会将语句识别ifthen--throw为前置条件，并且整个此类语句集后跟显式Contract方法调用，例如 Requires、Ensures、 EnsuresOnThrow或 。EndContractBlock

当语句以此形式出现时if--thenthrow，协定工具会将其识别为旧式需要语句。 EndContractBlock仅当没有其他协定遵循throwif-then-序列时，才使用表单，但仍应将其标记为旧要求。