code-contracts

4La chaleur

1Répondre

Puis-je exclure facilement certains contrats de l'analyse statique?

Il y a certains contrats que je sais que l'analyseur statique ne peut pas prouver. Je peux exclure certains types d'erreurs de violation de contrat d'une fonction entière, mais cela est trop large. Je

5La chaleur

2Répondre

Comment affirmez-vous en code algorithmique dans .NET?

Je développe actuellement un petit framework AI (algorithmes génétiques/réseaux de neurones) en C#, pour un projet universitaire. Ma première préoccupation est de développer un framework réutilisable,

1La chaleur

1Répondre

Configuration de code des marchés dans Visual Studio 2010

Je tentais d'exécuter un code simple avec les contrats de code (que je ne l'ai pas utilisé pendant un certain temps) static void Main(string[] args) { double res = sqrt(-5); } st

9La chaleur

2Répondre

Microsoft Code des marchés sans Visual Studio

Cette pile question de trop-plein: Microsoft Code Contracts and CI build server demande comment obtenir des contrats de travail de code sur un serveur de build sans installer Visual Studio 2010. Nous

4La chaleur

3Répondre

CodeContracts problème

Bonjour J'ai un petit problème concernant CodeContracts. J'ai un projet de bibliothèque de classes qui en tant que classe avec une méthode foo (chaîne s1, chaîne s2); à l'intérieur de la méthode foo,

2La chaleur

1Répondre

CodeContract.Requires (param! = Null) ne prouve pas que param ne sera pas nul?

Bonjour J'ai une méthode énuméré ci-dessous: public static PasswordCredential Create(string password, string username, string pinCode = null) { Contract.Requires<ArgumentException>(!string.

1La chaleur

1Répondre

combiner les contrats préconditionner pour retourner l'erreur une fois?

HI il Je me demandais s'il y a de toute façon de combiner tous Contract.Requiere dans une méthode, dire quelque chose comme cela se produit public void MyMehod(Order var1, Cust var2) { Contract.

1La chaleur

2Répondre

Besoin d'une suggestion avec CodeContracts

Salut les gars Je suis nouveau à CC et j'ai besoin de votre suggestion. J'ai commencé avec CC dans mon dernier projet. J'ai un contrat WCF, qui devrait être mis en œuvre par des tiers. Je souhaite att

2La chaleur

1Répondre

Contrats - analyse statique mal repérage Condition à remplir

J'ai passé quelques heures sur cette question ... voici mon code: public static IEnumerable<T> Generate<T>(this Func<T> generator) where T : class { Contract.Ensures(Contract.Result<IEnumerable<

18La chaleur

2Répondre

Quand utiliser les contrats de code fournis avec C# 4.0?

Je traversais une question sur le SO qui allait new features of c# 4.0 et jon la réponse au pigeon d'argile avait Code de fonction des contrats de C# 4.0 .. Mais je ne peux vraiment pas comprendre qua