type.hpp

Go to the documentation of this file.

/*
 * Copyright 2010 2011 2012 Helge Bahmann <hcb@chaoticmind.net>
 * Copyright 2011 2012 2013 2014 2015 Nico Reißmann <nico.reissmann@gmail.com>
 * See COPYING for terms of redistribution.
 */
 
#ifndef JLM_RVSDG_TYPE_HPP
#define JLM_RVSDG_TYPE_HPP
 
#include <memory>
#include <string>
 
namespace jlm::rvsdg
{
 
enum class TypeKind
{
  Value,
  State
};
 
class Type
{
public:
  virtual ~Type() noexcept;
 
protected:
  inline constexpr Type() noexcept
  {}
 
public:
  virtual bool
  operator==(const jlm::rvsdg::Type & other) const noexcept = 0;
 
  inline bool
  operator!=(const jlm::rvsdg::Type & other) const noexcept
  {
    return !(*this == other);
  }
 
  [[nodiscard]] virtual std::string
  debug_string() const = 0;
 
  [[nodiscard]] virtual std::size_t
  ComputeHash() const noexcept = 0;
 
  virtual TypeKind
  Kind() const noexcept = 0;
};
 
template<class T>
static inline bool
is(const jlm::rvsdg::Type & type) noexcept
{
  static_assert(
      std::is_base_of<jlm::rvsdg::Type, T>::value,
      "Template parameter T must be derived from jlm::rvsdg::Type.");
 
  return dynamic_cast<const T *>(&type) != nullptr;
}
 
template<class T>
static inline bool
is(const std::shared_ptr<const jlm::rvsdg::Type> & type) noexcept
{
  static_assert(
      std::is_base_of<jlm::rvsdg::Type, T>::value,
      "Template parameter T must be derived from jlm::rvsdg::Type.");
 
  return dynamic_cast<const T *>(type.get()) != nullptr;
}
 
}
 
#endif