示例#1
0
 public void ObjectInvariant()
 {
     CodeContract.Invariant(board != null);
 }