[System.AttributeUsage(System.AttributeTargets.Class, Inherited=false)] [System.Diagnostics.Conditional("CONTRACTS_FULL")] public sealed class ContractClassForAttribute : Attribute
Remarks
Types that are marked with this attribute represent a code contract for another type. The type that the contract applies to is specified in the constructor.
Requirements
Namespace: System.Diagnostics.Contracts Assembly: mscorlib (in mscorlib.dll) Assembly Versions: 4.0.0.0