Václav Kubernát | 0d4db44 | 2018-07-18 17:18:43 +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 | |
| 9 | #include <libyang/Libyang.hpp> |
Václav Kubernát | c31bd60 | 2019-03-07 11:44:48 +0100 | [diff] [blame] | 10 | #include <libyang/Tree_Data.hpp> |
Václav Kubernát | 0d4db44 | 2018-07-18 17:18:43 +0200 | [diff] [blame] | 11 | #include <libyang/Tree_Schema.hpp> |
| 12 | #include <string_view> |
Václav Kubernát | 26b5608 | 2020-02-03 18:28:56 +0100 | [diff] [blame] | 13 | #include "UniqueResource.hpp" |
Václav Kubernát | 0d4db44 | 2018-07-18 17:18:43 +0200 | [diff] [blame] | 14 | #include "utils.hpp" |
| 15 | #include "yang_schema.hpp" |
| 16 | |
| 17 | class YangLoadError : public std::runtime_error { |
| 18 | public: |
| 19 | using std::runtime_error::runtime_error; |
| 20 | ~YangLoadError() override = default; |
| 21 | }; |
| 22 | |
| 23 | class UnsupportedYangTypeException : public std::runtime_error { |
| 24 | public: |
| 25 | using std::runtime_error::runtime_error; |
| 26 | ~UnsupportedYangTypeException() override = default; |
| 27 | }; |
| 28 | |
| 29 | class InvalidSchemaQueryException : public std::runtime_error { |
| 30 | public: |
| 31 | using std::runtime_error::runtime_error; |
| 32 | ~InvalidSchemaQueryException() override = default; |
| 33 | }; |
| 34 | |
Václav Kubernát | 0d4db44 | 2018-07-18 17:18:43 +0200 | [diff] [blame] | 35 | YangSchema::YangSchema() |
Václav Kubernát | 51d0801 | 2020-06-08 15:20:12 +0200 | [diff] [blame] | 36 | : m_context(std::make_shared<libyang::Context>(nullptr, LY_CTX_DISABLE_SEARCHDIR_CWD)) |
Václav Kubernát | 0d4db44 | 2018-07-18 17:18:43 +0200 | [diff] [blame] | 37 | { |
Václav Kubernát | 0d4db44 | 2018-07-18 17:18:43 +0200 | [diff] [blame] | 38 | } |
| 39 | |
Václav Kubernát | 1d50a5b | 2020-02-03 16:44:22 +0100 | [diff] [blame] | 40 | YangSchema::YangSchema(std::shared_ptr<libyang::Context> lyCtx) |
| 41 | : m_context(lyCtx) |
| 42 | { |
Václav Kubernát | 1d50a5b | 2020-02-03 16:44:22 +0100 | [diff] [blame] | 43 | } |
| 44 | |
Václav Kubernát | 0d4db44 | 2018-07-18 17:18:43 +0200 | [diff] [blame] | 45 | YangSchema::~YangSchema() = default; |
| 46 | |
| 47 | void YangSchema::addSchemaString(const char* schema) |
| 48 | { |
| 49 | if (!m_context->parse_module_mem(schema, LYS_IN_YANG)) { |
| 50 | throw YangLoadError("Couldn't load schema"); |
| 51 | } |
| 52 | } |
| 53 | |
| 54 | void YangSchema::addSchemaDirectory(const char* directoryName) |
| 55 | { |
| 56 | if (m_context->set_searchdir(directoryName)) { |
| 57 | throw YangLoadError("Couldn't add schema search directory"); |
| 58 | } |
| 59 | } |
| 60 | |
| 61 | void YangSchema::addSchemaFile(const char* filename) |
| 62 | { |
| 63 | if (!m_context->parse_module_path(filename, LYS_IN_YANG)) { |
| 64 | throw YangLoadError("Couldn't load schema"); |
| 65 | } |
| 66 | } |
| 67 | |
Václav Kubernát | 75877de | 2019-11-20 17:43:02 +0100 | [diff] [blame] | 68 | bool YangSchema::isModule(const std::string& name) const |
Václav Kubernát | 0d4db44 | 2018-07-18 17:18:43 +0200 | [diff] [blame] | 69 | { |
| 70 | const auto set = modules(); |
| 71 | return set.find(name) != set.end(); |
| 72 | } |
| 73 | |
Václav Kubernát | 2db124c | 2020-05-28 21:58:36 +0200 | [diff] [blame] | 74 | bool YangSchema::listHasKey(const schemaPath_& listPath, const std::string& key) const |
| 75 | { |
| 76 | const auto keys = listKeys(listPath); |
| 77 | return keys.find(key) != keys.end(); |
| 78 | } |
| 79 | |
Václav Kubernát | c386679 | 2020-02-20 14:12:56 +0100 | [diff] [blame] | 80 | bool YangSchema::leafIsKey(const std::string& leafPath) const |
| 81 | { |
| 82 | auto node = getSchemaNode(leafPath); |
Václav Kubernát | 3a43323 | 2020-07-08 17:52:50 +0200 | [diff] [blame] | 83 | if (!node || node->nodetype() != LYS_LEAF) { |
Václav Kubernát | c386679 | 2020-02-20 14:12:56 +0100 | [diff] [blame] | 84 | return false; |
Václav Kubernát | 3a43323 | 2020-07-08 17:52:50 +0200 | [diff] [blame] | 85 | } |
Václav Kubernát | c386679 | 2020-02-20 14:12:56 +0100 | [diff] [blame] | 86 | |
| 87 | return libyang::Schema_Node_Leaf{node}.is_key().get(); |
| 88 | } |
| 89 | |
Václav Kubernát | 47a3f67 | 2019-11-08 15:42:43 +0100 | [diff] [blame] | 90 | libyang::S_Schema_Node YangSchema::impl_getSchemaNode(const std::string& node) const |
Václav Kubernát | 0d4db44 | 2018-07-18 17:18:43 +0200 | [diff] [blame] | 91 | { |
Václav Kubernát | f2b91e0 | 2019-04-11 15:36:48 +0200 | [diff] [blame] | 92 | // If no node is found find_path prints an error message, so we have to |
| 93 | // disable logging |
| 94 | // https://github.com/CESNET/libyang/issues/753 |
| 95 | { |
| 96 | int oldOptions; |
| 97 | auto logBlocker = make_unique_resource( |
| 98 | [&oldOptions]() { |
| 99 | oldOptions = libyang::set_log_options(0); |
| 100 | }, |
| 101 | [&oldOptions]() { |
| 102 | libyang::set_log_options(oldOptions); |
| 103 | }); |
Václav Kubernát | e7248b2 | 2020-06-26 15:38:59 +0200 | [diff] [blame] | 104 | auto res = m_context->get_node(nullptr, node.c_str()); |
| 105 | if (!res) { // If no node is found, try output rpc nodes too. |
| 106 | res = m_context->get_node(nullptr, node.c_str(), 1); |
| 107 | } |
| 108 | return res; |
Václav Kubernát | f2b91e0 | 2019-04-11 15:36:48 +0200 | [diff] [blame] | 109 | } |
Václav Kubernát | 0d4db44 | 2018-07-18 17:18:43 +0200 | [diff] [blame] | 110 | } |
| 111 | |
Václav Kubernát | 47a3f67 | 2019-11-08 15:42:43 +0100 | [diff] [blame] | 112 | |
| 113 | libyang::S_Schema_Node YangSchema::getSchemaNode(const std::string& node) const |
| 114 | { |
| 115 | return impl_getSchemaNode(node); |
| 116 | } |
| 117 | |
| 118 | libyang::S_Schema_Node YangSchema::getSchemaNode(const schemaPath_& location, const ModuleNodePair& node) const |
| 119 | { |
Václav Kubernát | efcac93 | 2020-01-10 15:26:32 +0100 | [diff] [blame] | 120 | std::string absPath = joinPaths(pathToSchemaString(location, Prefixes::Always), fullNodeName(location, node)); |
Václav Kubernát | 47a3f67 | 2019-11-08 15:42:43 +0100 | [diff] [blame] | 121 | |
| 122 | return impl_getSchemaNode(absPath); |
| 123 | } |
| 124 | |
Václav Kubernát | 2db124c | 2020-05-28 21:58:36 +0200 | [diff] [blame] | 125 | libyang::S_Schema_Node YangSchema::getSchemaNode(const schemaPath_& listPath) const |
| 126 | { |
| 127 | std::string absPath = pathToSchemaString(listPath, Prefixes::Always); |
| 128 | return impl_getSchemaNode(absPath); |
| 129 | } |
| 130 | |
Václav Kubernát | 912b949 | 2020-05-29 02:03:40 +0200 | [diff] [blame] | 131 | const std::set<std::string> YangSchema::listKeys(const schemaPath_& listPath) const |
Václav Kubernát | 0d4db44 | 2018-07-18 17:18:43 +0200 | [diff] [blame] | 132 | { |
Václav Kubernát | 912b949 | 2020-05-29 02:03:40 +0200 | [diff] [blame] | 133 | auto node = getSchemaNode(listPath); |
| 134 | if (node->nodetype() != LYS_LIST) { |
| 135 | return {}; |
| 136 | } |
| 137 | |
| 138 | auto list = std::make_shared<libyang::Schema_Node_List>(node); |
Václav Kubernát | 0d4db44 | 2018-07-18 17:18:43 +0200 | [diff] [blame] | 139 | std::set<std::string> keys; |
Václav Kubernát | 2db124c | 2020-05-28 21:58:36 +0200 | [diff] [blame] | 140 | const auto& keysVec = list->keys(); |
Václav Kubernát | 0d4db44 | 2018-07-18 17:18:43 +0200 | [diff] [blame] | 141 | |
Václav Kubernát | 90de950 | 2019-11-20 17:19:44 +0100 | [diff] [blame] | 142 | std::transform(keysVec.begin(), keysVec.end(), std::inserter(keys, keys.begin()), [](const auto& it) { return it->name(); }); |
Václav Kubernát | 0d4db44 | 2018-07-18 17:18:43 +0200 | [diff] [blame] | 143 | return keys; |
| 144 | } |
| 145 | |
Václav Kubernát | 3a99f00 | 2020-03-31 02:27:41 +0200 | [diff] [blame] | 146 | namespace { |
Václav Kubernát | 2984f44 | 2020-02-20 17:43:35 +0100 | [diff] [blame] | 147 | std::set<enum_> enumValues(const libyang::S_Type& typeArg) |
Václav Kubernát | 0d4db44 | 2018-07-18 17:18:43 +0200 | [diff] [blame] | 148 | { |
Václav Kubernát | 2984f44 | 2020-02-20 17:43:35 +0100 | [diff] [blame] | 149 | auto type = typeArg; |
Václav Kubernát | 3a99f00 | 2020-03-31 02:27:41 +0200 | [diff] [blame] | 150 | auto enm = type->info()->enums()->enm(); |
| 151 | // The enum can be a derived type and enm() only returns values, |
| 152 | // if that specific typedef changed the possible values. So we go |
| 153 | // up the hierarchy until we find a typedef that defined these values. |
| 154 | while (enm.empty()) { |
| 155 | type = type->der()->type(); |
| 156 | enm = type->info()->enums()->enm(); |
Václav Kubernát | 6a8d1d9 | 2019-04-24 20:30:36 +0200 | [diff] [blame] | 157 | } |
Václav Kubernát | 3a99f00 | 2020-03-31 02:27:41 +0200 | [diff] [blame] | 158 | |
| 159 | std::vector<libyang::S_Type_Enum> enabled; |
| 160 | std::copy_if(enm.begin(), enm.end(), std::back_inserter(enabled), [](const libyang::S_Type_Enum& it) { |
| 161 | auto iffeatures = it->iffeature(); |
| 162 | return std::all_of(iffeatures.begin(), iffeatures.end(), [](auto it) { return it->value(); }); |
| 163 | }); |
| 164 | |
| 165 | std::set<enum_> enumSet; |
| 166 | std::transform(enabled.begin(), enabled.end(), std::inserter(enumSet, enumSet.end()), [](auto it) { return enum_{it->name()}; }); |
| 167 | return enumSet; |
Václav Kubernát | 6a8d1d9 | 2019-04-24 20:30:36 +0200 | [diff] [blame] | 168 | } |
| 169 | |
Václav Kubernát | 2984f44 | 2020-02-20 17:43:35 +0100 | [diff] [blame] | 170 | std::set<identityRef_> validIdentities(const libyang::S_Type& type) |
Václav Kubernát | 3a99f00 | 2020-03-31 02:27:41 +0200 | [diff] [blame] | 171 | { |
| 172 | std::set<identityRef_> identSet; |
| 173 | |
| 174 | // auto topLevelModule = leaf->module(); |
| 175 | |
Václav Kubernát | 2984f44 | 2020-02-20 17:43:35 +0100 | [diff] [blame] | 176 | auto info = type->info(); |
Václav Kubernát | 3a99f00 | 2020-03-31 02:27:41 +0200 | [diff] [blame] | 177 | for (auto base : info->ident()->ref()) { // Iterate over all bases |
| 178 | identSet.emplace(base->module()->name(), base->name()); |
| 179 | // Iterate over derived identities (this is recursive!) |
| 180 | for (auto derived : base->der()->schema()) { |
| 181 | identSet.emplace(derived->module()->name(), derived->name()); |
| 182 | } |
| 183 | } |
| 184 | |
| 185 | return identSet; |
| 186 | } |
| 187 | |
Václav Kubernát | 2984f44 | 2020-02-20 17:43:35 +0100 | [diff] [blame] | 188 | std::string leafrefPath(const libyang::S_Type& type) |
Václav Kubernát | 3a99f00 | 2020-03-31 02:27:41 +0200 | [diff] [blame] | 189 | { |
Václav Kubernát | 2984f44 | 2020-02-20 17:43:35 +0100 | [diff] [blame] | 190 | return type->info()->lref()->target()->path(LYS_PATH_FIRST_PREFIX); |
Václav Kubernát | 3a99f00 | 2020-03-31 02:27:41 +0200 | [diff] [blame] | 191 | } |
| 192 | } |
| 193 | |
Václav Kubernát | 5b8a8f3 | 2020-05-20 00:57:22 +0200 | [diff] [blame] | 194 | template <typename NodeType> |
Václav Kubernát | 13b23d7 | 2020-04-16 21:49:51 +0200 | [diff] [blame] | 195 | yang::TypeInfo YangSchema::impl_leafType(const libyang::S_Schema_Node& node) const |
Václav Kubernát | 6a8d1d9 | 2019-04-24 20:30:36 +0200 | [diff] [blame] | 196 | { |
| 197 | using namespace std::string_literals; |
Václav Kubernát | 5b8a8f3 | 2020-05-20 00:57:22 +0200 | [diff] [blame] | 198 | auto leaf = std::make_shared<NodeType>(node); |
Václav Kubernát | 13b23d7 | 2020-04-16 21:49:51 +0200 | [diff] [blame] | 199 | auto leafUnits = leaf->units(); |
| 200 | std::function<yang::TypeInfo(std::shared_ptr<libyang::Type>)> resolveType; |
Václav Kubernát | b4e5b18 | 2020-11-16 19:55:09 +0100 | [diff] [blame] | 201 | resolveType = [this, &resolveType, leaf, leafUnits](std::shared_ptr<libyang::Type> type) -> yang::TypeInfo { |
Václav Kubernát | 13b23d7 | 2020-04-16 21:49:51 +0200 | [diff] [blame] | 202 | yang::LeafDataType resType; |
Václav Kubernát | 2984f44 | 2020-02-20 17:43:35 +0100 | [diff] [blame] | 203 | switch (type->base()) { |
| 204 | case LY_TYPE_STRING: |
Václav Kubernát | 13b23d7 | 2020-04-16 21:49:51 +0200 | [diff] [blame] | 205 | resType.emplace<yang::String>(); |
| 206 | break; |
Václav Kubernát | 2984f44 | 2020-02-20 17:43:35 +0100 | [diff] [blame] | 207 | case LY_TYPE_DEC64: |
Václav Kubernát | 13b23d7 | 2020-04-16 21:49:51 +0200 | [diff] [blame] | 208 | resType.emplace<yang::Decimal>(); |
| 209 | break; |
Václav Kubernát | 2984f44 | 2020-02-20 17:43:35 +0100 | [diff] [blame] | 210 | case LY_TYPE_BOOL: |
Václav Kubernát | 13b23d7 | 2020-04-16 21:49:51 +0200 | [diff] [blame] | 211 | resType.emplace<yang::Bool>(); |
| 212 | break; |
Václav Kubernát | 2984f44 | 2020-02-20 17:43:35 +0100 | [diff] [blame] | 213 | case LY_TYPE_INT8: |
Václav Kubernát | 13b23d7 | 2020-04-16 21:49:51 +0200 | [diff] [blame] | 214 | resType.emplace<yang::Int8>(); |
| 215 | break; |
Václav Kubernát | 2984f44 | 2020-02-20 17:43:35 +0100 | [diff] [blame] | 216 | case LY_TYPE_INT16: |
Václav Kubernát | 13b23d7 | 2020-04-16 21:49:51 +0200 | [diff] [blame] | 217 | resType.emplace<yang::Int16>(); |
| 218 | break; |
Václav Kubernát | 2984f44 | 2020-02-20 17:43:35 +0100 | [diff] [blame] | 219 | case LY_TYPE_INT32: |
Václav Kubernát | 13b23d7 | 2020-04-16 21:49:51 +0200 | [diff] [blame] | 220 | resType.emplace<yang::Int32>(); |
| 221 | break; |
Václav Kubernát | 2984f44 | 2020-02-20 17:43:35 +0100 | [diff] [blame] | 222 | case LY_TYPE_INT64: |
Václav Kubernát | 13b23d7 | 2020-04-16 21:49:51 +0200 | [diff] [blame] | 223 | resType.emplace<yang::Int64>(); |
| 224 | break; |
Václav Kubernát | 2984f44 | 2020-02-20 17:43:35 +0100 | [diff] [blame] | 225 | case LY_TYPE_UINT8: |
Václav Kubernát | 13b23d7 | 2020-04-16 21:49:51 +0200 | [diff] [blame] | 226 | resType.emplace<yang::Uint8>(); |
| 227 | break; |
Václav Kubernát | 2984f44 | 2020-02-20 17:43:35 +0100 | [diff] [blame] | 228 | case LY_TYPE_UINT16: |
Václav Kubernát | 13b23d7 | 2020-04-16 21:49:51 +0200 | [diff] [blame] | 229 | resType.emplace<yang::Uint16>(); |
| 230 | break; |
Václav Kubernát | 2984f44 | 2020-02-20 17:43:35 +0100 | [diff] [blame] | 231 | case LY_TYPE_UINT32: |
Václav Kubernát | 13b23d7 | 2020-04-16 21:49:51 +0200 | [diff] [blame] | 232 | resType.emplace<yang::Uint32>(); |
| 233 | break; |
Václav Kubernát | 2984f44 | 2020-02-20 17:43:35 +0100 | [diff] [blame] | 234 | case LY_TYPE_UINT64: |
Václav Kubernát | 13b23d7 | 2020-04-16 21:49:51 +0200 | [diff] [blame] | 235 | resType.emplace<yang::Uint64>(); |
| 236 | break; |
Václav Kubernát | 2984f44 | 2020-02-20 17:43:35 +0100 | [diff] [blame] | 237 | case LY_TYPE_BINARY: |
Václav Kubernát | 13b23d7 | 2020-04-16 21:49:51 +0200 | [diff] [blame] | 238 | resType.emplace<yang::Binary>(); |
| 239 | break; |
Jan Kundrát | 379bb57 | 2020-05-07 03:23:13 +0200 | [diff] [blame] | 240 | case LY_TYPE_EMPTY: |
| 241 | resType.emplace<yang::Empty>(); |
| 242 | break; |
Václav Kubernát | 2984f44 | 2020-02-20 17:43:35 +0100 | [diff] [blame] | 243 | case LY_TYPE_ENUM: |
Václav Kubernát | 13b23d7 | 2020-04-16 21:49:51 +0200 | [diff] [blame] | 244 | resType.emplace<yang::Enum>(enumValues(type)); |
| 245 | break; |
Václav Kubernát | 2984f44 | 2020-02-20 17:43:35 +0100 | [diff] [blame] | 246 | case LY_TYPE_IDENT: |
Václav Kubernát | 13b23d7 | 2020-04-16 21:49:51 +0200 | [diff] [blame] | 247 | resType.emplace<yang::IdentityRef>(validIdentities(type)); |
| 248 | break; |
Václav Kubernát | 2984f44 | 2020-02-20 17:43:35 +0100 | [diff] [blame] | 249 | case LY_TYPE_LEAFREF: |
Václav Kubernát | 13b23d7 | 2020-04-16 21:49:51 +0200 | [diff] [blame] | 250 | resType.emplace<yang::LeafRef>(::leafrefPath(type), std::make_unique<yang::TypeInfo>(leafType(::leafrefPath(type)))); |
| 251 | break; |
Václav Kubernát | b4e5b18 | 2020-11-16 19:55:09 +0100 | [diff] [blame] | 252 | case LY_TYPE_BITS: { |
| 253 | auto resBits = yang::Bits{}; |
| 254 | for (const auto& bit : type->info()->bits()->bit()) { |
| 255 | resBits.m_allowedValues.emplace(bit->name()); |
Václav Kubernát | dab73ca | 2020-10-26 23:44:43 +0100 | [diff] [blame] | 256 | } |
Václav Kubernát | b4e5b18 | 2020-11-16 19:55:09 +0100 | [diff] [blame] | 257 | resType.emplace<yang::Bits>(std::move(resBits)); |
| 258 | break; |
| 259 | } |
| 260 | case LY_TYPE_UNION: { |
| 261 | auto resUnion = yang::Union{}; |
| 262 | for (auto unionType : type->info()->uni()->types()) { |
| 263 | resUnion.m_unionTypes.emplace_back(resolveType(unionType)); |
Václav Kubernát | 2984f44 | 2020-02-20 17:43:35 +0100 | [diff] [blame] | 264 | } |
Václav Kubernát | b4e5b18 | 2020-11-16 19:55:09 +0100 | [diff] [blame] | 265 | resType.emplace<yang::Union>(std::move(resUnion)); |
| 266 | break; |
| 267 | } |
Václav Kubernát | 2984f44 | 2020-02-20 17:43:35 +0100 | [diff] [blame] | 268 | default: |
| 269 | using namespace std::string_literals; |
| 270 | throw UnsupportedYangTypeException("the type of "s + leaf->name() + " is not supported: " + std::to_string(leaf->type()->base())); |
| 271 | } |
Václav Kubernát | 13b23d7 | 2020-04-16 21:49:51 +0200 | [diff] [blame] | 272 | |
| 273 | std::optional<std::string> resUnits; |
| 274 | |
| 275 | if (leafUnits) { |
| 276 | resUnits = leafUnits; |
| 277 | } else { |
| 278 | for (auto parentTypedef = type->der(); parentTypedef; parentTypedef = parentTypedef->type()->der()) { |
| 279 | auto units = parentTypedef->units(); |
| 280 | if (units) { |
| 281 | resUnits = units; |
| 282 | break; |
| 283 | } |
| 284 | } |
| 285 | } |
| 286 | |
| 287 | return yang::TypeInfo(resType, resUnits); |
| 288 | }; |
Václav Kubernát | 2984f44 | 2020-02-20 17:43:35 +0100 | [diff] [blame] | 289 | return resolveType(leaf->type()); |
Václav Kubernát | 6a8d1d9 | 2019-04-24 20:30:36 +0200 | [diff] [blame] | 290 | } |
| 291 | |
Václav Kubernát | 13b23d7 | 2020-04-16 21:49:51 +0200 | [diff] [blame] | 292 | yang::TypeInfo YangSchema::leafType(const schemaPath_& location, const ModuleNodePair& node) const |
Václav Kubernát | 9bf3685 | 2020-02-18 17:47:56 +0100 | [diff] [blame] | 293 | { |
Václav Kubernát | 5b8a8f3 | 2020-05-20 00:57:22 +0200 | [diff] [blame] | 294 | auto lyNode = getSchemaNode(location, node); |
| 295 | switch (lyNode->nodetype()) { |
| 296 | case LYS_LEAF: |
| 297 | return impl_leafType<libyang::Schema_Node_Leaf>(lyNode); |
| 298 | case LYS_LEAFLIST: |
| 299 | return impl_leafType<libyang::Schema_Node_Leaflist>(lyNode); |
| 300 | default: |
| 301 | throw std::logic_error("YangSchema::leafType: type must be leaf or leaflist"); |
| 302 | } |
Václav Kubernát | 9bf3685 | 2020-02-18 17:47:56 +0100 | [diff] [blame] | 303 | } |
| 304 | |
Václav Kubernát | 13b23d7 | 2020-04-16 21:49:51 +0200 | [diff] [blame] | 305 | yang::TypeInfo YangSchema::leafType(const std::string& path) const |
Václav Kubernát | 9bf3685 | 2020-02-18 17:47:56 +0100 | [diff] [blame] | 306 | { |
Václav Kubernát | 5b8a8f3 | 2020-05-20 00:57:22 +0200 | [diff] [blame] | 307 | auto lyNode = getSchemaNode(path); |
| 308 | switch (lyNode->nodetype()) { |
| 309 | case LYS_LEAF: |
| 310 | return impl_leafType<libyang::Schema_Node_Leaf>(lyNode); |
| 311 | case LYS_LEAFLIST: |
| 312 | return impl_leafType<libyang::Schema_Node_Leaflist>(lyNode); |
| 313 | default: |
| 314 | throw std::logic_error("YangSchema::leafType: type must be leaf or leaflist"); |
| 315 | } |
Václav Kubernát | 9bf3685 | 2020-02-18 17:47:56 +0100 | [diff] [blame] | 316 | } |
Václav Kubernát | 6a8d1d9 | 2019-04-24 20:30:36 +0200 | [diff] [blame] | 317 | |
Václav Kubernát | 6fcd028 | 2020-02-21 16:33:08 +0100 | [diff] [blame] | 318 | std::optional<std::string> YangSchema::leafTypeName(const std::string& path) const |
| 319 | { |
| 320 | libyang::Schema_Node_Leaf leaf(getSchemaNode(path)); |
Václav Kubernát | 76ba4ec | 2020-05-18 13:26:56 +0200 | [diff] [blame] | 321 | return leaf.type()->der().get() && leaf.type()->der()->type()->der().get() ? std::optional{leaf.type()->der()->name()} : std::nullopt; |
Václav Kubernát | 6fcd028 | 2020-02-21 16:33:08 +0100 | [diff] [blame] | 322 | } |
| 323 | |
Václav Kubernát | bd5e3c2 | 2020-02-19 15:22:00 +0100 | [diff] [blame] | 324 | std::string YangSchema::leafrefPath(const std::string& leafrefPath) const |
| 325 | { |
| 326 | using namespace std::string_literals; |
| 327 | libyang::Schema_Node_Leaf leaf(getSchemaNode(leafrefPath)); |
| 328 | return leaf.type()->info()->lref()->target()->path(LYS_PATH_FIRST_PREFIX); |
| 329 | } |
Václav Kubernát | 0d4db44 | 2018-07-18 17:18:43 +0200 | [diff] [blame] | 330 | |
| 331 | std::set<std::string> YangSchema::modules() const |
| 332 | { |
Jan Kundrát | 4030b77 | 2018-08-23 15:54:56 +0200 | [diff] [blame] | 333 | const auto& modules = m_context->get_module_iter(); |
Václav Kubernát | 0d4db44 | 2018-07-18 17:18:43 +0200 | [diff] [blame] | 334 | |
| 335 | std::set<std::string> res; |
Václav Kubernát | 90de950 | 2019-11-20 17:19:44 +0100 | [diff] [blame] | 336 | std::transform(modules.begin(), modules.end(), std::inserter(res, res.end()), [](const auto module) { return module->name(); }); |
Václav Kubernát | 0d4db44 | 2018-07-18 17:18:43 +0200 | [diff] [blame] | 337 | return res; |
| 338 | } |
| 339 | |
Václav Kubernát | 95b0887 | 2020-04-28 01:04:17 +0200 | [diff] [blame] | 340 | std::set<ModuleNodePair> YangSchema::availableNodes(const boost::variant<dataPath_, schemaPath_, module_>& path, const Recursion recursion) const |
Václav Kubernát | 0d4db44 | 2018-07-18 17:18:43 +0200 | [diff] [blame] | 341 | { |
| 342 | using namespace std::string_view_literals; |
Václav Kubernát | 95b0887 | 2020-04-28 01:04:17 +0200 | [diff] [blame] | 343 | std::set<ModuleNodePair> res; |
Václav Kubernát | e7d4aea | 2018-09-11 18:15:48 +0200 | [diff] [blame] | 344 | std::vector<libyang::S_Schema_Node> nodes; |
Václav Kubernát | 3a823f4 | 2020-04-29 23:40:21 +0200 | [diff] [blame] | 345 | std::string topLevelModule; |
Václav Kubernát | e7d4aea | 2018-09-11 18:15:48 +0200 | [diff] [blame] | 346 | |
Václav Kubernát | 3a823f4 | 2020-04-29 23:40:21 +0200 | [diff] [blame] | 347 | if (path.type() == typeid(module_)) { |
| 348 | nodes = m_context->get_module(boost::get<module_>(path).m_name.c_str())->data_instantiables(0); |
Václav Kubernát | 0d4db44 | 2018-07-18 17:18:43 +0200 | [diff] [blame] | 349 | } else { |
Václav Kubernát | 3a823f4 | 2020-04-29 23:40:21 +0200 | [diff] [blame] | 350 | auto schemaPath = anyPathToSchemaPath(path); |
| 351 | if (schemaPath.m_nodes.empty()) { |
| 352 | nodes = m_context->data_instantiables(0); |
| 353 | } else { |
| 354 | const auto pathString = pathToSchemaString(schemaPath, Prefixes::Always); |
| 355 | const auto node = getSchemaNode(pathString); |
| 356 | nodes = node->child_instantiables(0); |
| 357 | topLevelModule = schemaPath.m_nodes.begin()->m_prefix->m_name; |
| 358 | } |
Václav Kubernát | 0d4db44 | 2018-07-18 17:18:43 +0200 | [diff] [blame] | 359 | } |
Václav Kubernát | e7d4aea | 2018-09-11 18:15:48 +0200 | [diff] [blame] | 360 | |
Václav Kubernát | ef08574 | 2020-04-21 09:28:44 +0200 | [diff] [blame] | 361 | for (const auto& node : nodes) { |
Václav Kubernát | 3a43323 | 2020-07-08 17:52:50 +0200 | [diff] [blame] | 362 | if (node->module()->name() == "ietf-yang-library"sv) { |
Václav Kubernát | 89728d8 | 2018-09-13 16:28:28 +0200 | [diff] [blame] | 363 | continue; |
Václav Kubernát | 3a43323 | 2020-07-08 17:52:50 +0200 | [diff] [blame] | 364 | } |
Václav Kubernát | aaafeae | 2020-05-05 15:41:45 +0200 | [diff] [blame] | 365 | |
Václav Kubernát | e7d4aea | 2018-09-11 18:15:48 +0200 | [diff] [blame] | 366 | if (recursion == Recursion::Recursive) { |
| 367 | for (auto it : node->tree_dfs()) { |
Václav Kubernát | 95b0887 | 2020-04-28 01:04:17 +0200 | [diff] [blame] | 368 | res.insert(ModuleNodePair(boost::none, it->path(LYS_PATH_FIRST_PREFIX))); |
Václav Kubernát | e7d4aea | 2018-09-11 18:15:48 +0200 | [diff] [blame] | 369 | } |
| 370 | } else { |
Václav Kubernát | 95b0887 | 2020-04-28 01:04:17 +0200 | [diff] [blame] | 371 | ModuleNodePair toInsert; |
Václav Kubernát | 3a823f4 | 2020-04-29 23:40:21 +0200 | [diff] [blame] | 372 | if (topLevelModule.empty() || topLevelModule != node->module()->name()) { |
Václav Kubernát | 82d7463 | 2020-05-11 15:59:53 +0200 | [diff] [blame] | 373 | toInsert.first = node->module()->type() == 0 ? node->module()->name() : libyang::Submodule(node->module()).belongsto()->name(); |
Václav Kubernát | 4f77a25 | 2019-02-19 16:51:30 +0100 | [diff] [blame] | 374 | } |
Václav Kubernát | 95b0887 | 2020-04-28 01:04:17 +0200 | [diff] [blame] | 375 | toInsert.second = node->name(); |
Václav Kubernát | 4f77a25 | 2019-02-19 16:51:30 +0100 | [diff] [blame] | 376 | res.insert(toInsert); |
Václav Kubernát | e7d4aea | 2018-09-11 18:15:48 +0200 | [diff] [blame] | 377 | } |
| 378 | } |
| 379 | |
Václav Kubernát | 0d4db44 | 2018-07-18 17:18:43 +0200 | [diff] [blame] | 380 | return res; |
| 381 | } |
Václav Kubernát | a6c5fff | 2018-09-07 15:16:25 +0200 | [diff] [blame] | 382 | |
| 383 | void YangSchema::loadModule(const std::string& moduleName) |
| 384 | { |
| 385 | m_context->load_module(moduleName.c_str()); |
| 386 | } |
| 387 | |
Václav Kubernát | bf9c611 | 2019-11-04 16:03:35 +0100 | [diff] [blame] | 388 | void YangSchema::enableFeature(const std::string& moduleName, const std::string& featureName) |
| 389 | { |
Václav Kubernát | 7aaf6dc | 2020-06-26 18:03:57 +0200 | [diff] [blame] | 390 | using namespace std::string_literals; |
Václav Kubernát | f44bdda | 2020-06-22 15:58:41 +0200 | [diff] [blame] | 391 | auto module = getYangModule(moduleName); |
| 392 | if (!module) { |
Václav Kubernát | f44bdda | 2020-06-22 15:58:41 +0200 | [diff] [blame] | 393 | throw std::runtime_error("Module \""s + moduleName + "\" doesn't exist."); |
| 394 | } |
Václav Kubernát | 7aaf6dc | 2020-06-26 18:03:57 +0200 | [diff] [blame] | 395 | if (module->feature_enable(featureName.c_str())) { |
| 396 | throw std::runtime_error("Can't enable feature \""s + featureName + "\" for module \"" + moduleName + "\"."); |
| 397 | } |
Václav Kubernát | bf9c611 | 2019-11-04 16:03:35 +0100 | [diff] [blame] | 398 | } |
| 399 | |
Václav Kubernát | b52dc25 | 2019-12-04 13:03:39 +0100 | [diff] [blame] | 400 | void YangSchema::registerModuleCallback(const std::function<std::string(const char*, const char*, const char*, const char*)>& clb) |
Václav Kubernát | a6c5fff | 2018-09-07 15:16:25 +0200 | [diff] [blame] | 401 | { |
| 402 | auto lambda = [clb](const char* mod_name, const char* mod_revision, const char* submod_name, const char* submod_revision) { |
| 403 | (void)submod_revision; |
Václav Kubernát | b52dc25 | 2019-12-04 13:03:39 +0100 | [diff] [blame] | 404 | auto moduleSource = clb(mod_name, mod_revision, submod_name, submod_revision); |
Václav Kubernát | a6c5fff | 2018-09-07 15:16:25 +0200 | [diff] [blame] | 405 | if (moduleSource.empty()) { |
| 406 | return libyang::Context::mod_missing_cb_return{LYS_IN_YANG, nullptr}; |
| 407 | } |
| 408 | return libyang::Context::mod_missing_cb_return{LYS_IN_YANG, strdup(moduleSource.c_str())}; |
| 409 | }; |
| 410 | |
| 411 | auto deleter = [](void* data) { |
Václav Kubernát | e3d282a | 2020-07-09 10:32:12 +0200 | [diff] [blame] | 412 | free(data); // NOLINT(cppcoreguidelines-owning-memory,cppcoreguidelines-no-malloc) |
Václav Kubernát | a6c5fff | 2018-09-07 15:16:25 +0200 | [diff] [blame] | 413 | }; |
| 414 | m_context->add_missing_module_callback(lambda, deleter); |
| 415 | } |
Václav Kubernát | c31bd60 | 2019-03-07 11:44:48 +0100 | [diff] [blame] | 416 | |
| 417 | std::shared_ptr<libyang::Data_Node> YangSchema::dataNodeFromPath(const std::string& path, const std::optional<const std::string> value) const |
| 418 | { |
| 419 | return std::make_shared<libyang::Data_Node>(m_context, |
| 420 | path.c_str(), |
| 421 | value ? value.value().c_str() : nullptr, |
| 422 | LYD_ANYDATA_CONSTSTRING, |
Václav Kubernát | ab612e9 | 2019-11-26 19:51:31 +0100 | [diff] [blame] | 423 | LYD_PATH_OPT_EDIT); |
Václav Kubernát | c31bd60 | 2019-03-07 11:44:48 +0100 | [diff] [blame] | 424 | } |
| 425 | |
| 426 | std::shared_ptr<libyang::Module> YangSchema::getYangModule(const std::string& name) |
| 427 | { |
Václav Kubernát | f44bdda | 2020-06-22 15:58:41 +0200 | [diff] [blame] | 428 | return m_context->get_module(name.c_str()); |
Václav Kubernát | c31bd60 | 2019-03-07 11:44:48 +0100 | [diff] [blame] | 429 | } |
Václav Kubernát | 34ee85a | 2020-02-18 17:12:12 +0100 | [diff] [blame] | 430 | |
| 431 | namespace { |
| 432 | yang::NodeTypes impl_nodeType(const libyang::S_Schema_Node& node) |
| 433 | { |
| 434 | if (!node) { |
| 435 | throw InvalidNodeException(); |
| 436 | } |
| 437 | switch (node->nodetype()) { |
| 438 | case LYS_CONTAINER: |
| 439 | return libyang::Schema_Node_Container{node}.presence() ? yang::NodeTypes::PresenceContainer : yang::NodeTypes::Container; |
| 440 | case LYS_LEAF: |
| 441 | return yang::NodeTypes::Leaf; |
| 442 | case LYS_LIST: |
| 443 | return yang::NodeTypes::List; |
Václav Kubernát | aaafeae | 2020-05-05 15:41:45 +0200 | [diff] [blame] | 444 | case LYS_RPC: |
| 445 | return yang::NodeTypes::Rpc; |
| 446 | case LYS_ACTION: |
| 447 | return yang::NodeTypes::Action; |
| 448 | case LYS_NOTIF: |
| 449 | return yang::NodeTypes::Notification; |
| 450 | case LYS_ANYXML: |
| 451 | return yang::NodeTypes::AnyXml; |
| 452 | case LYS_LEAFLIST: |
| 453 | return yang::NodeTypes::LeafList; |
Václav Kubernát | 34ee85a | 2020-02-18 17:12:12 +0100 | [diff] [blame] | 454 | default: |
Václav Kubernát | 2a14139 | 2020-02-18 17:12:32 +0100 | [diff] [blame] | 455 | throw InvalidNodeException(); // FIXME: Implement all types. |
Václav Kubernát | 34ee85a | 2020-02-18 17:12:12 +0100 | [diff] [blame] | 456 | } |
| 457 | } |
| 458 | } |
| 459 | |
| 460 | yang::NodeTypes YangSchema::nodeType(const schemaPath_& location, const ModuleNodePair& node) const |
| 461 | { |
| 462 | return impl_nodeType(getSchemaNode(location, node)); |
| 463 | } |
| 464 | |
| 465 | yang::NodeTypes YangSchema::nodeType(const std::string& path) const |
| 466 | { |
| 467 | return impl_nodeType(getSchemaNode(path)); |
| 468 | } |
Václav Kubernát | 1e09bd6 | 2020-02-17 15:13:38 +0100 | [diff] [blame] | 469 | |
| 470 | std::optional<std::string> YangSchema::description(const std::string& path) const |
| 471 | { |
| 472 | auto node = getSchemaNode(path.c_str()); |
| 473 | return node->dsc() ? std::optional{node->dsc()} : std::nullopt; |
| 474 | } |
Václav Kubernát | 0599e9f | 2020-04-21 09:51:33 +0200 | [diff] [blame] | 475 | |
Václav Kubernát | a1c4c9e | 2020-04-22 00:37:52 +0200 | [diff] [blame] | 476 | yang::Status YangSchema::status(const std::string& location) const |
| 477 | { |
| 478 | auto node = getSchemaNode(location.c_str()); |
| 479 | if (node->flags() & LYS_STATUS_DEPRC) { |
| 480 | return yang::Status::Deprecated; |
| 481 | } else if (node->flags() & LYS_STATUS_OBSLT) { |
| 482 | return yang::Status::Obsolete; |
| 483 | } else { |
| 484 | return yang::Status::Current; |
| 485 | } |
| 486 | } |
| 487 | |
Václav Kubernát | 0599e9f | 2020-04-21 09:51:33 +0200 | [diff] [blame] | 488 | bool YangSchema::isConfig(const std::string& path) const |
| 489 | { |
Václav Kubernát | e7248b2 | 2020-06-26 15:38:59 +0200 | [diff] [blame] | 490 | auto node = getSchemaNode(path.c_str()); |
| 491 | if (node->flags() & LYS_CONFIG_W) { |
| 492 | return true; |
| 493 | } |
| 494 | |
| 495 | // Node can still be an input node. |
| 496 | while (node->parent()) { |
| 497 | node = node->parent(); |
| 498 | if (node->nodetype() == LYS_INPUT) { |
| 499 | return true; |
| 500 | } |
| 501 | } |
| 502 | |
| 503 | return false; |
Václav Kubernát | 0599e9f | 2020-04-21 09:51:33 +0200 | [diff] [blame] | 504 | } |
Václav Kubernát | b1a75c6 | 2020-04-21 15:20:16 +0200 | [diff] [blame] | 505 | |
| 506 | std::optional<std::string> YangSchema::defaultValue(const std::string& leafPath) const |
| 507 | { |
| 508 | libyang::Schema_Node_Leaf leaf(getSchemaNode(leafPath)); |
| 509 | |
| 510 | if (auto leafDefault = leaf.dflt()) { |
| 511 | return leafDefault; |
| 512 | } |
| 513 | |
| 514 | for (auto type = leaf.type()->der(); type != nullptr; type = type->type()->der()) { |
| 515 | if (auto defaultValue = type->dflt()) { |
| 516 | return defaultValue; |
| 517 | } |
| 518 | } |
| 519 | |
| 520 | return std::nullopt; |
| 521 | } |
Václav Kubernát | a878960 | 2020-07-20 15:18:19 +0200 | [diff] [blame] | 522 | |
| 523 | std::string YangSchema::dataPathToSchemaPath(const std::string& path) |
| 524 | { |
| 525 | return getSchemaNode(path)->path(LYS_PATH_FIRST_PREFIX); |
| 526 | } |