ccrewrite

3La chaleur

2Répondre

Utilisation de contrats de code dans le code de bibliothèque construit avec MSBuild

J'ai commencé à utiliser Code Contracts dans tout le nouveau code que j'écris, comme dans une bibliothèque de frameworks que je construis pour aider à amorcer IoC, O/RM, etc., dans un ASP Application

1La chaleur

1Répondre

CodeContracts: ccrewrite échoue avec la référence d'objet non définie sur une instance d'un objet

Le code ci-dessous fait exploser ccrewrite! Des idées? BTW, Si vous commentez le ActualClass, ccrewrite ... réussit [ContractClass(typeof(TestContracts))] interface ITestInterface { bo

27La chaleur

1Répondre

Pourquoi ccrewrite.exe ne fait rien depuis la ligne de commande?

J'ai des contrats de code fonctionnant correctement à partir de Visual Studio 2010, mais je ne peux pas obtenir ccrewrite.exe pour faire quelque chose d'utile à partir de la ligne de commande. Voici u

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