Voir la source de Code Contract

=Généralités=
[http://research.microsoft.com/en-us/projects/contracts Code Contract] donne une alternative plus lisible et performante aux tests If-Then-Throw.<br/>
Disponible à partir du Framework 4.0, et donc sur VS 2010. [http://download.microsoft.com/download/C/2/7/C2715F76-F56C-4D37-9231-EF8076B7EC13/userdoc.pdf Manuel de Microsoft].

= Pré-conditions (Requires) =
Permet de tester les arguments passé à la méthode.<br/>
Les tests Requires doivent impérativement se trouver au début de la méthode avant tout autre code.
<kode lang="csharp">
void Methode(string argument, List<string> arguments)
{
    // si le test n'est pas validé, l'exception ArgumentNullException est lancée 
    // avec le message "Échec de la condition préalable : argument != null"
    Contract.Requires<ArgumentNullException>(argument != null);

    // test si les éléments de la liste ne sont pas null
    Contract.Requires<ArgumentNullException>(Contract.ForAll(arguments, a => a != null));
</kode>

= Post-condition (Ensures) =
Permet de tester la valeur retournée par la méthode.<br/>
Les tests Ensures doivent impérativement se trouver au début de la méthode avant tout autre code.

<kode lang="csharp">
int Methode()
{
    // si le test n'est pas validé, une exception ContractException est lancée
    // avec le message Échec de la post-condition : Contract.Result<int>() > 0
    Contract.Ensures(Contract.Result<int>() > 0);
</kode>

= Assert =
<kode lang="csharp">
// permet de réaliser un test
// si le test n'est pas validé et que l'Assembly Mode est à Full 
// lance une exception du type ContractException avec le message "Échec d'assertion : objet != null"
Contract.Assert(objet != null);
</kode>

=Scénarios d'utilisation=
== Cas 1 ==
Vous souhaitez effectuer une validation en Debug mais pas en Release.
* Utilisez <syntaxhighlight lang=csharp inline>Contract.Require(...)</syntaxhighlight>
* Activez « Runtime Checking » en Debug et désactivez-le en Release

== Cas 2 ==
Vous souhaitez effectuer une validation en Debug et en Release.<br/>
Et vous souhaitez utiliser CCrewriter en Release.
* Utilisez <syntaxhighlight lang=csharp inline>Contract.Require<Exception>(...)</syntaxhighlight> sur les méthodes accessibles en dehors de l'assemblage
* Utilisez <syntaxhighlight lang=csharp inline>Contract.Require(...)</syntaxhighlight> pour les autres méthodes
* Activez « Runtime Checking » en Debug et Release
* Choisir l'option pour ne vérifier que les « Preconditions »
* Choisir l'option « Only Public Surface Contracts »

== Cas 3 ==
Vous souhaitez effectuer une validation en Debug et en Release.<br/>
Mais vous ne souhaitez pas utiliser CCrewriter en Release (personnalisation de l'exception).
* Utilisez <syntaxhighlight lang=csharp inline>if(...) throw Exception(); Contract.EndContractBlock();</syntaxhighlight> sur les méthodes accessibles en dehors de l'assemblage
* Utilisez <syntaxhighlight lang=csharp inline>Contract.Require(...)</syntaxhighlight> sur les autres méthodes
* Activez « Runtime Checking » en Debug et désactivez-le en Release

=Visual Studio=
==Assembly Mode==
=== Standard Contract Requires ===
Cas 1 ou Cas 2<br/>
Utilisation de <syntaxhighlight lang=csharp inline>if(...) throw Exception(); Contract.EndContractBlock();</syntaxhighlight> n'est pas autorisée.

=== Custom Parameter Validation ===
Cas 3<br/>
Utilisation de <syntaxhighlight lang=csharp inline>Contract.Require<Exception>(...)</syntaxhighlight> n'est pas autorisée.

==Runtime Checking==
===Runtime Checking Level===
{| cellpadding="10" cellspacing="0" border="1"
!Checking Level
!Legacy
!Require<Exception>
!Require
!Ensures
!Invariants
!Asserts
!Assumes
|-
|Full
|X||X||X||X||X||X||X
|-
|Pre and Post
|X||X||X||X|| || || 
|-
|Preconditions
|X||X||X|| || || || 
|-
|ReleaseRequires
|X||X|| || || || || 
|-
|None
| || || || || || || 
|}

===Public Surface Contract Checks===
Supprime tous les contrats des méthodes qui ne sont pas accessibles depuis l'extérieur de l'assemblage.

===Assert on Contract Failure===
Affiche ou non la fenêtre « Assert Failure : Abandonner, Recommencer, Ignorer ».

==Contract Reference Assembly==
Permet de générer un assemblage « MonProjet.Contracts.dll » et le XML de documentation associé.<br/>
Il sera utilisé par les projets référençant cette assemblage et voulant savoir s'il contient des contrats, ou si vous voulez inclure les contrats dans la documentation.

[[Category:CSharp]]