generic_parameter_specialization_map_keys.h

Go to the documentation of this file.

 
#ifndef CPROVER_JAVA_BYTECODE_GENERIC_PARAMETER_SPECIALIZATION_MAP_KEYS_H
#define CPROVER_JAVA_BYTECODE_GENERIC_PARAMETER_SPECIALIZATION_MAP_KEYS_H
 
#include "generic_parameter_specialization_map.h"
 
class generic_parameter_specialization_map_keyst
{
private:
  generic_parameter_specialization_mapt &generic_parameter_specialization_map;
  optionalt<std::size_t> container_id;
 
public:
  explicit generic_parameter_specialization_map_keyst(
    generic_parameter_specialization_mapt &generic_parameter_specialization_map)
    : generic_parameter_specialization_map(generic_parameter_specialization_map)
  {
  }
 
  ~generic_parameter_specialization_map_keyst()
  {
    if(container_id)
      generic_parameter_specialization_map.pop(*container_id);
  }
 
  // Objects of these class cannot be copied in any way - delete the copy
  // constructor and copy assignment operator
  generic_parameter_specialization_map_keyst(
    const generic_parameter_specialization_map_keyst &) = delete;
  generic_parameter_specialization_map_keyst &
  operator=(const generic_parameter_specialization_map_keyst &) = delete;
 
  void insert(
    const pointer_typet &pointer_type,
    const typet &pointer_subtype_struct);
 
  void insert(const struct_tag_typet &, const typet &symbol_struct);
};
 
#endif // CPROVER_JAVA_BYTECODE_GENERIC_PARAMETER_SPECIALIZATION_MAP_KEYS_H