Contrat.Nécessite l'utilisation de

Voici mon problème. Je suis un très grand fan de la Conception par contrat, je suis en utilisant ce concept, particulièrement lors de l'élaboration de bibliothèques qui peuvent être utilisés par d'autres développeurs. Je viens de découvrir une nouvelle façon de faire ce qui est: Contract.Requires au lieu de Exception:
Alors au lieu d'avoir:

public void SomeMethod(string name){
   if(name==null) throw new NullArgumentException("Null values not supported");
}

J'ai maintenant:

public void SomeMethod(string name){
   Contract.Requires(name != null);
}

MODIFIER: je travaille sous VS2010 sur le mode de débogage.

Problème: Contract.Requires ne pas faire n'importe quoi, même quand name est null!

La MSDN documentation dit:

Spécifie un contrat de condition préalable pour l'affichage de méthode ou de
de la propriété.

Mais rien n'est précisé dans le cas où la condition n'est pas remplie!

J'ai aussi remarqué il y a d'autres Contract.Requires surcharges que jeter l'exception, d'afficher de message... mais alors qu'est-ce que Contract.Requires(Boolean) pour?

MODIFIER Réponse ci-dessous mis en évidence qu'un plug-in doit être installé pour avoir toute la puissance de Contract API, mais alors qu'en Mono utilisateurs qui veulent leur code pour se comporter de la même manière sur les différentes plates-formes?

InformationsquelleAutor GETah | 2011-11-28
  1. 25

    Vous devez effectuer les opérations suivantes:

    1. Installer le Code des Contrats de complément comme nfechner a noté
    2. Accédez aux propriétés du projet, le " Code des Contrats de dossier
    3. Case 'Exécuter L'Exécution Du Contrat En Cochant
    4. Switch 'Assemblée Mode de Contrat Standard Exige"
    5. Remplacement de votre Contract.Requires avec Contract.Requires<SomeException> (le premier jette System.Diagnostics.ContractException tandis que le second lève l'exception que vous avez spécifié qui est important pour les méthodes publiques)

    C'est la configuration de base. Pour plus de configuration exacte, reportez-vous au manuel

    Si vous utilisez Mono, probablement, d'un Contrat de classe est vide. Je n'ai pas fait cela, mais le chapitre sept de l'Contrats manuel semble expliquer la façon de fournir votre propre mise en œuvre.

    • +1 pour ces conseils. Je serais plutôt de conserver des exceptions dans ce cas. Est-il un outil similaire pour les MONO?
    • J'ai mis à jour le post. Espérons que cela aide.
    • Je ne suis pas seulement intéressé par l'utilisation de ce en MONO, mais la recherche de la portabilité de Windows à Linux et vice-versa
    • Je ne suis pas sûr de savoir comment il fonctionne, mais je ne pense que vous devriez essayer la mise en œuvre de contrat personnalisé d'exécution. Il ne devrait pas être très difficile. J'attends la mise en œuvre pour être facilement transportable. Si vous le faites et si vous avez VS Professional+, alors vous obtiendrez les avantages de la compilation contrat de vérification, qui sont précieux. Je voudrais lui donner un essai.
    • Le Code des Contrats de plug-in effectue un post-étape de compilation qui réécrit le IL dans votre assemblée à inclure dans l'exécution des contrôles. Si votre montage est compatible avec Mono, il effectuera la Contract.Requires(...) vérifie à la fois sur Windows et Linux. La seule question est de compiler le code sur Linux, où la IL du graveur n'est pas disponible. Si vous faites tout votre développement sur Windows, puis des Contrats de Code ne sera en aucun cas affecter la compatibilité multiplate-forme.
    InformationsquelleAutor Pavel Gatilov
  2. 11

    De la Classe de contrat de docs:

    Important

    Vous devez installer un Visual Studio add-in pour faire respecter les contrats. Le Code
    Les Contrats D'Édition Premium     add-in vous permet de spécifier statique et moment de l'exécution
    vérification des contrats de code sur la page de Propriétés du projet. Si vous ne
    ne pas activer au moment de l'exécution de la vérification, de contrats tels que les Contrat.Assure
    méthode ne permet pas de lancer des exceptions lors de l'exécution si un contrat est
    violé. Visual Studio add-in n'est pas livré avec Visual Studio
    2010 ou le SDK de Windows.

    • +1 pour l'astuce, mais cela résout le problème uniquement sur une extrémité. Veuillez voir mes mises à jour sur la question
    InformationsquelleAutor nfechner
  3. 2

    Avec un message comme cela, il est généralement utile de spécifier exactement ce que vous avez fait.

    Par exemple, vous ne mentionnez pas dans le message d'origine si vous avez installé le VS Addon, ni que vous avez activé dans votre projet de propriétés, ou qui vous sont effectivement en cours d'exécution dans le debug vs mode de diffusion, etc.

    Re Contract.Requires vs Contract.Requires<Exception>

    Contract.Requires est recommandé.
    Selon le manuel de l'

    Si votre code doit lancer une exception en cas d'échec d'un
    particulier préalable, vous pouvez utiliser le générique surchargé forme
    ci-dessous. (Veuillez lire la Section 5.1 avant de s'engager à ce formulaire dans votre
    code. Vous ne pouvez pas utiliser Requires < Exn <Exn>> sans courir le contrat d'outils
    sur toutes les versions. Si vous le faites, vous obtiendrez un moteur d'exécution de l'échec à chaque fois.)

    InformationsquelleAutor sgmoore