4 #ifndef CPROVER_JAVA_BYTECODE_GENERIC_PARAMETER_SPECIALIZATION_MAP_KEYS_H 5 #define CPROVER_JAVA_BYTECODE_GENERIC_PARAMETER_SPECIALIZATION_MAP_KEYS_H 24 &_generic_parameter_specialization_map)
26 _generic_parameter_specialization_map)
53 const typet &pointer_subtype_struct);
64 const std::vector<java_generic_parametert> ¶meters,
65 const std::vector<reference_typet> &types);
68 #endif // CPROVER_JAVA_BYTECODE_GENERIC_PARAMETER_SPECIALIZATION_MAP_KEYS_H The type of an expression, extends irept.
void insert_pairs(const std::vector< java_generic_parametert > ¶meters, const std::vector< reference_typet > &types)
Add pairs to the controlled map.
pointer_typet pointer_type(const typet &subtype)
A struct tag type, i.e., struct_typet with an identifier.
std::vector< irep_idt > erase_keys
Keys of the entries to pop on destruction.
std::unordered_map< irep_idt, std::vector< reference_typet > > generic_parameter_specialization_mapt
void insert_pairs_for_symbol(const struct_tag_typet &, const typet &symbol_struct)
Add a pair of a parameter and its types for each generic parameter of the given generic symbol type t...
~generic_parameter_specialization_map_keyst()
Removes the top of the stack for each key in erase_keys from the controlled map.
The pointer type These are both 'bitvector_typet' (they have a width) and 'type_with_subtypet' (they ...
void insert_pairs_for_pointer(const pointer_typet &pointer_type, const typet &pointer_subtype_struct)
Add a pair of a parameter and its types for each generic parameter of the given generic pointer type ...
#define PRECONDITION(CONDITION)
generic_parameter_specialization_map_keyst & operator=(const generic_parameter_specialization_map_keyst &)=delete
generic_parameter_specialization_map_keyst(generic_parameter_specialization_mapt &_generic_parameter_specialization_map)
Initialize a generic-parameter-specialization-map entry owner operating on a given map.
Handle selection of correct pointer type (for example changing abstract classes to concrete versions)...
generic_parameter_specialization_mapt & generic_parameter_specialization_map
Generic parameter specialization map to modify.