std::contracts::evaluation_semantic
Von de.cppreference.net
| Definiert in Header <contracts>
|
||
enum class evaluation_semantic : /* unspecified */ {
ignore = 1,
observe = 2,
enforce = 3,
quick_enforce = 4
};
|
(seit C++26) | |
Die Enumeratoren von std::contracts::evaluation_semantic entsprechen der Auswertungssemantik, mit der eine Vertragsbehauptung ausgewertet werden kann, mit den folgenden Bedeutungen:
| Enumerator | Bedeutung |
ignore
|
die Vertragsbehauptung wird unter der Semantik „ignore“ ausgewertet |
observe
|
die Vertragsbehauptung wird unter der Semantik „observe“ ausgewertet |
enforce
|
die Vertragsbehauptung wird unter der Semantik „enforce“ ausgewertet |
quick_enforce
|
die Vertragsbehauptung wird unter der Semantik „quick-enforce“ ausgewertet |
Siehe auch
|
(C++26)
|
der Typ, der die Vertragsverletzungsinformationen enthält
(Klasse) |
|
(C++26)
|
die Art der verletzten Vertragsassertion
(Enumeration) |
|
(C++26)
|
der Grund, der die Vertragsverletzung verursacht
(Enumeration) |