Contract.EndContractBlock Método

Definição

Namespace:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

Origem:

Contracts.cs

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

ConditionalAttribute

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.