The constructors 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 Constructors
Initializes a new instance of the System.Diagnostics.Contracts.ContractClassForAttribute class, specifying the type the current class is a contract for. |