<Type Name="PureAttribute" FullName="System.Diagnostics.Contracts.PureAttribute">
  <TypeSignature Language="C#" Value="public sealed class PureAttribute : 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 | System.AttributeTargets.Constructor | System.AttributeTargets.Method | System.AttributeTargets.Property | System.AttributeTargets.Event | System.AttributeTargets.Parameter | System.AttributeTargets.Delegate | System.AttributeTargets.All)</AttributeName>
    </Attribute>
    <Attribute>
      <AttributeName>System.Diagnostics.Conditional("CONTRACTS_FULL")</AttributeName>
    </Attribute>
  </Attributes>
  <Docs>
    <summary>Marks a method or type to indicate that it has no side effects.</summary>
    <remarks><para>
Only methods marked Pure may be used within code contract definitions. This is to ensure that checking a contract causes no side-effects.
</para>
<para>
Methods within the System.Diagnostics.Contracts namespace are always considered to be pure. Some delegates are always considered to be pure, such as <see cref="T:System.Predicate&lt;T&gt;" /> and <see cref="T:System.Comparison&lt;T&gt;" />.
</para></remarks>
  </Docs>
  <Members>
    <Member MemberName=".ctor">
      <MemberSignature Language="C#" Value="public PureAttribute ();" />
      <MemberType>Constructor</MemberType>
      <AssemblyInfo>
        <AssemblyVersion>4.0.0.0</AssemblyVersion>
      </AssemblyInfo>
      <Parameters />
      <Docs>
        <summary>Construct a PureAttribute.</summary>
        <remarks />
      </Docs>
    </Member>
  </Members>
</Type>
