exception_specification.h

Go to the documentation of this file.

#ifndef UTIL_EXCEPTION_SPECIFICATION_H
#define UTIL_EXCEPTION_SPECIFICATION_H
 
#include <util/irep/irep.h>
#include <vector>
 
class typet;

class exception_specificationt
{
public:
  enum class kindt
  {
    potentially_throwing,
    non_throwing,
    dynamic
  };
 
  exception_specificationt() : kind(kindt::potentially_throwing)
  {
  }
 
  kindt kind;
  std::vector<irep_idt> allowed_types;

  bool is_restrictive() const
  {
    return kind != kindt::potentially_throwing;
  }

  static exception_specificationt from_type(const typet &type);

  static const char *kind_attribute()
  {
    return "exception_spec_kind";
  }
  static const char *types_attribute()
  {
    return "exception_spec_types";
  }
};
 
#endif /* UTIL_EXCEPTION_SPECIFICATION_H */