[Code Contracts] Nouvelle release 1.4.60317.12 (15 Mars 2013)

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.

[.NET] Code Contracts – Partie 5 – Les contrats sur les interfaces

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).

(suite…)

[.NET] Code Contracts – Partie 4 – Les invariants

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.

(suite…)

[.NET] Code Contracts – Partie 3 – Les post-conditions

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.

(suite…)

[.NET] Code Contracts – Partie 2 – Les pré-conditions

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.

(suite…)

[.NET] Code Contracts – Partie 1 – Introduction

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.

(suite…)