exception_typeid.h

Go to the documentation of this file.

#pragma once
 
#include <util/irep/irep.h>
#include <cstddef>
#include <map>
#include <set>
#include <vector>
 
class namespacet;

class exception_typeidt
{
public:
  exception_typeidt() = default;

  explicit exception_typeidt(const namespacet &ns);

  static constexpr unsigned no_type = 0;

  void register_chain(const std::vector<irep_idt> &chain);

  unsigned id_of(const irep_idt &name);

  bool is_registered(const irep_idt &name) const
  {
    // `void_ptr` is the universal pointer catch — always matchable (it catches
    // any thrown pointer), even when no throw names it explicitly.
    return name == "void_ptr" || name_to_id.find(name) != name_to_id.end();
  }

  bool is_subtype(const irep_idt &thrown, const irep_idt &caught) const;

  std::set<unsigned> concrete_subtype_ids(const irep_idt &caught) const;

  std::vector<std::pair<irep_idt, unsigned>>
  concrete_subtypes(const irep_idt &caught) const;

  std::size_t size() const
  {
    return registered_count;
  }
 
private:
  // name <-> id mapping. Ids are assigned in register_chain call order, which
  // is deterministic for a given program (throws are visited in function-map
  // then instruction order).
  std::map<irep_idt, unsigned> name_to_id;
 
  // Flattened transitive bases per registered type, from throw lists.
  std::map<irep_idt, std::vector<irep_idt>> direct_bases;
 
  std::size_t registered_count = 0;
  unsigned next_id = no_type + 1;
};