System.Diagnostics.Contracts.ContractOptionAttribute Members

The members of System.Diagnostics.Contracts.ContractOptionAttribute are listed below.

See Also: Inherited members from System.Attribute

Public Constructors

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.

Public Properties

[read-only]
Categorystring.

Gets the category of the option.

[read-only]
Enabledbool.

Determines if an option is enabled.

[read-only]
Settingstring.

Gets the setting for the option.

[read-only]
Valuestring.

Gets the value for the option.