Contract.EndContractBlock Método
Definição
Importante
Algumas informações se referem a produtos de pré-lançamento que podem ser substancialmente modificados antes do lançamento. A Microsoft não oferece garantias, expressas ou implícitas, das informações aqui fornecidas.
Marca o fim da seção do contrato quando os contratos de um método contêm apenas precondições no formato 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 ()- Atributos
Comentários
A maioria dos códigos já contém alguma validação de parâmetro na forma de if--thenthrow código. As ferramentas de contrato reconhecem ifthen--throw instruções como pré-condições quando as instruções aparecem primeiro dentro de um método, e todo o conjunto dessas instruções é seguido por uma chamada de método explícitaContract, como , EnsuresRequires, EnsuresOnThrowou .EndContractBlock
Quando if--thenthrow as instruções aparecem nesse formulário, as ferramentas de contrato as reconhecem como instruções herdadas necessárias. O EndContractBlock formulário será usado somente se nenhum outro contrato seguir as if--thenthrow sequências, mas eles ainda deverão ser marcados como herdados.
