L’équipe de Code Contracts vient de publier une nouvelle Release de Code Contracts version 1.4.60317.12.
Vous pouvez télécharger cette release directement sur le site de la galérie de Visual Studio.
Dans les 3 derniers posts, nous avons vu comment définir les 3 types de contrats qui sont les pré-conditions, post-conditions et invariants. Nous allons voir maintenant une des grandes fonctionnalités de Code Contracts qui est la possibilité de définir ces contrats dans des interfaces (et les classes abstraites).
Nous avons vu précédemment comment définir des post-conditions à l’aide de Code Contracts. Nous allons voir maintenant comment définir des invariants à l’aide de Code Contracts.
Nous avons vu précédemment comment définir des pré-conditions à l’aide de Code Contracts. Nous allons voir maintenant comment définir des post-conditions à l’aide de Code Contracts.
Ce post fait suite à une introduction sur Code Contracts. Il explique ce qu’est une pré-condition, comment les définir et aussi comment les activer à l’aide de l’outil de réécriture.
Code Contracts est une nouvelle fonctionnalité du .NET Framework qui permet de définir des contraintes dans du code .NET qui pourront être réutilisées par des outils d’analyse ou d’écriture du code.