ContractChecks

Indicates which contracts should be checked or not.

struct ContractChecks {

}

Members

arrayBounds ContractChecking arrayBounds;: Array bound checks.
assert_ ContractChecking assert_;: Assert checks.
invariant_ ContractChecking invariant_;: Invariant checks.
postcondition ContractChecking postcondition;: Postcondition checks (out contract).
precondition ContractChecking precondition;: Precondition checks (in contract).
switchError ContractChecking switchError;: Switch error checks.