Library specification rewrite (Mandates/Constraints)
Rewrites the library clauses' Requires: elements into Mandates:, Constraints:, Preconditions:.
Connected features
No dependency lines — on the map this feature hangs off C++20 by a star edge.
Papers
17 · Rapperswil 2018 → Prague 2020Sets out how the library is specified in a world with concepts and contracts (Constraints:/Mandates:/Expects:).
Rewrites this library clause from 'Requires:' into the Mandates:/Constraints:/Preconditions: elements (part of the C++20 wording rewrite).
Rewrites this library clause from 'Requires:' into the Mandates:/Constraints:/Preconditions: elements (part of the C++20 wording rewrite).
Rewrites this library clause from 'Requires:' into the Mandates:/Constraints:/Preconditions: elements (part of the C++20 wording rewrite).
Rewrites this library clause from 'Requires:' into the Mandates:/Constraints:/Preconditions: elements (part of the C++20 wording rewrite).
Rewrites this library clause from 'Requires:' into the Mandates:/Constraints:/Preconditions: elements (part of the C++20 wording rewrite).
Rewrites this library clause from 'Requires:' into the Mandates:/Constraints:/Preconditions: elements (part of the C++20 wording rewrite).
Rewrites this library clause from 'Requires:' into the Mandates:/Constraints:/Preconditions: elements (part of the C++20 wording rewrite).
Rewrites this library clause from 'Requires:' into the Mandates:/Constraints:/Preconditions: elements (part of the C++20 wording rewrite).
Rewrites this library clause from 'Requires:' into the Mandates:/Constraints:/Preconditions: elements (part of the C++20 wording rewrite).
Rewrites this library clause from 'Requires:' into the Mandates:/Constraints:/Preconditions: elements (part of the C++20 wording rewrite).
Rewrites this library clause from 'Requires:' into the Mandates:/Constraints:/Preconditions: elements (part of the C++20 wording rewrite).
Rewrites this library clause from 'Requires:' into the Mandates:/Constraints:/Preconditions: elements (part of the C++20 wording rewrite).
Rewrites this library clause from 'Requires:' into the Mandates:/Constraints:/Preconditions: elements (part of the C++20 wording rewrite).
Rewrites this library clause from 'Requires:' into the Mandates:/Constraints:/Preconditions: elements (part of the C++20 wording rewrite).
Renames the _default_init functions to _for_overwrite.
Adds missing Mandates: elements to the library.