System.Diagnostics.Contracts.ContractClassAttribute Class

Specifies that a separate type contains the code contracts for this type.

See Also: ContractClassAttribute Members


[System.AttributeUsage(System.AttributeTargets.Class | System.AttributeTargets.Interface | System.AttributeTargets.Delegate | System.AttributeTargets.All, Inherited=false)]
public sealed class ContractClassAttribute : Attribute


Types that are marked with this attribute have code contracts that are included in a separate type. The type that contains the contracts is specified in the constructor.


Namespace: System.Diagnostics.Contracts
Assembly: mscorlib (in mscorlib.dll)
Assembly Versions: