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