Václav Kubernát | 24df80e | 2018-06-06 15:18:03 +0200 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2018 CESNET, https://photonics.cesnet.cz/ |
| 3 | * Copyright (C) 2018 FIT CVUT, https://fit.cvut.cz/ |
| 4 | * |
| 5 | * Written by Václav Kubernát <kubervac@fit.cvut.cz> |
| 6 | * |
| 7 | */ |
| 8 | #pragma once |
| 9 | |
Václav Kubernát | 24df80e | 2018-06-06 15:18:03 +0200 | [diff] [blame] | 10 | #include <boost/fusion/adapted/struct/adapt_struct.hpp> |
| 11 | #include <boost/fusion/include/adapt_struct.hpp> |
| 12 | #include <boost/fusion/include/std_pair.hpp> |
Václav Kubernát | 24df80e | 2018-06-06 15:18:03 +0200 | [diff] [blame] | 13 | #include <map> |
Václav Kubernát | b5ca154 | 2020-05-27 01:03:54 +0200 | [diff] [blame] | 14 | #include <variant> |
Václav Kubernát | 24df80e | 2018-06-06 15:18:03 +0200 | [diff] [blame] | 15 | #include <vector> |
| 16 | |
Václav Kubernát | eeb3884 | 2019-03-20 19:46:05 +0100 | [diff] [blame] | 17 | #include "ast_values.hpp" |
Václav Kubernát | a93f900 | 2020-05-28 03:09:42 +0200 | [diff] [blame] | 18 | #include "list_instance.hpp" |
Václav Kubernát | eeb3884 | 2019-03-20 19:46:05 +0100 | [diff] [blame] | 19 | |
Václav Kubernát | efcac93 | 2020-01-10 15:26:32 +0100 | [diff] [blame] | 20 | enum class Prefixes { |
| 21 | Always, |
| 22 | WhenNeeded |
| 23 | }; |
| 24 | |
Václav Kubernát | 24df80e | 2018-06-06 15:18:03 +0200 | [diff] [blame] | 25 | struct nodeup_ { |
| 26 | bool operator==(const nodeup_&) const |
| 27 | { |
| 28 | return true; |
| 29 | } |
| 30 | }; |
| 31 | |
| 32 | struct container_ { |
| 33 | container_() = default; |
| 34 | container_(const std::string& name); |
| 35 | |
| 36 | bool operator==(const container_& b) const; |
| 37 | |
| 38 | std::string m_name; |
| 39 | }; |
| 40 | |
| 41 | struct leaf_ { |
| 42 | leaf_() = default; |
| 43 | leaf_(const std::string& name); |
| 44 | |
| 45 | bool operator==(const leaf_& b) const; |
| 46 | |
| 47 | std::string m_name; |
| 48 | }; |
| 49 | |
Václav Kubernát | 5b8a8f3 | 2020-05-20 00:57:22 +0200 | [diff] [blame] | 50 | struct leafList_ { |
Václav Kubernát | 5b8a8f3 | 2020-05-20 00:57:22 +0200 | [diff] [blame] | 51 | leafList_(const std::string& name); |
| 52 | |
| 53 | bool operator==(const leafList_& b) const; |
| 54 | |
| 55 | std::string m_name; |
| 56 | }; |
| 57 | |
| 58 | struct leafListElement_ { |
| 59 | bool operator==(const leafListElement_& b) const; |
| 60 | |
| 61 | std::string m_name; |
| 62 | leaf_data_ m_value; |
| 63 | }; |
| 64 | |
Václav Kubernát | 24df80e | 2018-06-06 15:18:03 +0200 | [diff] [blame] | 65 | struct listElement_ { |
| 66 | listElement_() {} |
Václav Kubernát | c15fe82 | 2020-06-04 11:28:39 +0200 | [diff] [blame] | 67 | listElement_(const std::string& listName, const ListInstance& keys); |
Václav Kubernát | 24df80e | 2018-06-06 15:18:03 +0200 | [diff] [blame] | 68 | |
| 69 | bool operator==(const listElement_& b) const; |
| 70 | |
| 71 | std::string m_name; |
Václav Kubernát | a93f900 | 2020-05-28 03:09:42 +0200 | [diff] [blame] | 72 | ListInstance m_keys; |
Václav Kubernát | 24df80e | 2018-06-06 15:18:03 +0200 | [diff] [blame] | 73 | }; |
| 74 | |
Václav Kubernát | 2eaceb8 | 2018-10-08 19:56:30 +0200 | [diff] [blame] | 75 | struct list_ { |
| 76 | list_() {} |
| 77 | list_(const std::string& listName); |
| 78 | |
| 79 | bool operator==(const list_& b) const; |
| 80 | |
| 81 | std::string m_name; |
| 82 | }; |
| 83 | |
Václav Kubernát | 2eaceb8 | 2018-10-08 19:56:30 +0200 | [diff] [blame] | 84 | struct schemaNode_ { |
| 85 | boost::optional<module_> m_prefix; |
Václav Kubernát | b5ca154 | 2020-05-27 01:03:54 +0200 | [diff] [blame] | 86 | std::variant<container_, list_, nodeup_, leaf_, leafList_> m_suffix; |
Václav Kubernát | 2eaceb8 | 2018-10-08 19:56:30 +0200 | [diff] [blame] | 87 | |
| 88 | schemaNode_(); |
| 89 | schemaNode_(decltype(m_suffix) node); |
| 90 | schemaNode_(module_ module, decltype(m_suffix) node); |
| 91 | bool operator==(const schemaNode_& b) const; |
| 92 | }; |
| 93 | |
| 94 | struct dataNode_ { |
Václav Kubernát | 744f57f | 2018-06-29 22:46:26 +0200 | [diff] [blame] | 95 | boost::optional<module_> m_prefix; |
Václav Kubernát | b5ca154 | 2020-05-27 01:03:54 +0200 | [diff] [blame] | 96 | std::variant<container_, listElement_, nodeup_, leaf_, leafListElement_, leafList_, list_> m_suffix; |
Václav Kubernát | 24df80e | 2018-06-06 15:18:03 +0200 | [diff] [blame] | 97 | |
Václav Kubernát | 2eaceb8 | 2018-10-08 19:56:30 +0200 | [diff] [blame] | 98 | dataNode_(); |
| 99 | dataNode_(decltype(m_suffix) node); |
Václav Kubernát | 2db124c | 2020-05-28 21:58:36 +0200 | [diff] [blame] | 100 | dataNode_(boost::optional<module_> module, decltype(m_suffix) node); |
Václav Kubernát | 2eaceb8 | 2018-10-08 19:56:30 +0200 | [diff] [blame] | 101 | dataNode_(module_ module, decltype(m_suffix) node); |
| 102 | bool operator==(const dataNode_& b) const; |
Václav Kubernát | 744f57f | 2018-06-29 22:46:26 +0200 | [diff] [blame] | 103 | }; |
| 104 | |
Václav Kubernát | d6fd249 | 2018-11-19 15:11:16 +0100 | [diff] [blame] | 105 | enum class TrailingSlash { |
| 106 | Present, |
| 107 | NonPresent |
| 108 | }; |
| 109 | |
Václav Kubernát | b6ff0b6 | 2018-08-30 16:14:53 +0200 | [diff] [blame] | 110 | enum class Scope { |
Václav Kubernát | 37171a1 | 2018-08-31 17:01:48 +0200 | [diff] [blame] | 111 | Absolute, |
| 112 | Relative |
| 113 | }; |
| 114 | |
Václav Kubernát | 2eaceb8 | 2018-10-08 19:56:30 +0200 | [diff] [blame] | 115 | struct schemaPath_ { |
Jan Kundrát | 97376f7 | 2020-06-15 19:26:31 +0200 | [diff] [blame] | 116 | schemaPath_(); |
| 117 | schemaPath_(const Scope scope, const std::vector<schemaNode_>& nodes, const TrailingSlash trailingSlash = TrailingSlash::NonPresent); |
Václav Kubernát | 2eaceb8 | 2018-10-08 19:56:30 +0200 | [diff] [blame] | 118 | bool operator==(const schemaPath_& b) const; |
Václav Kubernát | 37171a1 | 2018-08-31 17:01:48 +0200 | [diff] [blame] | 119 | Scope m_scope = Scope::Relative; |
Václav Kubernát | 2eaceb8 | 2018-10-08 19:56:30 +0200 | [diff] [blame] | 120 | std::vector<schemaNode_> m_nodes; |
Václav Kubernát | d6fd249 | 2018-11-19 15:11:16 +0100 | [diff] [blame] | 121 | TrailingSlash m_trailingSlash = TrailingSlash::NonPresent; |
Václav Kubernát | e781b90 | 2020-06-15 14:35:11 +0200 | [diff] [blame] | 122 | // @brief Pushes a new fragment. Pops a fragment if it's nodeup_ |
| 123 | void pushFragment(const schemaNode_& fragment); |
Václav Kubernát | 744f57f | 2018-06-29 22:46:26 +0200 | [diff] [blame] | 124 | }; |
| 125 | |
Václav Kubernát | 2eaceb8 | 2018-10-08 19:56:30 +0200 | [diff] [blame] | 126 | struct dataPath_ { |
Jan Kundrát | 97376f7 | 2020-06-15 19:26:31 +0200 | [diff] [blame] | 127 | dataPath_(); |
| 128 | dataPath_(const Scope scope, const std::vector<dataNode_>& nodes, const TrailingSlash trailingSlash = TrailingSlash::NonPresent); |
Václav Kubernát | 2eaceb8 | 2018-10-08 19:56:30 +0200 | [diff] [blame] | 129 | bool operator==(const dataPath_& b) const; |
| 130 | Scope m_scope = Scope::Relative; |
| 131 | std::vector<dataNode_> m_nodes; |
Václav Kubernát | d6fd249 | 2018-11-19 15:11:16 +0100 | [diff] [blame] | 132 | TrailingSlash m_trailingSlash = TrailingSlash::NonPresent; |
Václav Kubernát | e781b90 | 2020-06-15 14:35:11 +0200 | [diff] [blame] | 133 | |
| 134 | // @brief Pushes a new fragment. Pops a fragment if it's nodeup_ |
| 135 | void pushFragment(const dataNode_& fragment); |
Václav Kubernát | 2eaceb8 | 2018-10-08 19:56:30 +0200 | [diff] [blame] | 136 | }; |
Václav Kubernát | 744f57f | 2018-06-29 22:46:26 +0200 | [diff] [blame] | 137 | |
Václav Kubernát | 2eaceb8 | 2018-10-08 19:56:30 +0200 | [diff] [blame] | 138 | std::string nodeToSchemaString(decltype(dataPath_::m_nodes)::value_type node); |
| 139 | |
Václav Kubernát | efcac93 | 2020-01-10 15:26:32 +0100 | [diff] [blame] | 140 | std::string pathToDataString(const dataPath_& path, Prefixes prefixes); |
| 141 | std::string pathToSchemaString(const schemaPath_& path, Prefixes prefixes); |
| 142 | std::string pathToSchemaString(const dataPath_& path, Prefixes prefixes); |
Václav Kubernát | 2eaceb8 | 2018-10-08 19:56:30 +0200 | [diff] [blame] | 143 | schemaNode_ dataNodeToSchemaNode(const dataNode_& node); |
| 144 | schemaPath_ dataPathToSchemaPath(const dataPath_& path); |
Václav Kubernát | bbfd1fa | 2019-12-13 13:51:28 +0100 | [diff] [blame] | 145 | std::string escapeListKeyString(const std::string& what); |
Václav Kubernát | 24df80e | 2018-06-06 15:18:03 +0200 | [diff] [blame] | 146 | |
| 147 | BOOST_FUSION_ADAPT_STRUCT(container_, m_name) |
| 148 | BOOST_FUSION_ADAPT_STRUCT(listElement_, m_name, m_keys) |
Václav Kubernát | 5b8a8f3 | 2020-05-20 00:57:22 +0200 | [diff] [blame] | 149 | BOOST_FUSION_ADAPT_STRUCT(leafListElement_, m_name, m_value) |
Václav Kubernát | 744f57f | 2018-06-29 22:46:26 +0200 | [diff] [blame] | 150 | BOOST_FUSION_ADAPT_STRUCT(module_, m_name) |
Václav Kubernát | 2eaceb8 | 2018-10-08 19:56:30 +0200 | [diff] [blame] | 151 | BOOST_FUSION_ADAPT_STRUCT(dataNode_, m_prefix, m_suffix) |
| 152 | BOOST_FUSION_ADAPT_STRUCT(schemaNode_, m_prefix, m_suffix) |
Václav Kubernát | d6fd249 | 2018-11-19 15:11:16 +0100 | [diff] [blame] | 153 | BOOST_FUSION_ADAPT_STRUCT(dataPath_, m_scope, m_nodes, m_trailingSlash) |
| 154 | BOOST_FUSION_ADAPT_STRUCT(schemaPath_, m_scope, m_nodes, m_trailingSlash) |