The members of System.Diagnostics.Contracts.ContractVerificationAttribute are listed below.

See Also: Inherited members from System.Attribute

• Constructors
• Properties

Public Constructors

ContractVerificationAttribute(bool)

Initializes a new instance of the System.Diagnostics.Contracts.ContractVerificationAttribute class.

Public Properties

[read-only]

Value

bool. Gets the value that indicates whether to verify the contract of the target.