Václav Kubernát | bddbb17 | 2018-06-13 16:27:39 +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 | |
Václav Kubernát | 9456b5c | 2019-10-02 21:14:52 +0200 | [diff] [blame] | 9 | #include <boost/algorithm/string/predicate.hpp> |
Václav Kubernát | bddbb17 | 2018-06-13 16:27:39 +0200 | [diff] [blame] | 10 | #include "static_schema.hpp" |
| 11 | #include "utils.hpp" |
| 12 | |
Václav Kubernát | bddbb17 | 2018-06-13 16:27:39 +0200 | [diff] [blame] | 13 | StaticSchema::StaticSchema() |
| 14 | { |
Václav Kubernát | abf5280 | 2020-05-19 01:31:17 +0200 | [diff] [blame] | 15 | m_nodes.emplace("/", std::unordered_map<std::string, NodeInfo>()); |
Václav Kubernát | bddbb17 | 2018-06-13 16:27:39 +0200 | [diff] [blame] | 16 | } |
| 17 | |
Václav Kubernát | abf5280 | 2020-05-19 01:31:17 +0200 | [diff] [blame] | 18 | const std::unordered_map<std::string, NodeInfo>& StaticSchema::children(const std::string& name) const |
Václav Kubernát | bddbb17 | 2018-06-13 16:27:39 +0200 | [diff] [blame] | 19 | { |
| 20 | return m_nodes.at(name); |
| 21 | } |
| 22 | |
Václav Kubernát | 75877de | 2019-11-20 17:43:02 +0100 | [diff] [blame] | 23 | bool StaticSchema::isModule(const std::string& name) const |
Václav Kubernát | bddbb17 | 2018-06-13 16:27:39 +0200 | [diff] [blame] | 24 | { |
Václav Kubernát | 744f57f | 2018-06-29 22:46:26 +0200 | [diff] [blame] | 25 | return m_modules.find(name) != m_modules.end(); |
| 26 | } |
| 27 | |
Václav Kubernát | bddbb17 | 2018-06-13 16:27:39 +0200 | [diff] [blame] | 28 | void StaticSchema::addContainer(const std::string& location, const std::string& name, yang::ContainerTraits isPresence) |
| 29 | { |
Václav Kubernát | abf5280 | 2020-05-19 01:31:17 +0200 | [diff] [blame] | 30 | m_nodes.at(location).emplace(name, NodeInfo{yang::container{isPresence}, yang::AccessType::Writable}); |
Václav Kubernát | bddbb17 | 2018-06-13 16:27:39 +0200 | [diff] [blame] | 31 | |
| 32 | //create a new set of children for the new node |
| 33 | std::string key = joinPaths(location, name); |
Václav Kubernát | abf5280 | 2020-05-19 01:31:17 +0200 | [diff] [blame] | 34 | m_nodes.emplace(key, std::unordered_map<std::string, NodeInfo>()); |
Václav Kubernát | bddbb17 | 2018-06-13 16:27:39 +0200 | [diff] [blame] | 35 | } |
| 36 | |
Václav Kubernát | e7248b2 | 2020-06-26 15:38:59 +0200 | [diff] [blame] | 37 | void StaticSchema::addRpc(const std::string& location, const std::string& name) |
| 38 | { |
| 39 | m_nodes.at(location).emplace(name, NodeInfo{yang::rpc{}, yang::AccessType::Writable}); |
| 40 | |
| 41 | //create a new set of children for the new node |
| 42 | std::string key = joinPaths(location, name); |
| 43 | m_nodes.emplace(key, std::unordered_map<std::string, NodeInfo>()); |
| 44 | } |
| 45 | |
Václav Kubernát | 2db124c | 2020-05-28 21:58:36 +0200 | [diff] [blame] | 46 | bool StaticSchema::listHasKey(const schemaPath_& listPath, const std::string& key) const |
| 47 | { |
| 48 | return listKeys(listPath).count(key); |
| 49 | } |
| 50 | |
Václav Kubernát | 2db124c | 2020-05-28 21:58:36 +0200 | [diff] [blame] | 51 | std::string lastNodeOfSchemaPath(const std::string& path) |
| 52 | { |
| 53 | std::string res = path; |
| 54 | if (auto pos = res.find_last_of('/'); pos != res.npos) { |
| 55 | res.erase(0, pos + 1); |
| 56 | } |
| 57 | return res; |
| 58 | } |
| 59 | |
| 60 | const std::set<std::string> StaticSchema::listKeys(const schemaPath_& listPath) const |
| 61 | { |
| 62 | auto listPathString = pathToSchemaString(listPath, Prefixes::Always); |
| 63 | const auto& child = children(stripLastNodeFromPath(listPathString)).at(lastNodeOfSchemaPath(listPathString)); |
| 64 | const auto& list = std::get<yang::list>(child.m_nodeType); |
| 65 | return list.m_keys; |
| 66 | } |
| 67 | |
Václav Kubernát | bddbb17 | 2018-06-13 16:27:39 +0200 | [diff] [blame] | 68 | void StaticSchema::addList(const std::string& location, const std::string& name, const std::set<std::string>& keys) |
| 69 | { |
Václav Kubernát | abf5280 | 2020-05-19 01:31:17 +0200 | [diff] [blame] | 70 | m_nodes.at(location).emplace(name, NodeInfo{yang::list{keys}, yang::AccessType::Writable}); |
Václav Kubernát | bddbb17 | 2018-06-13 16:27:39 +0200 | [diff] [blame] | 71 | |
Václav Kubernát | 1446fe1 | 2019-10-02 19:32:51 +0200 | [diff] [blame] | 72 | std::string key = joinPaths(location, name); |
Václav Kubernát | abf5280 | 2020-05-19 01:31:17 +0200 | [diff] [blame] | 73 | m_nodes.emplace(key, std::unordered_map<std::string, NodeInfo>()); |
Václav Kubernát | bddbb17 | 2018-06-13 16:27:39 +0200 | [diff] [blame] | 74 | } |
| 75 | |
Václav Kubernát | 3a99f00 | 2020-03-31 02:27:41 +0200 | [diff] [blame] | 76 | std::set<identityRef_> StaticSchema::validIdentities(std::string_view module, std::string_view value) |
Václav Kubernát | bddbb17 | 2018-06-13 16:27:39 +0200 | [diff] [blame] | 77 | { |
Václav Kubernát | 222ecff | 2020-05-14 23:14:35 +0200 | [diff] [blame] | 78 | std::set<identityRef_> identities; |
| 79 | getIdentSet(identityRef_{std::string{module}, std::string{value}}, identities); |
Václav Kubernát | 3a99f00 | 2020-03-31 02:27:41 +0200 | [diff] [blame] | 80 | |
Václav Kubernát | 222ecff | 2020-05-14 23:14:35 +0200 | [diff] [blame] | 81 | return identities; |
Václav Kubernát | bddbb17 | 2018-06-13 16:27:39 +0200 | [diff] [blame] | 82 | } |
| 83 | |
Václav Kubernát | abf5280 | 2020-05-19 01:31:17 +0200 | [diff] [blame] | 84 | void StaticSchema::addLeaf(const std::string& location, const std::string& name, const yang::LeafDataType& type, const yang::AccessType accessType) |
Václav Kubernát | bddbb17 | 2018-06-13 16:27:39 +0200 | [diff] [blame] | 85 | { |
Václav Kubernát | abf5280 | 2020-05-19 01:31:17 +0200 | [diff] [blame] | 86 | m_nodes.at(location).emplace(name, NodeInfo{yang::leaf{yang::TypeInfo{type, std::nullopt}}, accessType}); |
Václav Kubernát | e69133a | 2019-11-01 19:01:34 +0100 | [diff] [blame] | 87 | std::string key = joinPaths(location, name); |
Václav Kubernát | abf5280 | 2020-05-19 01:31:17 +0200 | [diff] [blame] | 88 | m_nodes.emplace(key, std::unordered_map<std::string, NodeInfo>()); |
Václav Kubernát | 6a8d1d9 | 2019-04-24 20:30:36 +0200 | [diff] [blame] | 89 | } |
| 90 | |
Václav Kubernát | 5b8a8f3 | 2020-05-20 00:57:22 +0200 | [diff] [blame] | 91 | void StaticSchema::addLeafList(const std::string& location, const std::string& name, const yang::LeafDataType& type) |
| 92 | { |
| 93 | m_nodes.at(location).emplace(name, NodeInfo{yang::leaflist{yang::TypeInfo{type, std::nullopt}}, yang::AccessType::Writable}); |
| 94 | std::string key = joinPaths(location, name); |
| 95 | m_nodes.emplace(key, std::unordered_map<std::string, NodeInfo>()); |
| 96 | } |
| 97 | |
Václav Kubernát | 744f57f | 2018-06-29 22:46:26 +0200 | [diff] [blame] | 98 | void StaticSchema::addModule(const std::string& name) |
Václav Kubernát | bddbb17 | 2018-06-13 16:27:39 +0200 | [diff] [blame] | 99 | { |
Václav Kubernát | 744f57f | 2018-06-29 22:46:26 +0200 | [diff] [blame] | 100 | m_modules.emplace(name); |
| 101 | } |
Václav Kubernát | bddbb17 | 2018-06-13 16:27:39 +0200 | [diff] [blame] | 102 | |
Václav Kubernát | 222ecff | 2020-05-14 23:14:35 +0200 | [diff] [blame] | 103 | void StaticSchema::addIdentity(const std::optional<identityRef_>& base, const identityRef_& name) |
Václav Kubernát | eeb3884 | 2019-03-20 19:46:05 +0100 | [diff] [blame] | 104 | { |
Václav Kubernát | 3a43323 | 2020-07-08 17:52:50 +0200 | [diff] [blame] | 105 | if (base) { |
Václav Kubernát | eeb3884 | 2019-03-20 19:46:05 +0100 | [diff] [blame] | 106 | m_identities.at(base.value()).emplace(name); |
Václav Kubernát | 3a43323 | 2020-07-08 17:52:50 +0200 | [diff] [blame] | 107 | } |
Václav Kubernát | eeb3884 | 2019-03-20 19:46:05 +0100 | [diff] [blame] | 108 | |
Václav Kubernát | 222ecff | 2020-05-14 23:14:35 +0200 | [diff] [blame] | 109 | m_identities.emplace(name, std::set<identityRef_>()); |
Václav Kubernát | eeb3884 | 2019-03-20 19:46:05 +0100 | [diff] [blame] | 110 | } |
Václav Kubernát | 744f57f | 2018-06-29 22:46:26 +0200 | [diff] [blame] | 111 | |
Václav Kubernát | 222ecff | 2020-05-14 23:14:35 +0200 | [diff] [blame] | 112 | void StaticSchema::getIdentSet(const identityRef_& ident, std::set<identityRef_>& res) const |
Václav Kubernát | eeb3884 | 2019-03-20 19:46:05 +0100 | [diff] [blame] | 113 | { |
| 114 | res.insert(ident); |
| 115 | auto derivedIdentities = m_identities.at(ident); |
| 116 | for (auto it : derivedIdentities) { |
| 117 | getIdentSet(it, res); |
| 118 | } |
| 119 | } |
| 120 | |
Václav Kubernát | 13b23d7 | 2020-04-16 21:49:51 +0200 | [diff] [blame] | 121 | yang::TypeInfo StaticSchema::leafType(const schemaPath_& location, const ModuleNodePair& node) const |
Václav Kubernát | bddbb17 | 2018-06-13 16:27:39 +0200 | [diff] [blame] | 122 | { |
Václav Kubernát | efcac93 | 2020-01-10 15:26:32 +0100 | [diff] [blame] | 123 | std::string locationString = pathToSchemaString(location, Prefixes::Always); |
Václav Kubernát | 5b8a8f3 | 2020-05-20 00:57:22 +0200 | [diff] [blame] | 124 | auto nodeType = children(locationString).at(fullNodeName(location, node)).m_nodeType; |
Václav Kubernát | 4d8a9c2 | 2020-05-26 23:56:10 +0200 | [diff] [blame] | 125 | if (std::holds_alternative<yang::leaf>(nodeType)) { |
| 126 | return std::get<yang::leaf>(nodeType).m_type; |
Václav Kubernát | 5b8a8f3 | 2020-05-20 00:57:22 +0200 | [diff] [blame] | 127 | } |
| 128 | |
Václav Kubernát | 4d8a9c2 | 2020-05-26 23:56:10 +0200 | [diff] [blame] | 129 | if (std::holds_alternative<yang::leaflist>(nodeType)) { |
| 130 | return std::get<yang::leaflist>(nodeType).m_type; |
Václav Kubernát | 5b8a8f3 | 2020-05-20 00:57:22 +0200 | [diff] [blame] | 131 | } |
| 132 | |
| 133 | throw std::logic_error("StaticSchema::leafType: Path is not a leaf or a leaflist"); |
Václav Kubernát | 744f57f | 2018-06-29 22:46:26 +0200 | [diff] [blame] | 134 | } |
| 135 | |
Václav Kubernát | 13b23d7 | 2020-04-16 21:49:51 +0200 | [diff] [blame] | 136 | yang::TypeInfo StaticSchema::leafType(const std::string& path) const |
Václav Kubernát | 9bf3685 | 2020-02-18 17:47:56 +0100 | [diff] [blame] | 137 | { |
Václav Kubernát | 3a99f00 | 2020-03-31 02:27:41 +0200 | [diff] [blame] | 138 | auto locationString = stripLastNodeFromPath(path); |
| 139 | auto node = lastNodeOfSchemaPath(path); |
Václav Kubernát | 4d8a9c2 | 2020-05-26 23:56:10 +0200 | [diff] [blame] | 140 | return std::get<yang::leaf>(children(locationString).at(node).m_nodeType).m_type; |
Václav Kubernát | 989b5de | 2019-02-20 16:28:35 +0100 | [diff] [blame] | 141 | } |
| 142 | |
Václav Kubernát | 95b0887 | 2020-04-28 01:04:17 +0200 | [diff] [blame] | 143 | std::set<ModuleNodePair> StaticSchema::availableNodes(const boost::variant<dataPath_, schemaPath_, module_>& path, const Recursion recursion) const |
Václav Kubernát | 744f57f | 2018-06-29 22:46:26 +0200 | [diff] [blame] | 144 | { |
Václav Kubernát | 3a823f4 | 2020-04-29 23:40:21 +0200 | [diff] [blame] | 145 | if (recursion == Recursion::Recursive) { |
| 146 | throw std::logic_error("Recursive StaticSchema::availableNodes is not implemented. It shouldn't be used in tests."); |
| 147 | } |
| 148 | |
Václav Kubernát | 95b0887 | 2020-04-28 01:04:17 +0200 | [diff] [blame] | 149 | std::set<ModuleNodePair> res; |
Václav Kubernát | 3a823f4 | 2020-04-29 23:40:21 +0200 | [diff] [blame] | 150 | if (path.type() == typeid(module_)) { |
| 151 | auto topLevelNodes = m_nodes.at(""); |
| 152 | auto modulePlusColon = boost::get<module_>(path).m_name + ":"; |
| 153 | for (const auto& it : topLevelNodes) { |
| 154 | if (boost::algorithm::starts_with(it.first, modulePlusColon)) { |
Václav Kubernát | 95b0887 | 2020-04-28 01:04:17 +0200 | [diff] [blame] | 155 | res.insert(splitModuleNode(it.first)); |
Václav Kubernát | 3a823f4 | 2020-04-29 23:40:21 +0200 | [diff] [blame] | 156 | } |
| 157 | } |
| 158 | return res; |
| 159 | } |
| 160 | |
Václav Kubernát | e2d629f | 2020-04-28 11:01:54 +0200 | [diff] [blame] | 161 | auto getTopLevelModule = [] (const auto& path) -> boost::optional<std::string> { |
| 162 | if (!path.m_nodes.empty()) { |
| 163 | return path.m_nodes.begin()->m_prefix.flat_map([] (const auto& module) {return boost::optional<std::string>(module.m_name);}); |
| 164 | } |
| 165 | |
| 166 | return boost::none; |
| 167 | }; |
| 168 | |
| 169 | std::string locationString; |
| 170 | boost::optional<std::string> topLevelModule; |
| 171 | if (path.type() == typeid(schemaPath_)) { |
| 172 | locationString = pathToSchemaString(boost::get<schemaPath_>(path), Prefixes::Always); |
| 173 | topLevelModule = getTopLevelModule(boost::get<schemaPath_>(path)); |
| 174 | } else { |
| 175 | locationString = pathToSchemaString(boost::get<dataPath_>(path), Prefixes::Always); |
| 176 | topLevelModule = getTopLevelModule(boost::get<dataPath_>(path)); |
| 177 | } |
Václav Kubernát | 744f57f | 2018-06-29 22:46:26 +0200 | [diff] [blame] | 178 | |
| 179 | auto childrenRef = children(locationString); |
| 180 | |
Václav Kubernát | e2d629f | 2020-04-28 11:01:54 +0200 | [diff] [blame] | 181 | std::transform(childrenRef.begin(), childrenRef.end(), std::inserter(res, res.end()), [path, topLevelModule](const auto& it) { |
| 182 | auto res = splitModuleNode(it.first); |
| 183 | if (topLevelModule == res.first) { |
| 184 | res.first = boost::none; |
| 185 | } |
| 186 | return res; |
Václav Kubernát | 95b0887 | 2020-04-28 01:04:17 +0200 | [diff] [blame] | 187 | }); |
Václav Kubernát | 744f57f | 2018-06-29 22:46:26 +0200 | [diff] [blame] | 188 | return res; |
Václav Kubernát | bddbb17 | 2018-06-13 16:27:39 +0200 | [diff] [blame] | 189 | } |
Václav Kubernát | 9456b5c | 2019-10-02 21:14:52 +0200 | [diff] [blame] | 190 | |
Václav Kubernát | 19a368b | 2020-05-27 00:05:23 +0200 | [diff] [blame] | 191 | struct impl_nodeType { |
| 192 | |
| 193 | yang::NodeTypes operator()(const yang::container& cont) |
| 194 | { |
| 195 | if (cont.m_presence == yang::ContainerTraits::Presence) { |
| 196 | return yang::NodeTypes::PresenceContainer; |
| 197 | } |
| 198 | return yang::NodeTypes::Container; |
| 199 | } |
| 200 | yang::NodeTypes operator()(const yang::list&) |
| 201 | { |
| 202 | return yang::NodeTypes::List; |
| 203 | } |
| 204 | yang::NodeTypes operator()(const yang::leaf&) |
| 205 | { |
| 206 | return yang::NodeTypes::Leaf; |
| 207 | |
| 208 | } |
| 209 | yang::NodeTypes operator()(const yang::leaflist&) |
| 210 | { |
| 211 | return yang::NodeTypes::LeafList; |
| 212 | } |
Václav Kubernát | e7248b2 | 2020-06-26 15:38:59 +0200 | [diff] [blame] | 213 | |
| 214 | yang::NodeTypes operator()(const yang::rpc) |
| 215 | { |
| 216 | return yang::NodeTypes::Rpc; |
| 217 | } |
Václav Kubernát | 19a368b | 2020-05-27 00:05:23 +0200 | [diff] [blame] | 218 | }; |
| 219 | |
Václav Kubernát | 34ee85a | 2020-02-18 17:12:12 +0100 | [diff] [blame] | 220 | yang::NodeTypes StaticSchema::nodeType(const schemaPath_& location, const ModuleNodePair& node) const |
| 221 | { |
| 222 | std::string locationString = pathToSchemaString(location, Prefixes::Always); |
| 223 | auto fullName = fullNodeName(location, node); |
| 224 | try { |
| 225 | auto targetNode = children(locationString).at(fullName); |
| 226 | |
Václav Kubernát | 19a368b | 2020-05-27 00:05:23 +0200 | [diff] [blame] | 227 | return std::visit(impl_nodeType{}, targetNode.m_nodeType); |
Václav Kubernát | 34ee85a | 2020-02-18 17:12:12 +0100 | [diff] [blame] | 228 | } catch (std::out_of_range&) { |
| 229 | throw InvalidNodeException(); |
| 230 | } |
| 231 | } |
| 232 | |
Václav Kubernát | abf5280 | 2020-05-19 01:31:17 +0200 | [diff] [blame] | 233 | std::string fullNodeName(const std::string& location, const std::string& node) |
| 234 | { |
| 235 | // If the node already contains a module name, just return it. |
| 236 | if (node.find_first_of(':') != std::string::npos) { |
| 237 | return node; |
| 238 | } |
| 239 | |
| 240 | // Otherwise take the module name from the first node of location. |
| 241 | return location.substr(location.find_first_not_of('/'), location.find_first_of(':') - 1) + ":" + node; |
| 242 | } |
| 243 | |
| 244 | bool StaticSchema::isConfig(const std::string& leafPath) const |
| 245 | { |
| 246 | auto locationString = stripLastNodeFromPath(leafPath); |
| 247 | |
| 248 | auto node = fullNodeName(locationString, lastNodeOfSchemaPath(leafPath)); |
| 249 | return children(locationString).at(node).m_configType == yang::AccessType::Writable; |
| 250 | } |
| 251 | |
Václav Kubernát | 1e09bd6 | 2020-02-17 15:13:38 +0100 | [diff] [blame] | 252 | std::optional<std::string> StaticSchema::description([[maybe_unused]] const std::string& path) const |
| 253 | { |
| 254 | throw std::runtime_error{"StaticSchema::description not implemented"}; |
| 255 | } |
| 256 | |
Václav Kubernát | a1c4c9e | 2020-04-22 00:37:52 +0200 | [diff] [blame] | 257 | yang::Status StaticSchema::status([[maybe_unused]] const std::string& location) const |
| 258 | { |
| 259 | throw std::runtime_error{"Internal error: StaticSchema::status(std::string) not implemented. The tests should not have called this overload."}; |
| 260 | } |
| 261 | |
Václav Kubernát | e811bfa | 2020-05-29 02:25:20 +0200 | [diff] [blame] | 262 | yang::NodeTypes StaticSchema::nodeType(const std::string& path) const |
Václav Kubernát | 34ee85a | 2020-02-18 17:12:12 +0100 | [diff] [blame] | 263 | { |
Václav Kubernát | e811bfa | 2020-05-29 02:25:20 +0200 | [diff] [blame] | 264 | auto locationString = stripLastNodeFromPath(path); |
| 265 | |
| 266 | auto node = fullNodeName(locationString, lastNodeOfSchemaPath(path)); |
| 267 | return std::visit(impl_nodeType{}, children(locationString).at(node).m_nodeType); |
Václav Kubernát | 34ee85a | 2020-02-18 17:12:12 +0100 | [diff] [blame] | 268 | } |
Václav Kubernát | ad87ece | 2020-02-19 15:20:56 +0100 | [diff] [blame] | 269 | |
Václav Kubernát | bd5e3c2 | 2020-02-19 15:22:00 +0100 | [diff] [blame] | 270 | std::string StaticSchema::leafrefPath([[maybe_unused]] const std::string& leafrefPath) const |
| 271 | { |
| 272 | throw std::runtime_error{"Internal error: StaticSchema::leafrefPath(std::string) not implemented. The tests should not have called this overload."}; |
| 273 | } |
Václav Kubernát | c386679 | 2020-02-20 14:12:56 +0100 | [diff] [blame] | 274 | |
| 275 | bool StaticSchema::leafIsKey([[maybe_unused]] const std::string& leafPath) const |
| 276 | { |
| 277 | throw std::runtime_error{"Internal error: StaticSchema::leafIsKey(std::string) not implemented. The tests should not have called this overload."}; |
| 278 | } |
Václav Kubernát | 6fcd028 | 2020-02-21 16:33:08 +0100 | [diff] [blame] | 279 | |
| 280 | std::optional<std::string> StaticSchema::leafTypeName([[maybe_unused]] const std::string& path) const |
| 281 | { |
| 282 | throw std::runtime_error{"Internal error: StaticSchema::leafTypeName(std::string) not implemented. The tests should not have called this overload."}; |
| 283 | } |
Václav Kubernát | 0599e9f | 2020-04-21 09:51:33 +0200 | [diff] [blame] | 284 | |
Václav Kubernát | b1a75c6 | 2020-04-21 15:20:16 +0200 | [diff] [blame] | 285 | std::optional<std::string> StaticSchema::defaultValue([[maybe_unused]] const std::string& leafPath) const |
| 286 | { |
| 287 | throw std::runtime_error{"Internal error: StaticSchema::defaultValue(std::string) not implemented. The tests should not have called this overload."}; |
| 288 | } |