#include <generic_parameter_specialization_map_keys.h>
◆ generic_parameter_specialization_map_keyst() [1/2]
Initialize a generic-parameter-specialization-map entry owner operating on a given map.
Initially it does not own any map entry.
- Parameters
-
_generic_parameter_specialization_map | map to operate on. |
Definition at line 22 of file generic_parameter_specialization_map_keys.h.
◆ ~generic_parameter_specialization_map_keyst()
generic_parameter_specialization_map_keyst::~generic_parameter_specialization_map_keyst |
( |
| ) |
|
|
inline |
◆ generic_parameter_specialization_map_keyst() [2/2]
◆ insert_pairs()
Add pairs to the controlled map.
Own the keys and pop from their stack on destruction; otherwise do nothing.
- Parameters
-
parameters | generic parameters that are the keys of the pairs to add |
types | a type to add for each parameter |
Definition at line 42 of file generic_parameter_specialization_map_keys.cpp.
◆ insert_pairs_for_pointer()
void generic_parameter_specialization_map_keyst::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 to the controlled map.
Own the keys and pop from their stack on destruction; otherwise do nothing.
- Parameters
-
pointer_type | pointer type to get the specialized generic types from |
pointer_subtype_struct | struct type to which the generic pointer points, must be generic if the pointer is generic |
Definition at line 93 of file generic_parameter_specialization_map_keys.cpp.
◆ insert_pairs_for_symbol()
void generic_parameter_specialization_map_keyst::insert_pairs_for_symbol |
( |
const struct_tag_typet & |
struct_tag_type, |
|
|
const typet & |
symbol_struct |
|
) |
| |
Add a pair of a parameter and its types for each generic parameter of the given generic symbol type to the controlled map.
This function is used for generic bases (superclass or interfaces) where the reference to it is in the form of a symbol rather than a pointer (as opposed to the function insert_pairs_for_pointer). Own the keys and pop from their stack on destruction; otherwise do nothing.
- Parameters
-
struct_tag_type | symbol type to get the specialized generic types from |
symbol_struct | struct type of the symbol type, must be generic if the symbol is generic |
Definition at line 142 of file generic_parameter_specialization_map_keys.cpp.
◆ operator=()
◆ erase_keys
std::vector<irep_idt> generic_parameter_specialization_map_keyst::erase_keys |
|
private |
◆ generic_parameter_specialization_map
The documentation for this class was generated from the following files: