System.Diagnostics.Contracts.ContractClassForAttribute Class

Specifies that a class is a contract for a type.

See Also: ContractClassForAttribute Members

Syntax

[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