The constructors of System.Diagnostics.Contracts.ContractOptionAttribute are listed below. For a list of all members, see the ContractOptionAttribute Members list.
See Also: Inherited members from System.Attribute
![]() Initializes a new instance of the System.Diagnostics.Contracts.ContractOptionAttribute class by using the provided category, setting, and enable/disable value. | ||
![]() Initializes a new instance of the System.Diagnostics.Contracts.ContractOptionAttribute class by using the provided category, setting, and value. |