This documentation is archived and is not being maintained.

ContractClassAttribute Properties

The ContractClassAttribute type exposes the following members.

  NameDescription
Public property TypeContainingContracts Gets the type that contains the code contracts for this type.
Public property TypeId When implemented in a derived class, gets a unique identifier for this Attribute. (Inherited from Attribute.)
Top
Show: