System.Diagnostics.Contracts

包含表示程式合約的靜態方法，例如前置條件、後置條件及物件非變異。

檢查條件，且如果條件為 false，則遵循已為分析器設定的擴大原則。

要測試的條件運算式。

檢查條件。如果條件為 false，則遵循分析器所設定的擴大原則，並顯示指定的訊息。

要測試的條件運算式。當條件不符合時所顯示的訊息。

指示程式碼分析工具假設指定的條件為 true，即使該條件無法以靜態方式證明永遠是 true 亦然。

要假設 true 的條件運算式。

指示程式碼分析工具假設條件為 true，即使該條件無法以靜態方式證明永遠是 true 亦然，同時在假設失敗時顯示訊息。

要假設 true 的條件運算式。要在假設失敗時張貼的訊息。

發生於合約失敗時。

當方法的合約僅包含 if-then-throw 形式的前置條件時，標記合約區段的結尾。

指定封入方法或屬性的後置條件合約。

要測試的條件運算式。運算式可以包含、及值。

為提供的結束條件指定後置條件合約，以及在條件為 false 時所要顯示的訊息。

要測試的條件運算式。運算式可以包含和值。當運算式不是 true 時所顯示的訊息。

根據所提供的例外狀況和條件，針對封入方法或屬性指定後置條件合約。

要測試的條件運算式。例外狀況類型，其會叫用後置條件檢查。

根據所提供之例外狀況和條件，針對封入方法或屬性來指定後置條件合約，和當條件是 false 時顯示的訊息。

要測試的條件運算式。如果運算式為 false 時所顯示的訊息。例外狀況類型，其會叫用後置條件檢查。

判斷項目集合內的項目是否出現在函式中。

只有在為中任何類型之元素傳回 true 時，才為 true。將從中取出類型的項目以傳遞至的集合。要評估中元素的函式。包含在中的類型。 or is null.

判斷整數範圍內是否有任何整數使指定的測試成立。

如果為從開始到 - 1 的任何整數傳回 true，則為 true。要傳遞至的第一個整數。要傳遞至的最後一個整數加一。要評估指定範圍內任何整數值的函式。 is null. is less than .

判斷集合內的所有項目是否都出現在函式中。

只有在為中所有類型的元素傳回 true 時，才為 true。將從中取出類型的項目以傳遞至的集合。要評估中所有元素是否存在的函式。包含在中的類型。 or is null.

判斷特定條件對於指定之範圍內的所有整數是否有效。

如果為從開始到 - 1 的所有整數傳回 true，則為 true。要傳遞至的第一個整數。要傳遞至的最後一個整數加一。要評估指定範圍中整數是否存在的函式。 is null. is less than .

指定封入方法或屬性的非變異合約。

要測試的條件運算式。

指定封入方法或屬性的非變異合約，並在合約的條件失敗時顯示訊息。

要測試的條件運算式。如果條件為 false 時所顯示的訊息。

表示其在方法或屬性開始時的值。

在方法或屬性開始時之欄位或參數的值。要表示的值 (欄位或參數)。值的類型。

指定封入方法或屬性的前置條件合約，並在合約的條件失敗時擲回例外狀況。

要測試的條件運算式。當條件為 false 時所要擲回的例外狀況。

指定封入方法或屬性的前置條件合約。

要測試的條件運算式。

指定封入方法或屬性的前置條件合約，並在合約的條件失敗時顯示訊息。

要測試的條件運算式。如果條件為 false 時所顯示的訊息。

指定封入方法或屬性的前置條件合約，並在合約的條件失敗時擲回包含所提供訊息的例外狀況。

要測試的條件運算式。如果條件為 false 時所顯示的訊息。當條件為 false 時所要擲回的例外狀況。

表示方法或屬性的傳回值。

封入方法或屬性的傳回值。封入方法或屬性的傳回值類型。

表示從方法傳回時的最後 (輸出) out 參數值。

out 參數的輸出值。 out 參數。 out 參數的類型。

定義可以取代完整合約語法的縮寫。

初始化類別的新執行個體。

可讓您將舊版 if-then-throw 程式碼分成不同的方法以供重複使用，並讓您完整控制擲回的例外狀況和引數。

初始化類別的新執行個體。

指定不同的型別包含此型別的程式碼合約。

初始化類別的新執行個體。

型別，包含這個型別的程式碼合約。

取得型別，此型別包含這個型別的程式碼合約。

型別，包含這個型別的程式碼合約。

指定類別是某個型別的合約。

初始化類別的新執行個體，指定目前類別為其合約的型別。

目前類別為其合約的型別。

取得型別，即其中要套用此程式碼合約的型別。

其中要套用此程式碼合約的型別。

提供事件的方法與資料。

提供事件的資料。

一個列舉值，指定失敗的合約。事件的訊息。事件的條件。造成事件的例外狀況。

取得合約失敗的條件。

失敗的條件。

取得失敗的合約類型。

一個列舉值，指定失敗之合約的型別。

表示是否已處理事件。

如果已處理事件則為 true，否則為 false。

取得描述事件的訊息。

描述事件的訊息。

取得造成事件的原始例外狀況。

造成事件的例外狀況。

將屬性設定為 true。

指出是否應該套用程式碼合約擴大原則。

true 表示要套用擴大原則，否則為 false。預設為 false。

指定失敗的合約類型。

合約失敗。

將方法標示為類別的非變異方法。

初始化類別的新執行個體。

可讓您以組件、型別或方法的資料粒度設定合約及工具選項。

使用提供的分類、設定和啟用/停用值，初始化類別的新執行個體。

要設定其選項的分類。選項設定。 true 表示要啟用選項，false 表示要停用選項。

使用提供的分類、設定和值，初始化類別的新執行個體。

要設定之選項的分類。選項設定。設定的值。

取得選項的分類。

選項的分類。

判斷是否選項已啟用。

如果已啟用此選項，則為 true，否則為 false。

取得選項的設定。

選項的設定值。

取得選項的值。

選項的值。

指定當欄位的可視性比方法還低時，可在方法合約中使用的欄位。

初始化類別的新執行個體。

要套用至欄位的屬性名稱。

取得要套用至欄位的屬性名稱。

要套用至欄位的屬性名稱。

指定組件是包含合約的參考組件。

初始化類別的新執行個體。

識別沒有執行階段行為的成員。

初始化類別的新執行個體。

指示分析工具不執行靜態驗證便假設組件、型別或成員的正確性。

初始化類別的新執行個體。

true 表示需要驗證，否則為 false。

取得指出是否要驗證目標合約的值。

如果需要驗證則為 true，否則為 false。

指出型別或方法是純正的，也就是它不會執行任何可見的狀態變更。

初始化類別的新執行個體。

提供方法，即二進位重寫器用來處理合約失敗的方法。

由二進位重寫器用來啟動預設失敗行為。

如果已處理該事件且應該不會觸發失敗，則為 Null 參考 (在 Visual Basic 中的 Nothing)，否則會傳回當地語系化的失敗訊息。其中一個列舉值，這個值指定失敗的類型。其他使用者資訊。造成失敗的條件描述。造成目前例外狀況的內部例外狀況。不是有效的值。

觸發預設的失敗行為。

其中一個列舉值，這個值指定失敗的類型。要顯示的訊息。其他使用者資訊。造成失敗的條件描述。造成目前例外狀況的內部例外狀況。