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 -> unitPublic Shared Sub EndContractBlock ()- Атрибуты
Комментарии
Большая часть кода уже содержит проверку некоторых параметров в виде if--thenthrow кода. Инструменты контракта распознают ifthrow-then-операторы как предварительные условия, когда операторы появляются первым в методе, а за всем набором таких операторов следует явный Contract вызов метода, например Requires, Ensures, EnsuresOnThrowили .EndContractBlock
Когда if--thenthrow операторы отображаются в этой форме, инструменты контракта распознают их как операторы, требующие прежних версий. Форма EndContractBlock используется только в том случае, если другие контракты не соответствуютthrowif-then-последовательности, но они по-прежнему должны быть помечены как устаревшие.
