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-then-throw кода. Средства контракта распознают if-then-throwоператоры в качестве предварительных условий, когда операторы появляются в методе, а за всем набором таких инструкций следует явный Contract вызов метода, например Requires, Ensuresили . EnsuresOnThrowEndContractBlock
Когда if-then-throw операторы отображаются в этой форме, средства контракта распознают их как устаревшие инструкции. Форма EndContractBlock используется только в том случае, если другие контракты не соответствуютif-then-throwпоследовательности, но они по-прежнему должны быть помечены как устаревшие.
