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 final da seção de contrato quando os contratos de um método contêm apenas pré-condições no if--thenthrow formulário.
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 ifthrow--theninstruçõ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 um Requires, , EnsuresEnsuresOnThrowou .EndContractBlock
Quando if--thenthrow as instruções aparecem nesse formulário, as ferramentas de contrato as reconhecem como instruções herdadas. 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.