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