std::contracts:: evaluation_semantic
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Contract-violation information | ||||
|
(C++26)
|
||||
|
(C++26)
|
||||
|
evaluation_semantic
(C++26)
|
||||
|
(C++26)
|
||||
| Helper functions | ||||
|
Defined in header
<contracts>
|
||
|
enum
class
evaluation_semantic
:
/* unspecified */
{
ignore
=
1
,
|
(since C++26) | |
The enumerators of
std::contracts::evaluation_semantic
correspond to the
evaluation semantics
with which a contract assertion may be evaluated, with meanings listed below:
| Enumerator | Meaning |
ignore
|
the contract assertion is evaluated under “ignore” semantic |
observe
|
the contract assertion is evaluated under “observe” semantic |
enforce
|
the contract assertion is evaluated under “enforce” semantic |
quick_enforce
|
the contract assertion is evaluated under “quick-enforce” semantic |
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 reason that causes the contract violation
(enum) |