.NET Framework Conditions préalables


Exemple

Les conditions préalables permettent aux méthodes de fournir des valeurs minimales requises pour les paramètres d'entrée

Exemple...

void DoWork(string input)
{
    Contract.Requires(!string.IsNullOrEmpty(input));

    //do work
}

Résultat d'analyse statique ...

entrer la description de l'image ici