[basic.contract.general] (original) (raw)

6 Basics [basic]

6.10 Contract assertions [basic.contract]

6.10.1 General [basic.contract.general]

Contract assertionsallow the programmer to specify properties of the state of the program that are expected to hold at certain points during execution.

Each contract assertion has a contract-assertion predicate, which is an expression of type bool.

[Note 1:

The value of the predicate is used to identify program states that are expected.

— _end note_]

An invocation of the macro va_start ([cstdarg.syn]) shall not be a subexpression of the predicate of a contract assertion, no diagnostic required.