aboutsummaryrefslogtreecommitdiff
path: root/libjava/classpath/lib/gnu
diff options
context:
space:
mode:
authorIain Sandoe <iain@sandoe.co.uk>2025-08-30 12:14:58 +0100
committerIain Sandoe <iain@sandoe.co.uk>2025-09-02 16:01:33 +0100
commitff9e44ee3189d24127bc754a8563be4615239730 (patch)
treec133f3476ee2bad1995c95242c3dcde89617fc8c /libjava/classpath/lib/gnu
parent2552c73c7cdf9dffc197e6fe59e19181348464b7 (diff)
downloadgcc-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')
0 files changed, 0 insertions, 0 deletions