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

See Also: Inherited members from System.Attribute

• Constructors
• Properties

Public Constructors

ContractClassAttribute(Type)

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

Public Properties

[read-only]

TypeContainingContracts

Type. Gets the type that contains the code contracts for this type.