Contract.EndContractBlock Метод

Определение

Пространство имен:

System.Diagnostics.Contracts

Сборка:

System.Diagnostics.Contracts.dll

Исходный код:

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 кода. Инструменты контракта распознают ifthrow-then-операторы как предварительные условия, когда операторы появляются первым в методе, а за всем набором таких операторов следует явный Contract вызов метода, например Requires, Ensures, EnsuresOnThrowили .EndContractBlock

Когда if--thenthrow операторы отображаются в этой форме, инструменты контракта распознают их как операторы, требующие прежних версий. Форма EndContractBlock используется только в том случае, если другие контракты не соответствуютthrowif-then-последовательности, но они по-прежнему должны быть помечены как устаревшие.