System.Diagnostics.Contracts.ContractAbbreviatorAttribute public sealed class ContractAbbreviatorAttribute : Attribute Documentation Code namespace System.Diagnostics.Contracts { public sealed class ContractAbbreviatorAttribute : Attribute { public ContractAbbreviatorAttribute(); } }