.NET Framework Postconditions


Exemple

Les postconditions garantissent que les résultats renvoyés par une méthode correspondent à la définition fournie. Cela fournit à l'appelant une définition du résultat attendu. Les postconditions peuvent permettre des implémentations simplifiées, car certains résultats possibles peuvent être fournis par l'analyseur statique.

Exemple...

string GetValue()
{
    Contract.Ensures(Contract.Result<string>() != null);

    return null;
}

Résultat d'analyse statique ...

entrer la description de l'image ici