ContractPublicPropertyNameAttribute.cs

Go to the documentation of this file.

namespace System.Diagnostics.Contracts;
 
[Conditional("CONTRACTS_FULL")]
[AttributeUsage(AttributeTargets.Field)]
public sealed class ContractPublicPropertyNameAttribute : Attribute
{
    private readonly string _publicName;
 
    public string Name => _publicName;
 
    public ContractPublicPropertyNameAttribute(string name)
    {
        _publicName = name;
    }
    public ContractPublicPropertyNameAttribute(string name) {…}
}
public sealed class ContractPublicPropertyNameAttribute : Attribute {…};