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