std::contracts:: detection_mode
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Contract-violation information | ||||
|
(C++26)
|
||||
|
(C++26)
|
||||
|
(C++26)
|
||||
|
detection_mode
(C++26)
|
||||
| Helper functions | ||||
|
Defined in header
<contracts>
|
||
|
enum
class
detection_mode
:
/* unspecified */
{
predicate_false
=
1
,
|
(since C++26) | |
The enumerators of
std::contracts::detection_mode
correspond to the reasons that cause the contract violation to happen under a context that is not
manifestly constant-evaluated
, with meanings listed below:
| Enumerator | Meaning |
predicate_false
|
the contract violation occurs because the result of the predicate is false |
evaluation_exception
|
the contract violation occurs because the evaluation of the predicate exits via an exception |
Notes
If a contract violation occurs in a context that is manifestly constant-evaluated, the contract-violation handler is not invoked.
See also
|
(C++26)
|
the type holding the contract-violation information
(class) |
|
(C++26)
|
the kind of the contract assertion violated
(enum) |
|
(C++26)
|
the evaluation semantic when the contract violation occurs
(enum) |