Namespaces
Variants
Views
Actions

Contract support (C++26)

From cppreference.com
< cpp
 
 
Utilities library
General utilities
Relational operators (deprecated in C++20)
 
Contract support
Contract-violation information
Helper functions
 

The contract support library defines several types for reporting information about contract violations.

[edit] Contract-violation information

Defined in header <contracts>
Defined in namespace std::contracts
the type holding the contract-violation information
(class) [edit]
the kind of the contract assertion violated
(enum) [edit]
the evaluation semantic when the contract violation occurs
(enum)