ContractPublicPropertyNameAttribute クラス

定義

名前空間:

System.Diagnostics.Contracts

アセンブリ:

System.Diagnostics.Contracts.dll

ソース:

Contracts.cs

フィールドの可視性がメソッドよりも少ない場合、フィールドを メソッドのコントラクトで使用できることを指定します。

public ref class ContractPublicPropertyNameAttribute sealed : Attribute

[System.AttributeUsage(System.AttributeTargets.Field)]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class ContractPublicPropertyNameAttribute : Attribute

[<System.AttributeUsage(System.AttributeTargets.Field)>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
type ContractPublicPropertyNameAttribute = class
    inherit Attribute

Public NotInheritable Class ContractPublicPropertyNameAttribute
Inherits Attribute

継承

Object

Attribute

ContractPublicPropertyNameAttribute

属性

AttributeUsageAttribute ConditionalAttribute

注釈

フィールドに属性を ContractPublicPropertyNameAttribute 適用すると、フィールドの可視性がメソッドよりも低い場合に、そのフィールドをメソッドのコード コントラクトで使用できます。 フィールドの値と同等の可視プロパティが必要です。 たとえば、メソッドがパブリックで、フィールドがプライベートである場合は、この属性を使用できます。

コンストラクター

ContractPublicPropertyNameAttribute(String)

ContractPublicPropertyNameAttribute クラスの新しいインスタンスを初期化します。

プロパティ

Name	フィールドに適用されるプロパティ名を取得します。
TypeId	派生クラスで実装されると、この Attribute の一意の識別子を取得します。 (継承元 Attribute)

メソッド

Equals(Object)	このインスタンスが、指定されたオブジェクトと等価であるかどうかを示す値を返します。 (継承元 Attribute)
GetHashCode()	このインスタンスのハッシュ コードを返します。 (継承元 Attribute)
GetType()	現在のインスタンスの Type を取得します。 (継承元 Object)
IsDefaultAttribute()	派生クラスでオーバーライドされるとき、このインスタンスの値が派生クラスの既定値であるかどうかを示します。 (継承元 Attribute)
Match(Object)	派生クラス内でオーバーライドされたときに、指定したオブジェクトとこのインスタンスが等しいかどうかを示す値を返します。 (継承元 Attribute)
MemberwiseClone()	現在の Object の簡易コピーを作成します。 (継承元 Object)
ToString()	現在のオブジェクトを表す文字列を返します。 (継承元 Object)