ContractChecks

Indicates which contracts should be checked or not.

Members

Variables

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.

Meta