Contract.EndContractBlock Méthode
Définition
Important
Certaines informations portent sur la préversion du produit qui est susceptible d’être en grande partie modifiée avant sa publication. Microsoft exclut toute garantie, expresse ou implicite, concernant les informations fournies ici.
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 -> unitPublic 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.
