Partager via


Contract.EndContractBlock Méthode

Définition

Marque la fin de la section de contrat quand les contrats d’une méthode contiennent uniquement des conditions préalables sous la forme 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 ()
Attributs

Remarques

La plupart du code contient déjà une validation de paramètre sous la forme de if--thenthrow code. Les outils de contrat reconnaissent ifthrow--thenles instructions en tant que conditions préalables lorsque les instructions apparaissent en premier à l’intérieur d’une méthode, et que l’ensemble entier de ces instructions est suivi d’un appel de méthode expliciteContract, tel qu’un Requires, Ensures, EnsuresOnThrowou .EndContractBlock

Lorsque if--thenthrow les instructions s’affichent sous cette forme, les outils de contrat les reconnaissent en tant qu’instructions héritées requises. Le EndContractBlock formulaire n’est utilisé que si aucun autre contrat ne suit lesthrowif-then-séquences, mais qu’ils doivent toujours être étiquetés comme requis hérités.

S’applique à