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).
Blog de Gilles TOURREAU MVP C# – .NET Framework, C#, VB, Visual Studio, Linq, …
-
Certifications
Livres
[.NET] Code Contracts – Partie 4 – Les invariants
21 novembre 2011 — Gilles TOURREAUNous 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.
[.NET] Code Contracts – Partie 3 – Les post-conditions
25 octobre 2011 — Gilles TOURREAUNous 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.
[.NET] Code Contracts – Partie 2 – Les pré-conditions
11 octobre 2011 — Gilles TOURREAUCe 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.
[.NET] Code Contracts – Partie 1 – Introduction
10 octobre 2011 — Gilles TOURREAUCode 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.
Membre du réseau
