System.Diagnostics.Contracts 命名空間

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

類別

Contract	包含表示程式合約的靜態方法，例如前置條件、後置條件及物件非變異。
ContractAbbreviatorAttribute	定義可以取代完整合約語法的縮寫。
ContractArgumentValidatorAttribute	可讓您將舊版 if-then-throw 程式碼分成不同的方法以供重複使用，並讓您完整控制擲回的例外狀況和引數。
ContractClassAttribute	指定包含此類型程式碼合約的個別類型。
ContractClassForAttribute	指定類別為類型的合約。
ContractFailedEventArgs	提供 ContractFailed 事件的方法與資料。
ContractInvariantMethodAttribute	標記方法為類別的非變異方法。
ContractOptionAttribute	可讓您以組件、型別或方法的資料粒度設定合約及工具選項。
ContractPublicPropertyNameAttribute	指定當欄位的可視性比方法還低時，可在方法合約中使用的欄位。
ContractReferenceAssemblyAttribute	指定組件為包含合約的參考組件。
ContractRuntimeIgnoredAttribute	識別沒有任何執行階段行為的成員。
ContractVerificationAttribute	指示分析工具假設組件、類型或成員的正確性，而不執行靜態驗證。
PureAttribute	表示類型或方法是純粹的，也就是它不會進行任何可見的狀態變更。

列舉

ContractFailureKind

指定失敗的合約類型。