MetalamaAPI documentationPatterns APIMetalama.​Patterns.​ContractsContract­OptionsAre­Preconditions­Enabled
Open sandboxFocus

ContractOptions.ArePreconditionsEnabled Property

ArePreconditionsEnabled

Gets or sets a value indicating whether precondition contracts are being enforced. This option is true by default.

Declaration
public Nullable<bool> ArePreconditionsEnabled { get; set; }
Property Value
Type Description
Nullable<Boolean>