ContractPublicPropertyNameAttribute Classe

Definizione

Spazio dei nomi:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

Source:

Contracts.cs

Specifica che un campo può essere usato nei contratti del metodo quando il campo presenta una visibilità inferiore rispetto al metodo.

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

Ereditarietà

Object

Attribute

ContractPublicPropertyNameAttribute

Attributi

AttributeUsageAttribute ConditionalAttribute

Commenti

Quando si applica l'attributo ContractPublicPropertyNameAttribute a un campo, tale campo può essere usato nei contratti di codice per un metodo quando il campo ha una visibilità inferiore rispetto al metodo . Deve essere presente una proprietà visibile equivalente al valore del campo. Ad esempio, è possibile usare questo attributo se il metodo è pubblico, ma il campo è privato.

Costruttori

ContractPublicPropertyNameAttribute(String)

Inizializza una nuova istanza della classe ContractPublicPropertyNameAttribute.

Proprietà

Name	Ottiene il nome della proprietà da applicare al campo.
TypeId	Quando è implementata in una classe derivata, ottiene un identificatore univoco della classe Attribute. (Ereditato da Attribute)

Metodi

Equals(Object)	Restituisce un valore che indica se questa istanza è uguale a un oggetto specificato. (Ereditato da Attribute)
GetHashCode()	Restituisce il codice hash per l'istanza. (Ereditato da Attribute)
GetType()	Ottiene l'oggetto Type dell'istanza corrente. (Ereditato da Object)
IsDefaultAttribute()	In caso di override in una classe derivata, indica se il valore di questa istanza è il valore predefinito per la classe derivata. (Ereditato da Attribute)
Match(Object)	Quando è sottoposto a override in una classe derivata, restituisce un valore che indica se questa istanza equivale a un oggetto specificato. (Ereditato da Attribute)
MemberwiseClone()	Crea una copia superficiale dell'oggetto Object corrente. (Ereditato da Object)
ToString()	Restituisce una stringa che rappresenta l'oggetto corrente. (Ereditato da Object)