我有很多方法，並呼籲_isLoaded其coresponding財產私有隻讀布爾領域類：公共BOOL IsLoaded： class MyClass
{
readonly bool _isLoaded;
public bool IsLoaded
{
get { return _isLoaded; }
}
public void Me
基本上，我有一個虛擬方法來傳播某些強制後置條件到子類。下面是一個簡化版本和奇怪的警告靜態檢查生成（編輯 - 我的例子是不完整這是現在。）： public abstract class InitializerClass
{
protected bool _initialized
public bool IsInitialized
{
get { retu
我最近安裝了代碼合同工具（代碼合同的.NET）和代碼合同編輯器擴展VS2012，我有一些麻煩讓靜態檢查器工作正常。 當我在下面的代碼運行代碼契約靜態檢查（用註釋掉的第二個假設） using System.Collections.Generic;
using System.Collections.ObjectModel;
using System.Diagnostics.Contracts;