Definition at line 8 of file ContractClassAttribute.cs.
Referenced by System.Diagnostics.Contracts.ContractClassAttribute.ContractClassAttribute().