namespace System.Diagnostics.Contracts { public sealed class ContractOptionAttribute : Attribute { public string Category { get; } public bool Enabled { get; } public string Setting { get; } public string Value { get; } public ContractOptionAttribute(string category, string setting, bool enabled); public ContractOptionAttribute(string category, string setting, string value); } }