<Type Name="ContractClassForAttribute" FullName="System.Diagnostics.Contracts.ContractClassForAttribute">
  <TypeSignature Language="C#" Value="public sealed class ContractClassForAttribute : Attribute" />
  <TypeSignature Language="ILAsm" Value=".class public auto ansi sealed beforefieldinit ContractClassForAttribute extends System.Attribute" />
  <AssemblyInfo>
    <AssemblyName>mscorlib</AssemblyName>
    <AssemblyVersion>4.0.0.0</AssemblyVersion>
  </AssemblyInfo>
  <Base>
    <BaseTypeName>System.Attribute</BaseTypeName>
  </Base>
  <Interfaces />
  <Attributes>
    <Attribute>
      <AttributeName>System.AttributeUsage(System.AttributeTargets.Class, Inherited=false)</AttributeName>
    </Attribute>
    <Attribute>
      <AttributeName>System.Diagnostics.Conditional("CONTRACTS_FULL")</AttributeName>
    </Attribute>
  </Attributes>
  <Docs>
    <summary>Marks a class as containing contracts for the type specified.</summary>
    <remarks>Interfaces and abstract methods cannot have their contracts written directly in the code. The <see cref="T:System.Diagnostics.Contracts.ContractClassAttribute" /> and <see cref="T:System.Diagnostics.Contracts.ContractClassForAttribute" /> may be used to specify another class that contains the contracts for an interface or abstract class.</remarks>
  </Docs>
  <Members>
    <Member MemberName=".ctor">
      <MemberSignature Language="C#" Value="public ContractClassForAttribute (Type typeContractsAreFor);" />
      <MemberSignature Language="ILAsm" Value=".method public hidebysig specialname rtspecialname instance void .ctor(class System.Type typeContractsAreFor) cil managed" />
      <MemberType>Constructor</MemberType>
      <AssemblyInfo>
        <AssemblyVersion>4.0.0.0</AssemblyVersion>
      </AssemblyInfo>
      <Parameters>
        <Parameter Name="typeContractsAreFor" Type="System.Type" />
      </Parameters>
      <Docs>
        <param name="typeContractsAreFor">The type (interface or abstract class) for which these are the code contract specifications.</param>
        <summary>Constructs a ContractClassForAttribute, specifying the type (interface or abstract class) for which these are the code contract specifications.</summary>
        <remarks />
      </Docs>
    </Member>
    <Member MemberName="TypeContractsAreFor">
      <MemberSignature Language="C#" Value="public Type TypeContractsAreFor { get; }" />
      <MemberSignature Language="ILAsm" Value=".property instance class System.Type TypeContractsAreFor" />
      <MemberType>Property</MemberType>
      <AssemblyInfo>
        <AssemblyVersion>4.0.0.0</AssemblyVersion>
      </AssemblyInfo>
      <ReturnValue>
        <ReturnType>System.Type</ReturnType>
      </ReturnValue>
      <Docs>
        <summary>Get the type for which these are the code contract specifications.</summary>
        <value>The type for which these are the code contract specifications.</value>
        <remarks />
      </Docs>
    </Member>
  </Members>
</Type>
