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 du contrat lorsque les contrats d’une méthode contiennent uniquement des conditions préalables sous la if-then-throw forme.
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-then-throw code. Les outils de contrat reconnaissent if-then-throwles instructions comme des conditions préalables lorsque les instructions apparaissent d’abord à l’intérieur d’une méthode, et l’ensemble entier de ces instructions est suivi d’un appel de méthode expliciteContract, tel qu’un Requires, , EnsuresEnsuresOnThrowou .EndContractBlock
Lorsque if-then-throw les instructions apparaissent sous ce formulaire, les outils de contrat les reconnaissent comme des instructions héritées. Le EndContractBlock formulaire est utilisé uniquement si aucun autre contrat ne suit lesif-then-throwséquences, mais qu’ils doivent toujours être marqués comme hérités.
