std::contracts:: evaluation_semantic
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Contract-violation information | ||||
|
(C++26)
|
||||
|
(C++26)
|
||||
|
evaluation_semantic
(C++26)
|
||||
|
(C++26)
|
||||
| Helper functions | ||||
|
Definiert im Header
<contracts>
|
||
|
enum
class
evaluation_semantic
:
/* unspecified */
{
ignore
=
1
,
|
(seit C++26) | |
Die Enumeratoren von
std::contracts::evaluation_semantic
entsprechen den
Auswertungssemantiken
mit denen eine Vertragsassertion ausgewertet werden kann, mit den unten aufgeführten Bedeutungen:
| Enumerator | Bedeutung |
ignore
|
Die Vertragsassertion wird unter "Ignore"-Semantik ausgewertet |
observe
|
Die Vertragsassertion wird unter "Observe"-Semantik ausgewertet |
enforce
|
Die Vertragsassertion wird unter "Enforce"-Semantik ausgewertet |
quick_enforce
|
Die Vertragsassertion wird unter "Quick-Enforce"-Semantik 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) |