System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute public sealed class ContractPublicPropertyNameAttribute : Attribute Documentation Code public string Name { get; } public ContractPublicPropertyNameAttribute(string name)