Exemplos de CodeContract.Invariant em C# (CSharp)

Exemplo n.º 1

Arquivo: Program.cs Projeto: MohamedBahgat445/CodeContracts

 public void ObjectInvariant()
 {
     CodeContract.Invariant(board != null);
 }