Compartilhar via


Contract.EndContractBlock Método

Definição

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 -> unit
Public 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.

Aplica-se a