The members of System.Diagnostics.Contracts.ContractClassForAttribute are listed below.
See Also: Inherited members from System.Attribute
Public Constructors
Initializes a new instance of the System.Diagnostics.Contracts.ContractClassForAttribute class, specifying the type the current class is a contract for. |
Public Properties
| [read-only] | TypeContractsAreFor | Type.
Gets the type that this code contract applies to. |