autogen.h

Go to the documentation of this file.

#pragma once
 
#include <thorin/axiom.h>
#include <thorin/plugin.h>
 
/// @namespace thorin::plug::refly @ref refly 
namespace thorin {
namespace plug::refly {
 
static constexpr plugin_t Plugin_Id = 0x4c61cd6800000000;
 
/// @name %%refly.Code
///@{
#ifdef DOXYGEN // see https://github.com/doxygen/doxygen/issues/9668
enum Code : flags_t {
#else
enum class Code : flags_t {
#endif
};
 
///@}
 
/// @name %%refly.reify
///@{
#ifdef DOXYGEN // see https://github.com/doxygen/doxygen/issues/9668
enum reify : flags_t {
#else
enum class reify : flags_t {
#endif
};
 
Ref normalize_reify(Ref, Ref, Ref);
///@}
 
/// @name %%refly.reflect
///@{
#ifdef DOXYGEN // see https://github.com/doxygen/doxygen/issues/9668
enum reflect : flags_t {
#else
enum class reflect : flags_t {
#endif
};
 
Ref normalize_reflect(Ref, Ref, Ref);
///@}
 
/// @name %%refly.gid
///@{
#ifdef DOXYGEN // see https://github.com/doxygen/doxygen/issues/9668
enum gid : flags_t {
#else
enum class gid : flags_t {
#endif
};
 
Ref normalize_gid(Ref, Ref, Ref);
///@}
 
/// @name %%refly.error
///@{
#ifdef DOXYGEN // see https://github.com/doxygen/doxygen/issues/9668
enum error : flags_t {
#else
enum class error : flags_t {
#endif
};
 
///@}
 
/// @name %%refly.warn
///@{
#ifdef DOXYGEN // see https://github.com/doxygen/doxygen/issues/9668
enum warn : flags_t {
#else
enum class warn : flags_t {
#endif
};
 
///@}
 
/// @name %%refly.info
///@{
#ifdef DOXYGEN // see https://github.com/doxygen/doxygen/issues/9668
enum info : flags_t {
#else
enum class info : flags_t {
#endif
};
 
///@}
 
/// @name %%refly.verbose
///@{
#ifdef DOXYGEN // see https://github.com/doxygen/doxygen/issues/9668
enum verbose : flags_t {
#else
enum class verbose : flags_t {
#endif
};
 
///@}
 
/// @name %%refly.debug
///@{
#ifdef DOXYGEN // see https://github.com/doxygen/doxygen/issues/9668
enum debug : flags_t {
#else
enum class debug : flags_t {
#endif
};
 
///@}
 
/// @name %%refly.dbg
///@{
#ifdef DOXYGEN // see https://github.com/doxygen/doxygen/issues/9668
enum dbg : flags_t {
#else
enum class dbg : flags_t {
#endif
    tmp = 0x4c61cd6800000900,
    perm = 0x4c61cd6800000901,
};
 
THORIN_ENUM_OPERATORS(dbg)
template<dbg>
Ref normalize_dbg(Ref, Ref, Ref);
 
///@}
 
/// @name %%refly.refine
///@{
#ifdef DOXYGEN // see https://github.com/doxygen/doxygen/issues/9668
enum refine : flags_t {
#else
enum class refine : flags_t {
#endif
};
 
Ref normalize_refine(Ref, Ref, Ref);
///@}
 
/// @name %%refly.remove_dbg_perm_pass
///@{
#ifdef DOXYGEN // see https://github.com/doxygen/doxygen/issues/9668
enum remove_dbg_perm_pass : flags_t {
#else
enum class remove_dbg_perm_pass : flags_t {
#endif
};
 
///@}
 
void register_normalizers(Normalizers& normalizers);
 
#define THORIN_refly_NORMALIZER_IMPL \
    void register_normalizers(Normalizers& normalizers) {\
        normalizers[flags_t(Annex::Base<reify>)] = &normalize_reify; \
        normalizers[flags_t(Annex::Base<reflect>)] = &normalize_reflect; \
        normalizers[flags_t(Annex::Base<gid>)] = &normalize_gid; \
        normalizers[flags_t(dbg::tmp)] = &normalize_dbg<dbg::tmp>; \
        normalizers[flags_t(dbg::perm)] = &normalize_dbg<dbg::perm>; \
        normalizers[flags_t(Annex::Base<refine>)] = &normalize_refine; \
    }
} // namespace plug::refly
 
#ifndef DOXYGEN // don't include in Doxygen documentation
template<> constexpr flags_t Annex::Base<plug::refly::Code> = 0x4c61cd6800000000;
template<> constexpr size_t Annex::Num<plug::refly::Code> = 0;
template<> constexpr flags_t Annex::Base<plug::refly::reify> = 0x4c61cd6800000100;
template<> constexpr size_t Annex::Num<plug::refly::reify> = 0;
template<> constexpr flags_t Annex::Base<plug::refly::reflect> = 0x4c61cd6800000200;
template<> constexpr size_t Annex::Num<plug::refly::reflect> = 0;
template<> constexpr flags_t Annex::Base<plug::refly::gid> = 0x4c61cd6800000300;
template<> constexpr size_t Annex::Num<plug::refly::gid> = 0;
template<> constexpr flags_t Annex::Base<plug::refly::error> = 0x4c61cd6800000400;
template<> constexpr size_t Annex::Num<plug::refly::error> = 0;
template<> constexpr flags_t Annex::Base<plug::refly::warn> = 0x4c61cd6800000500;
template<> constexpr size_t Annex::Num<plug::refly::warn> = 0;
template<> constexpr flags_t Annex::Base<plug::refly::info> = 0x4c61cd6800000600;
template<> constexpr size_t Annex::Num<plug::refly::info> = 0;
template<> constexpr flags_t Annex::Base<plug::refly::verbose> = 0x4c61cd6800000700;
template<> constexpr size_t Annex::Num<plug::refly::verbose> = 0;
template<> constexpr flags_t Annex::Base<plug::refly::debug> = 0x4c61cd6800000800;
template<> constexpr size_t Annex::Num<plug::refly::debug> = 0;
template<> constexpr flags_t Annex::Base<plug::refly::dbg> = 0x4c61cd6800000900;
template<> constexpr size_t Annex::Num<plug::refly::dbg> = 2;
template<> constexpr flags_t Annex::Base<plug::refly::refine> = 0x4c61cd6800000a00;
template<> constexpr size_t Annex::Num<plug::refly::refine> = 0;
template<> constexpr flags_t Annex::Base<plug::refly::remove_dbg_perm_pass> = 0x4c61cd6800000b00;
template<> constexpr size_t Annex::Num<plug::refly::remove_dbg_perm_pass> = 0;
 
template<> struct Axiom::Match<plug::refly::error> { using type = Axiom; };
template<> struct Axiom::Match<plug::refly::warn> { using type = Axiom; };
template<> struct Axiom::Match<plug::refly::info> { using type = Axiom; };
template<> struct Axiom::Match<plug::refly::verbose> { using type = Axiom; };
template<> struct Axiom::Match<plug::refly::debug> { using type = Axiom; };
template<> struct Axiom::Match<plug::refly::remove_dbg_perm_pass> { using type = Axiom; };
#endif
} // namespace thorin