<Type Name="ContractFailureKind" FullName="System.Diagnostics.Contracts.ContractFailureKind">
  <TypeSignature Language="C#" Value="public enum ContractFailureKind" />
  <AssemblyInfo>
    <AssemblyName>mscorlib</AssemblyName>
    <AssemblyVersion>4.0.0.0</AssemblyVersion>
  </AssemblyInfo>
  <Base>
    <BaseTypeName>System.Enum</BaseTypeName>
  </Base>
  <Docs>
    <summary>The different kinds of code contract that can fail.</summary>
    <remarks />
  </Docs>
  <Members>
    <Member MemberName="Assert">
      <MemberSignature Language="C#" Value="Assert" />
      <MemberType>Field</MemberType>
      <AssemblyInfo>
        <AssemblyVersion>4.0.0.0</AssemblyVersion>
      </AssemblyInfo>
      <ReturnValue>
        <ReturnType>System.Diagnostics.Contracts.ContractFailureKind</ReturnType>
      </ReturnValue>
      <Docs>
        <summary>An Assert contract.</summary>
      </Docs>
    </Member>
    <Member MemberName="Assume">
      <MemberSignature Language="C#" Value="Assume" />
      <MemberType>Field</MemberType>
      <AssemblyInfo>
        <AssemblyVersion>4.0.0.0</AssemblyVersion>
      </AssemblyInfo>
      <ReturnValue>
        <ReturnType>System.Diagnostics.Contracts.ContractFailureKind</ReturnType>
      </ReturnValue>
      <Docs>
        <summary>An Assume contract.</summary>
      </Docs>
    </Member>
    <Member MemberName="Invariant">
      <MemberSignature Language="C#" Value="Invariant" />
      <MemberType>Field</MemberType>
      <AssemblyInfo>
        <AssemblyVersion>4.0.0.0</AssemblyVersion>
      </AssemblyInfo>
      <ReturnValue>
        <ReturnType>System.Diagnostics.Contracts.ContractFailureKind</ReturnType>
      </ReturnValue>
      <Docs>
        <summary>A type-level Invariant contract.</summary>
      </Docs>
    </Member>
    <Member MemberName="Postcondition">
      <MemberSignature Language="C#" Value="Postcondition" />
      <MemberType>Field</MemberType>
      <AssemblyInfo>
        <AssemblyVersion>4.0.0.0</AssemblyVersion>
      </AssemblyInfo>
      <ReturnValue>
        <ReturnType>System.Diagnostics.Contracts.ContractFailureKind</ReturnType>
      </ReturnValue>
      <Docs>
        <summary>A Post-Condition contract.</summary>
      </Docs>
    </Member>
    <Member MemberName="PostconditionOnException">
      <MemberSignature Language="C#" Value="PostconditionOnException" />
      <MemberType>Field</MemberType>
      <AssemblyInfo>
        <AssemblyVersion>4.0.0.0</AssemblyVersion>
      </AssemblyInfo>
      <ReturnValue>
        <ReturnType>System.Diagnostics.Contracts.ContractFailureKind</ReturnType>
      </ReturnValue>
      <Docs>
        <summary>A Post-Condition contract, that is only active when an exception is thrown to be handled outside the current method.</summary>
      </Docs>
    </Member>
    <Member MemberName="Precondition">
      <MemberSignature Language="C#" Value="Precondition" />
      <MemberType>Field</MemberType>
      <AssemblyInfo>
        <AssemblyVersion>4.0.0.0</AssemblyVersion>
      </AssemblyInfo>
      <ReturnValue>
        <ReturnType>System.Diagnostics.Contracts.ContractFailureKind</ReturnType>
      </ReturnValue>
      <Docs>
        <summary>A Pre-Condition contract.</summary>
      </Docs>
    </Member>
  </Members>
</Type>
