ContractClassForAttribute Class (System.Diagnostics.Contracts)

ContractClassForAttribute Class
This page is specific to:.NET Framework Version:4.0

.NET Framework Class Library

ContractClassForAttribute Class

[This documentation is for preview only, and is subject to change in later releases. Blank topics are included as placeholders.]

Specifies that a class is a contract for a type.

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

Syntax

C++

JScript

Copy to Clipboard Print

'Usage

Dim instance As ContractClassForAttribute

'Declaration

<AttributeUsageAttribute(AttributeTargets.Class, AllowMultiple := False, Inherited := False)> _
<ConditionalAttribute("CONTRACTS_FULL")> _
Public NotInheritable Class ContractClassForAttribute _
    Inherits 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.

Examples

The following example shows how to use the ContractClassForAttribute attribute to specify the contracts for another type. This code example is part of a larger example provided for the ContractClassAttribute class.

Inheritance Hierarchy

System..::.Object
System..::.Attribute
System.Diagnostics.Contracts..::.ContractClassForAttribute

Thread Safety

Any public static (Shared in Visual Basic) members of this type are thread safe. Any instance members are not guaranteed to be thread safe.

Platforms

Windows 7, Windows Vista, Windows XP SP2, Windows Server 2008, Windows Server 2003

The .NET Framework and .NET Compact Framework do not support all versions of every platform. For a list of the supported versions, see .NET Framework System Requirements.

Version Information

.NET Framework

Supported in: 4

.NET Framework Client Profile

Supported in: 4

Reference

ContractClassForAttribute Members

System.Diagnostics.Contracts Namespace

ContractClassAttribute