Поделиться через


Contract.EndContractBlock Метод

Определение

Помечает конец раздела контракта, когда контракты метода содержат только предусловия вида 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 ()
Атрибуты

Комментарии

Большая часть кода уже содержит проверку некоторых параметров в виде if--thenthrow кода. Инструменты контракта распознают ifthrow-then-операторы как предварительные условия, когда операторы появляются первым в методе, а за всем набором таких операторов следует явный Contract вызов метода, например Requires, Ensures, EnsuresOnThrowили .EndContractBlock

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

Применяется к