mcs/class/corlib/Documentation/en/System.Diagnostics.Contracts/ContractInvariantMethodAttribute.xml

   1 <Type Name="ContractInvariantMethodAttribute" FullName="System.Diagnostics.Contracts.ContractInvariantMethodAttribute">
   2   <TypeSignature Language="C#" Value="public sealed class ContractInvariantMethodAttribute : Attribute" />
   3   <AssemblyInfo>
   4     <AssemblyName>mscorlib</AssemblyName>
   5     <AssemblyVersion>4.0.0.0</AssemblyVersion>
   6   </AssemblyInfo>
   7   <Base>
   8     <BaseTypeName>System.Attribute</BaseTypeName>
   9   </Base>
  10   <Interfaces />
  11   <Attributes>
  12     <Attribute>
  13       <AttributeName>System.AttributeUsage(System.AttributeTargets.Method, Inherited=false)</AttributeName>
  14     </Attribute>
  15     <Attribute>
  16       <AttributeName>System.Diagnostics.Conditional("CONTRACTS_FULL")</AttributeName>
  17     </Attribute>
  18   </Attributes>
  19   <Docs>
  20     <summary>Specifies that this method contains Contract invariant conditions for this class.</summary>
  21     <remarks>There may be multiple methods with this attribute in one class, their effect is accumulated. The method must take no parameters and return void, and may be any visibility.</remarks>
  22   </Docs>
  23   <Members>
  24     <Member MemberName=".ctor">
  25       <MemberSignature Language="C#" Value="public ContractInvariantMethodAttribute ();" />
  26       <MemberType>Constructor</MemberType>
  27       <AssemblyInfo>
  28         <AssemblyVersion>4.0.0.0</AssemblyVersion>
  29       </AssemblyInfo>
  30       <Parameters />
  31       <Docs>
  32         <summary>Construct a ContractInvariantMethodAttribute.</summary>
  33         <remarks />
  34       </Docs>
  35     </Member>
  36   </Members>
  37 </Type>