Enumerations | |
%ord.Key | |
| enum class | Key : flags_t |
%ord.Set | |
| enum class | Set : flags_t |
%ord.Map | |
| enum class | Map : flags_t |
%ord.create_set | |
| enum class | create_set : flags_t |
%ord.create_map | |
| enum class | create_map : flags_t |
%ord.is_empty_set | |
| enum class | is_empty_set : flags_t |
%ord.is_empty_map | |
| enum class | is_empty_map : flags_t |
Functions | |
| void | register_normalizers (Normalizers &normalizers) |
Variables | |
| static constexpr plugin_t | Plugin_Id = 0x4131400000000000 |
%ord.init | |
| enum class | init : flags_t { set = 0x4131400000000300 , map = 0x4131400000000301 } |
| template<init id> | |
| const Def * | normalize_init (const Def *type, const Def *callee, const Def *arg) |
%ord.size | |
| enum class | size : flags_t { set = 0x4131400000000600 , map = 0x4131400000000601 } |
| template<size> | |
| const Def * | normalize_size (const Def *, const Def *, const Def *arg) |
%ord.get | |
| enum class | get : flags_t |
| const Def * | normalize_get (const Def *, const Def *callee, const Def *arg) |
%ord.contains | |
| enum class | contains : flags_t { set = 0x4131400000000a00 , map = 0x4131400000000a01 } |
| template<contains id> | |
| const Def * | normalize_contains (const Def *, const Def *, const Def *arg) |
%ord.insertion | |
| enum class | insertion : flags_t { set = 0x4131400000000b00 , map = 0x4131400000000b01 } |
| template<insertion id> | |
| const Def * | normalize_insert (const Def *type, const Def *, const Def *arg) |
|
strong |
|
strong |
|
strong |
|
strong |
|
strong |
|
strong |
|
strong |
|
strong |
|
strong |
|
strong |
|
strong |
|
strong |
| const Def * mim::plug::ord::normalize_contains | ( | const Def * | , |
| const Def * | , | ||
| const Def * | arg ) |
Definition at line 48 of file normalizers.cpp.
References mim::Axm::isa(), map, normalize_contains(), mim::Def::projs(), and mim::Def::world().
Referenced by normalize_contains().
Definition at line 23 of file normalizers.cpp.
References mim::Axm::isa(), normalize_get(), mim::Def::projs(), and mim::Def::world().
Referenced by normalize_get().
| const Def * mim::plug::ord::normalize_init | ( | const Def * | type, |
| const Def * | callee, | ||
| const Def * | arg ) |
Definition at line 12 of file normalizers.cpp.
References normalize_init().
Referenced by normalize_init().
| const Def * mim::plug::ord::normalize_insert | ( | const Def * | type, |
| const Def * | , | ||
| const Def * | arg ) |
Definition at line 68 of file normalizers.cpp.
References mim::Axm::isa(), mim::Lit::isa(), map, normalize_insert(), mim::Def::projs(), and set.
Referenced by normalize_insert().
| const Def * mim::plug::ord::normalize_size | ( | const Def * | , |
| const Def * | , | ||
| const Def * | arg ) |
Definition at line 18 of file normalizers.cpp.
References mim::Axm::isa(), and normalize_size().
Referenced by normalize_size().
| void mim::plug::ord::register_normalizers | ( | Normalizers & | normalizers | ) |
References register_normalizers().
Referenced by mim_get_plugin(), and register_normalizers().