std::contracts::evaluation_semantic
Defined in header <contracts> | ||
|---|---|---|
enum class evaluation_semantic : /* unspecified */ {
ignore = 1,
observe = 2,
enforce = 3,
quick_enforce = 4
};
| (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) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/contract/evaluation_semantic
