std::contracts:: assertion_kind
From cppreference.net
C++
Utilities library
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Contract support
| Contract-violation information | ||||
|
(C++26)
|
||||
|
assertion_kind
(C++26)
|
||||
|
(C++26)
|
||||
|
(C++26)
|
||||
| Helper functions | ||||
|
Definiert im Header
<contracts>
|
||
|
enum
class
assertion_kind
:
/* unspecified */
{
pre
=
1
,
|
(seit C++26) | |
Die Enumeratoren von
std::contracts::assertion_kind
entsprechen den syntaktischen Formen einer
Vertragsassertion
, mit den unten aufgeführten Bedeutungen:
| Enumerator | Bedeutung |
pre
|
die Vertragsassertion ist eine Precondition-Assertion |
post
|
die Vertragsassertion ist eine Postcondition-Assertion |
assert
|
die Vertragsassertion ist eine contract_assert Anweisung |
Siehe auch
|
(C++26)
|
der Typ, der die Vertragsverletzungsinformationen enthält
(Klasse) |
|
(C++26)
|
die Auswertungssemantik bei Auftreten einer Vertragsverletzung
(Enumeration) |
|
(C++26)
|
der Grund, der die Vertragsverletzung verursacht
(Enumeration) |