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.Marks the end of the contract section when a method's contracts contain only preconditions in the if-then-throw form.

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 - then - throw código.Most code already contains some parameter validation in the form of if-then-throw code. As ferramentas de contrato reconhecem if - then - throw instruções como pré-condições quando as instruções aparecem primeiro dentro de um método, e o conjunto inteiro dessas instruções é seguido por uma Contract chamada de método explícita, como um Requires , Ensures , EnsuresOnThrow ou EndContractBlock .The contract tools recognize if-then-throw statements as preconditions when the statements appear first inside a method, and the entire set of such statements is followed by an explicit Contract method call, such as a Requires, Ensures, EnsuresOnThrow, or EndContractBlock.

Quando if - then - throw as instruções aparecem neste formulário, as ferramentas de contrato as reconhecem como instruções de exigir herdadas.When if-then-throw statements appear in this form, the contract tools recognize them as legacy-require statements. O EndContractBlock formulário só será usado se nenhum outro contrato seguir as if - then - throw sequências, mas eles ainda devem ser marcados como herdados-requer.The EndContractBlock form is used only if no other contracts follow the if-then-throw sequences, but they should still be tagged as legacy-requires.

Aplica-se a