System.Diagnostics.Contracts.ContractAbbreviatorAttribute public sealed class ContractAbbreviatorAttribute : Attribute Documentation public ContractAbbreviatorAttribute()