1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
<?xml version="1.0" encoding="utf-8"?>
<Type Name="ContractClassAttribute" FullName="System.Diagnostics.Contracts.ContractClassAttribute">
<TypeSignature Language="C#" Value="public sealed class ContractClassAttribute : Attribute" />
<TypeSignature Language="ILAsm" Value=".class public auto ansi sealed beforefieldinit ContractClassAttribute 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 | System.AttributeTargets.Interface | System.AttributeTargets.Delegate | System.AttributeTargets.All, Inherited=false)</AttributeName>
</Attribute>
<Attribute>
<AttributeName>System.Diagnostics.Conditional("DEBUG")</AttributeName>
</Attribute>
<Attribute>
<AttributeName>System.Diagnostics.Conditional("CONTRACTS_FULL")</AttributeName>
</Attribute>
</Attributes>
<Docs>
<remarks>
<attribution license="cc4" from="Microsoft" modified="false" />
<para>Types that are marked with this attribute have code contracts that are included in a separate type. The type that contains the contracts is specified in the constructor. </para>
</remarks>
<summary>
<attribution license="cc4" from="Microsoft" modified="false" />
<para>Specifies that a separate type contains the code contracts for this type.</para>
</summary>
</Docs>
<Members>
<Member MemberName=".ctor">
<MemberSignature Language="C#" Value="public ContractClassAttribute (Type typeContainingContracts);" />
<MemberSignature Language="ILAsm" Value=".method public hidebysig specialname rtspecialname instance void .ctor(class System.Type typeContainingContracts) cil managed" />
<MemberType>Constructor</MemberType>
<AssemblyInfo>
<AssemblyVersion>4.0.0.0</AssemblyVersion>
</AssemblyInfo>
<Parameters>
<Parameter Name="typeContainingContracts" Type="System.Type" />
</Parameters>
<Docs>
<remarks />
<summary>
<attribution license="cc4" from="Microsoft" modified="false" />
<para>Initializes a new instance of the <see cref="T:System.Diagnostics.Contracts.ContractClassAttribute" /> class. </para>
</summary>
<param name="typeContainingContracts">
<attribution license="cc4" from="Microsoft" modified="false" />The type that contains the code contracts for this type.</param>
</Docs>
</Member>
<Member MemberName="TypeContainingContracts">
<MemberSignature Language="C#" Value="public Type TypeContainingContracts { get; }" />
<MemberSignature Language="ILAsm" Value=".property instance class System.Type TypeContainingContracts" />
<MemberType>Property</MemberType>
<AssemblyInfo>
<AssemblyVersion>4.0.0.0</AssemblyVersion>
</AssemblyInfo>
<ReturnValue>
<ReturnType>System.Type</ReturnType>
</ReturnValue>
<Docs>
<value>The type that contains the code contract specifications.</value>
<remarks />
<summary>
<attribution license="cc4" from="Microsoft" modified="false" />
<para>Gets the type that contains the code contracts for this type.</para>
</summary>
</Docs>
</Member>
</Members>
</Type>
|
