Instructs analysis tools to assume the correctness of an assembly, type, or member without performing static verification.
See Also: ContractVerificationAttribute Members
Syntax
[System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Struct | System.AttributeTargets.Constructor | System.AttributeTargets.Method | System.AttributeTargets.Property | System.AttributeTargets.All)]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class ContractVerificationAttribute : Attribute
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class ContractVerificationAttribute : Attribute
Remarks
Use ContractVerification(false) to explicitly mark an assembly, type, or member as not requiring verification. The most specific element found (member, type, and then assembly) takes precedence. Applying this attribute to a property, type, or assembly has the following effects:
When you apply it to a property, it applies to both the get accessor and the set accessor.
When you apply it to a type, it applies to all members of the type, including nested types.
When you apply it to an assembly, it applies to all types and members of the assembly.
Requirements
Namespace: System.Diagnostics.Contracts
Assembly: mscorlib (in mscorlib.dll)
Assembly Versions: 4.0.0.0
Assembly: mscorlib (in mscorlib.dll)
Assembly Versions: 4.0.0.0