code-contracts

4La chaleur

1Répondre

Quel correcteur binaire est utilisé pour implémenter les Contrats de code de Microsoft?

Je parle de ceux Code Contracts qui finiront dans .NET 4.0. Quel réécriveur binaire utilise-t-il pour injecter le code qui le fait fonctionner et est-il disponible publiquement? J'espère que ce n'est

.net compiler-construction aop code-contracts 2009-09-03

---

6La chaleur

2Répondre

Est-ce un bug dans le vérificateur de contrat statique?

Si j'écris ceci: public sealed class Foo { private int count; private object owner; private void Bar() { Contract.Requires(count > 0); Contract.Ensures(owner == null |

.net code-contracts 2009-12-17

---

9La chaleur

2Répondre

Toute alternative à l'analyseur statique .Net 4 Contracts Code?

Il semble que l'analyseur statique à utiliser avec les contrats de code .NET 4.0 ne sera disponible que pour les éditions Team Suite de Visual Studio - ce qui le place bien en dehors du budget de mon

c# .net visual-studio-2010 static-analysis code-contracts 2009-10-31

---

2La chaleur

1Répondre

Que dois-je installer pour que les contrats de code fonctionnent avec vs 2010

J'ai vs 2008 et vs 2010 installé sur ma machine ainsi que le contrat de code de devlabs (version 1.2.21023.14). Cela fonctionne très bien avec vs 2008. Cependant, avec vs 2010, il n'y a pas d'onglet "

.net visual-studio-2010 code-contracts 2009-12-22

---

1La chaleur

2Répondre

Espace de noms Microsoft.Contracts

Pour quoi est-il nécessaire Espace de noms Microsoft.Contracts dans asp.net? Je veux dire, dans quels cas je pourrais écrire using Microsoft.Contracts;?

c# asp.net code-contracts design-by-contract microsoft-contracts 2009-11-05

---

0La chaleur

1Répondre

Exclure System.Diagnostics.Contracts lors de l'utilisation de PartCover

J'expérimente les Contrats de Code .net pour .net 3.5 J'ai un test d'unité sur lequel je cours PartCover pour calculer la couverture de code. PartCover conserve toujours les contrats System.Diagnostic

.net code-contracts partcover 2009-09-18

---

32La chaleur

1Répondre

C#: Code des marchés contre la validation des paramètres normaux

examiner les deux morceaux de code suivants: public static Time Parse(string value) { string regXExpres = "^([0-9]|[0-1][0-9]|2[0-3]):([0-9]|[0-5][0-9])$|^24:(0|00)$"; Contract

c# .net .net-4.0 code-contracts microsoft-contracts 2009-12-30

---

2La chaleur

2Répondre

Existe-t-il un moyen de faire fonctionner les contrats de code avec LINQ?

Les contrats de code ne cessent de me donner des avertissements «appelant éventuellement une méthode sur une référence nulle» pour toutes mes instructions LINQ, et je ne trouve aucun moyen de les fair

c# .net linq code-contracts 2009-09-24

---

3La chaleur

1Répondre

Erreurs de métadonnées CodeContracts lors de la réécriture

J'essaie d'utiliser des contrats de code avec .NET 3.5 dans un grand projet d'application de bureau, qui comporte également une dépendance C++ DLL en mode mixte, écrite dans l'ancienne syntaxe C++ gér

c# compiler-errors code-contracts 2010-01-04

---

6La chaleur

1Répondre

Comment puis-je utiliser les contrats de code dans un projet C++/CLI?

Je suis récemment tombé sur des contrats de code et j'ai commencé à les utiliser dans mes projets C#. Cependant, j'ai aussi un certain nombre de projets écrits en C++/CLI. Pour les contrats C# et VB,

msbuild c++-cli code-contracts 2009-11-20

---