ContractReferenceAssemblyAttribute 類別

定義

命名空間:

System.Diagnostics.Contracts

組件:

System.Diagnostics.Contracts.dll

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

public ref class ContractReferenceAssemblyAttribute sealed : Attribute

[System.AttributeUsage(System.AttributeTargets.Assembly)]
public sealed class ContractReferenceAssemblyAttribute : Attribute

[<System.AttributeUsage(System.AttributeTargets.Assembly)>]
type ContractReferenceAssemblyAttribute = class
    inherit Attribute

Public NotInheritable Class ContractReferenceAssemblyAttribute
Inherits Attribute

繼承

Object

Attribute

ContractReferenceAssemblyAttribute

屬性

AttributeUsageAttribute

備註

合約參考元件名為 assembly.Contracts.dll，其中 assembly 是擷取合約的 元件 名稱。 合約參考元件包含元件及其合約的公開可見介面，但不包含任何程序代碼。 運行時間分析器會同時使用合約參考元件來繼承元件之間的合約，以及在靜態驗證期間，從分析元件外部的元件探索方法和類型的合約。

如需使用屬性的詳細資訊，請參閱 屬性。

建構函式

ContractReferenceAssemblyAttribute()

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

屬性

TypeId

在衍生類別中實作時，取得這個 Attribute 的唯一識別碼。 (繼承來源 Attribute)

方法

Equals(Object)	傳回值，這個值指出此執行個體是否與指定的物件相等。 (繼承來源 Attribute)
GetHashCode()	傳回這個執行個體的雜湊碼。 (繼承來源 Attribute)
GetType()	取得目前執行個體的 Type。 (繼承來源 Object)
IsDefaultAttribute()	在衍生類別中覆寫時，表示這個執行個體的值是衍生類別的預設值。 (繼承來源 Attribute)
Match(Object)	在衍生類別中覆寫時，會傳回值，表示這個執行個體是否等於指定物件。 (繼承來源 Attribute)
MemberwiseClone()	建立目前 Object 的淺層複製。 (繼承來源 Object)
ToString()	傳回代表目前物件的字串。 (繼承來源 Object)