The properties of System.Diagnostics.Contracts.ContractClassForAttribute are listed below. For a list of all members, see the ContractClassForAttribute Members list.

See Also: Inherited members from System.Attribute

Public Properties

[read-only]

TypeContractsAreFor

Type. Gets the type that this code contract applies to.