共用方式為


System.Diagnostics.Contracts 命名空間

包含用於表示程式合約,例如先決條件、後置條件和固定值的靜態類別。

類別

Contract

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

ContractAbbreviatorAttribute

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

ContractArgumentValidatorAttribute

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

ContractClassAttribute

指定包含此類型程式碼合約的個別類型。

ContractClassForAttribute

指定類別為類型的合約。

ContractFailedEventArgs

提供 ContractFailed 事件的方法與資料。

ContractInvariantMethodAttribute

標記方法為類別的非變異方法。

ContractOptionAttribute

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

ContractPublicPropertyNameAttribute

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

ContractReferenceAssemblyAttribute

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

ContractRuntimeIgnoredAttribute

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

ContractVerificationAttribute

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

PureAttribute

表示類型或方法是純粹的,也就是它不會進行任何可見的狀態變更。

列舉

ContractFailureKind

指定失敗的合約類型。