code-contracts

1La chaleur

1Répondre

problème Considérez le code suivant: public class RandomClass { private readonly string randomString; public RandomClass(string randomParameter) { Contract.Requires(randomPara

2La chaleur

1Répondre

Assure le Nonproven via la propriété lors de l'implémentation de l'interface

J'essaie ce qui me semble être un code de contrat de code assez basique. Je l'ai réduit au problème suivant. Ce qui suit ne l'analyse statique, avec le message CodeContracts: assure non prouvée: this.

3La chaleur

1Répondre

Pourquoi l'onglet Contrats de code n'apparaît-il pas dans VS 2010?

J'ai vu une démo de Contrats de Code l'autre jour et j'ai décidé de me lancer dans un petit projet de test. Je peux configurer mon code Contrats de code de manière appropriée après avoir ajouté une in

5La chaleur

1Répondre

Échec de la réécriture des contrats de code - commande libpaths

Ma solution/projet s'accorde parfaitement avec les contrats de code désactivés pour ce projet particulier. Lorsque j'allume Exécutez Runtime Contract Checking sur mon projet, la génération échoue. Le

0La chaleur

2Répondre

Contract.Ensures non prouvées dans plusieurs objet/classe Code de la chaîne contrats

I ont la structure de classe suivante: using System; using System.Collections.Generic; using System.Linq; using System.Text; using System.Diagnostics.Contracts; namespace contractsTest { c

5La chaleur

2Répondre

Pourquoi est-ce que je reçois toujours des contrats de code: Prévoir un avertissement non prouvé?

Voici un exemple très simple. Quand j'allume les avertissements d'analyse statique, je reçois toujours avertissement CodeContracts: assure non prouvée: Contract.Result() = string.Empty sur la ligne st

9La chaleur

2Répondre

Contrats de collection et threads

Supposons que j'ai une classe de collection personnalisée qui fournit une synchronisation de thread interne. Par exemple, une méthode simplifiée Ajouter pourrait ressembler à ceci: public void Add(T i

9La chaleur

1Répondre

Comment puis-je spécifier des contrats de code pour le code de structure (BCL) existant?

Les contrats de code fonctionnent très bien jusqu'à ce que vous ayez à ajouter un bazillion Contract.Assume(...) pour les résultats issus du code du framework. Par exemple, MemoryStream.ToArray() ne r

1La chaleur

1Répondre

Comment indiquer au vérificateur statique qu'une propriété ne change jamais lorsqu'elle n'est pas prouvée?

Ma classe a une propriété qui est initialisée dans le constructeur et qui n'est jamais censée changer. Les méthodes tout autour de mon code acceptent cette classe comme un paramètre et s'appuient sur

2La chaleur

1Répondre

Désactiver l'avertissement de contrats de code

Je souhaite désactiver un avertissement de contrat de code, mais uniquement pour des lignes de code spécifiques. Comment je fais ça? Par exemple, je reçois: Warning 87 CodeContracts: requires unproven