Dev Faq

Questions et réponses pour le code-contracts :

Les contrats de code sont un projet Microsoft Open Source qui vous permet d'exprimer des pré-conditions, des affections postérieures et des affirmations directement dans le code.

10
votes

Contrats de code en C # et vérification null

Dans mon code, je le fais beaucoup: myfunction (parameter p) { if(p == null) return; } ...
9 commentaire(s)
7
votes

Bug dans les itérateurs avec des contrats de code?

Le code suivant échoue sur la condition préalable. Est-ce un bug dans les contrats de code? static class Program { static void Main() { foreach (var s in Test(3) ...
0 commentaire(s)
7
votes

F # et étuis syndicaux vérifiés statiquement

bientôt moi et mon frère-in-armes Joel libérera la version 0.9 de Wing Beats . C'est une DSL interne écrit ...
1 commentaire(s)
6
votes

Comment éviter "Source! = NULL" Lorsque vous utilisez des contrats de code et LINQ vers SQL?

J'ai le code suivant à l'aide d'un contexte de données normal qui fonctionne bien: xxx pré> Cependant, lorsque je convertit le filtre en une méthode de pos ...
0 commentaire(s)