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.
Blog de Gilles TOURREAU MVP C# – .NET Framework, C#, VB, Visual Studio, Linq, …
-
Certifications
Livres
Membre du réseau
