Namespaces
Variants
Views
Actions

std::contracts::evaluation_semantic

From cppreference.com
< cpp‎ | contract
 
C++
 
Utilities library
General utilities
Relational operators (deprecated in C++20)
 
Contract support
Contract-violation information
(C++26)
(C++26)
evaluation_semantic
(C++26)
(C++26)
Helper functions
(C++26)
 
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

[edit] See also

(C++26)
 the type holding the contract-violation information
(class) [edit]
(C++26)
 the kind of the contract assertion violated
(enum) [edit]
(C++26)
 the reason that causes the contract violation
(enum) [edit]
Retrieved from "https://en.cppreference.com/mwiki/index.php?title=cpp/contract/evaluation_semantic&oldid=182034"