cprover
generic_parameter_specialization_map_keys.h
Go to the documentation of this file.
1 
3 #ifndef CPROVER_JAVA_BYTECODE_GENERIC_PARAMETER_SPECIALIZATION_MAP_KEYS_H
4 #define CPROVER_JAVA_BYTECODE_GENERIC_PARAMETER_SPECIALIZATION_MAP_KEYS_H
5 
6 #include "select_pointer_type.h"
7 #include "java_types.h"
8 
16 {
17 private:
22 
23 public:
30  {
31  }
32 
36  {
37  if(container_id)
39  }
40 
41  // Objects of these class cannot be copied in any way - delete the copy
42  // constructor and copy assignment operator
47 
48  void insert(
50  const typet &pointer_subtype_struct);
51 
52  void insert(const struct_tag_typet &, const typet &symbol_struct);
53 };
54 
55 #endif // CPROVER_JAVA_BYTECODE_GENERIC_PARAMETER_SPECIALIZATION_MAP_KEYS_H
generic_parameter_specialization_map_keyst::insert
void insert(const pointer_typet &pointer_type, const typet &pointer_subtype_struct)
Author: Diffblue Ltd.
Definition: generic_parameter_specialization_map_keys.cpp:13
select_pointer_type.h
Handle selection of correct pointer type (for example changing abstract classes to concrete versions)...
typet
The type of an expression, extends irept.
Definition: type.h:29
struct_tag_typet
A struct tag type, i.e., struct_typet with an identifier.
Definition: std_types.h:490
generic_parameter_specialization_mapt
Author: Diffblue Ltd.
Definition: generic_parameter_specialization_map.h:24
generic_parameter_specialization_map_keyst::~generic_parameter_specialization_map_keyst
~generic_parameter_specialization_map_keyst()
Removes the top of the stack for each key in erase_keys from the controlled map.
Definition: generic_parameter_specialization_map_keys.h:35
generic_parameter_specialization_map_keyst
Definition: generic_parameter_specialization_map_keys.h:16
generic_parameter_specialization_map_keyst::generic_parameter_specialization_map_keyst
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.
Definition: generic_parameter_specialization_map_keys.h:27
generic_parameter_specialization_map_keyst::operator=
generic_parameter_specialization_map_keyst & operator=(const generic_parameter_specialization_map_keyst &)=delete
pointer_type
pointer_typet pointer_type(const typet &subtype)
Definition: c_types.cpp:243
generic_parameter_specialization_map_keyst::generic_parameter_specialization_map
generic_parameter_specialization_mapt & generic_parameter_specialization_map
Generic parameter specialization map to modify.
Definition: generic_parameter_specialization_map_keys.h:19
optionalt
nonstd::optional< T > optionalt
Definition: optional.h:35
generic_parameter_specialization_map_keyst::generic_parameter_specialization_map_keyst
generic_parameter_specialization_map_keyst(const generic_parameter_specialization_map_keyst &)=delete
java_types.h
pointer_typet
The pointer type These are both 'bitvector_typet' (they have a width) and 'type_with_subtypet' (they ...
Definition: std_types.h:1488
generic_parameter_specialization_map_keyst::container_id
optionalt< std::size_t > container_id
Key of the container to pop on destruction.
Definition: generic_parameter_specialization_map_keys.h:21
generic_parameter_specialization_mapt::pop
void pop(std::size_t container_index)
Pop the top of the specialization stack for a given container.
Definition: generic_parameter_specialization_map.cpp:49