MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
autogen.h File Reference
#include <mim/axiom.h>
#include <mim/plugin.h>
Include dependency graph for autogen.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  mim::plug::regex
 The regex Plugin
 
namespace  mim
 
namespace  mim::plug
 

Macros

#define MIM_regex_NORMALIZER_IMPL
 

Enumerations

%regex.lit
enum class  mim::plug::regex::lit : flags_t
 
%regex.cls
enum class  mim::plug::regex::cls : flags_t {
  mim::plug::regex::d = 0x4c62066400000500 ,
  mim::plug::regex::D = 0x4c62066400000501 ,
  mim::plug::regex::w = 0x4c62066400000502 ,
  mim::plug::regex::W = 0x4c62066400000503 ,
  mim::plug::regex::s = 0x4c62066400000504 ,
  mim::plug::regex::S = 0x4c62066400000505
}
 
%regex.any
enum class  mim::plug::regex::any : flags_t
 
%regex.lower_regex
enum class  mim::plug::regex::lower_regex : flags_t
 

Functions

void mim::plug::regex::register_normalizers (Normalizers &normalizers)
 

Variables

static constexpr plugin_t mim::plug::regex::Plugin_Id = 0x4c62066400000000
 

%regex.conj

enum class  mim::plug::regex::conj : flags_t
 
Ref mim::plug::regex::normalize_conj (Ref type, Ref callee, Ref arg)
 

%regex.disj

enum class  mim::plug::regex::disj : flags_t
 
Ref mim::plug::regex::normalize_disj (Ref type, Ref, Ref arg)
 

%regex.range

enum class  mim::plug::regex::range : flags_t
 
Ref mim::plug::regex::normalize_range (Ref type, Ref callee, Ref arg)
 

%regex.not_

enum class  mim::plug::regex::not_ : flags_t
 
Ref mim::plug::regex::normalize_not (Ref type, Ref callee, Ref arg)
 

%regex.quant

enum class  mim::plug::regex::quant : flags_t {
  mim::plug::regex::optional = 0x4c62066400000700 ,
  mim::plug::regex::star = 0x4c62066400000701 ,
  mim::plug::regex::plus = 0x4c62066400000702
}
 
template<quant id>
Ref mim::plug::regex::normalize_quant (Ref type, Ref callee, Ref arg)
 

Macro Definition Documentation

◆ MIM_regex_NORMALIZER_IMPL

#define MIM_regex_NORMALIZER_IMPL
Value:
void register_normalizers(Normalizers& normalizers) {\
normalizers[flags_t(Annex::Base<conj>)] = &normalize_conj; \
normalizers[flags_t(Annex::Base<disj>)] = &normalize_disj; \
normalizers[flags_t(Annex::Base<range>)] = &normalize_range; \
normalizers[flags_t(Annex::Base<not_>)] = &normalize_not; \
normalizers[flags_t(quant::optional)] = &normalize_quant<quant::optional>; \
normalizers[flags_t(quant::star)] = &normalize_quant<quant::star>; \
normalizers[flags_t(quant::plus)] = &normalize_quant<quant::plus>; \
}

Definition at line 93 of file autogen.h.