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