diff options
author | Iain Sandoe <iain@sandoe.co.uk> | 2025-08-30 12:14:58 +0100 |
---|---|---|
committer | Iain Sandoe <iain@sandoe.co.uk> | 2025-09-02 16:01:33 +0100 |
commit | ff9e44ee3189d24127bc754a8563be4615239730 (patch) | |
tree | c133f3476ee2bad1995c95242c3dcde89617fc8c /libjava/classpath/lib/gnu/xml | |
parent | 2552c73c7cdf9dffc197e6fe59e19181348464b7 (diff) | |
download | gcc-ff9e44ee3189d24127bc754a8563be4615239730.zip gcc-ff9e44ee3189d24127bc754a8563be4615239730.tar.gz gcc-ff9e44ee3189d24127bc754a8563be4615239730.tar.bz2 |
c++, contracts: Simplify contracts headers [NFC].
We have contracts-related declarations and macros split between contracts.h
and cp-tree.h, and then contracts.h is included in the latter, which means
that it is included in all c++ front end files.
This patch:
- moves all the contracts-related material to contracts.h.
- makes some functions that are only used in contracts.cc static.
- tries to group the external API for contracts into related topics.
- includes contracts.h in the front end sources that need it.
gcc/cp/ChangeLog:
* constexpr.cc: Include contracts.h
* coroutines.cc: Likewise.
* cp-gimplify.cc: Likewise.
* decl.cc: Likewise.
* decl2.cc: Likewise.
* mangle.cc: Likewise.
* module.cc: Likewise.
* pt.cc: Likewise.
* search.cc: Likewise.
* semantics.cc: Likewise.
* contracts.cc (validate_contract_role, setup_default_contract_role,
add_contract_role, get_concrete_axiom_semantic,
get_default_contract_role): Make static.
* cp-tree.h (make_postcondition_variable, grok_contract,
finish_contract_condition, find_contract, set_decl_contracts,
get_contract_semantic, set_contract_semantic): Move to contracts.h.
* contracts.h (get_contract_role, add_contract_role,
validate_contract_role, setup_default_contract_role,
lookup_concrete_semantic, get_default_contract_role): Remove.
Signed-off-by: Iain Sandoe <iain@sandoe.co.uk>
Diffstat (limited to 'libjava/classpath/lib/gnu/xml')
0 files changed, 0 insertions, 0 deletions