blob: 44c98c3e1da783c4e889da0c5834ed030199397e [file] [log] [blame]
Václav Kubernát24df80e2018-06-06 15:18:03 +02001/*
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 <experimental/iterator>
Václav Kubernát509ce652019-05-29 19:46:44 +020010#include <sstream>
Václav Kubernát24df80e2018-06-06 15:18:03 +020011#include "ast_path.hpp"
12#include "utils.hpp"
13
14container_::container_(const std::string& name)
15 : m_name(name)
16{
17}
18
19bool container_::operator==(const container_& b) const
20{
21 return this->m_name == b.m_name;
22}
23
24leaf_::leaf_(const std::string& name)
25 : m_name(name)
26{
27}
28
Václav Kubernát5b8a8f32020-05-20 00:57:22 +020029bool leafListElement_::operator==(const leafListElement_& b) const
30{
31 return this->m_name == b.m_name && this->m_value == b.m_value;
32}
33
Václav Kubernát5b8a8f32020-05-20 00:57:22 +020034leafList_::leafList_(const std::string& name)
35 : m_name(name)
36{
37}
38
39bool leafList_::operator==(const leafList_& b) const
40{
41 return this->m_name == b.m_name;
42}
43
Václav Kubernát744f57f2018-06-29 22:46:26 +020044bool module_::operator==(const module_& b) const
45{
46 return this->m_name == b.m_name;
47}
48
Václav Kubernát2eaceb82018-10-08 19:56:30 +020049dataNode_::dataNode_() = default;
Václav Kubernát744f57f2018-06-29 22:46:26 +020050
Václav Kubernát2eaceb82018-10-08 19:56:30 +020051dataNode_::dataNode_(decltype(m_suffix) node)
Václav Kubernát744f57f2018-06-29 22:46:26 +020052 : m_suffix(node)
53{
54}
55
Václav Kubernát2eaceb82018-10-08 19:56:30 +020056dataNode_::dataNode_(module_ module, decltype(m_suffix) node)
Václav Kubernát744f57f2018-06-29 22:46:26 +020057 : m_prefix(module)
58 , m_suffix(node)
59{
60}
61
Václav Kubernát2db124c2020-05-28 21:58:36 +020062dataNode_::dataNode_(boost::optional<module_> module, decltype(m_suffix) node)
63 : m_prefix(module)
64 , m_suffix(node)
65{
66
67}
68
Václav Kubernát5c75b252018-10-10 18:33:47 +020069schemaNode_::schemaNode_(decltype(m_suffix) node)
70 : m_suffix(node)
71{
72}
73
Václav Kubernát2eaceb82018-10-08 19:56:30 +020074schemaNode_::schemaNode_(module_ module, decltype(m_suffix) node)
75 : m_prefix(module)
76 , m_suffix(node)
77{
78}
Václav Kubernát744f57f2018-06-29 22:46:26 +020079
Václav Kubernát2eaceb82018-10-08 19:56:30 +020080schemaNode_::schemaNode_() = default;
81
82bool schemaNode_::operator==(const schemaNode_& b) const
83{
84 return this->m_suffix == b.m_suffix && this->m_prefix == b.m_prefix;
85}
86
87bool dataNode_::operator==(const dataNode_& b) const
Václav Kubernát744f57f2018-06-29 22:46:26 +020088{
89 return this->m_suffix == b.m_suffix && this->m_prefix == b.m_prefix;
90}
91
Václav Kubernát24df80e2018-06-06 15:18:03 +020092bool leaf_::operator==(const leaf_& b) const
93{
94 return this->m_name == b.m_name;
95}
96
Václav Kubernátc15fe822020-06-04 11:28:39 +020097listElement_::listElement_(const std::string& listName, const ListInstance& keys)
Václav Kubernát24df80e2018-06-06 15:18:03 +020098 : m_name(listName)
99 , m_keys(keys)
100{
101}
102
103bool listElement_::operator==(const listElement_& b) const
104{
105 return (this->m_name == b.m_name && this->m_keys == b.m_keys);
106}
107
Václav Kubernát2eaceb82018-10-08 19:56:30 +0200108bool list_::operator==(const list_& b) const
109{
110 return (this->m_name == b.m_name);
111}
112
113list_::list_(const std::string& listName)
114 : m_name(listName)
115{
116}
117
Jan Kundrát97376f72020-06-15 19:26:31 +0200118namespace {
119template <typename T, typename U>
120auto findFirstOf(const std::vector<U>& nodes)
121{
122 return std::find_if(nodes.begin(), nodes.end(), [](const auto& e) {
123 return std::holds_alternative<T>(e.m_suffix);
124 });
125}
126
127template <typename T>
128void validatePathNodes(const std::vector<T>& nodes)
129{
130 static_assert(std::is_same<T, dataNode_>() || std::is_same<T, schemaNode_>());
131
132 if (nodes.empty()) {
133 // there are default ctors, so it makes sense to specify the same thing via explicit args and not fail
134 return;
135 }
136
137 if (auto firstLeaf = findFirstOf<leaf_>(nodes);
138 firstLeaf != nodes.end() && firstLeaf != nodes.end() - 1) {
139 throw std::logic_error{"Cannot put any extra nodes after a leaf"};
140 }
141
142 if (auto firstLeafList = findFirstOf<leafList_>(nodes);
143 firstLeafList != nodes.end() && firstLeafList != nodes.end() - 1) {
144 throw std::logic_error{"Cannot put any extra nodes after a leaf-list"};
145 }
146
147 if constexpr (std::is_same<T, dataNode_>()) {
148 if (auto firstLeafListElements = findFirstOf<leafListElement_>(nodes);
149 firstLeafListElements != nodes.end() && firstLeafListElements != nodes.end() - 1) {
150 throw std::logic_error{"Cannot put any extra nodes after a leaf-list with element specification"};
151 }
152 if (auto firstList = findFirstOf<list_>(nodes);
153 firstList != nodes.end() && firstList != nodes.end() - 1) {
154 throw std::logic_error{
155 "A list with no key specification can be present only as a last item in a dataPath. Did you mean to use a schemaPath?"
156 };
157 }
158 }
159}
160}
161
Václav Kubernát51fa48e2020-07-08 17:17:34 +0200162schemaPath_::schemaPath_() = default;
Jan Kundrát97376f72020-06-15 19:26:31 +0200163
164schemaPath_::schemaPath_(const Scope scope, const std::vector<schemaNode_>& nodes, const TrailingSlash trailingSlash)
165 : m_scope(scope)
166 , m_nodes(nodes)
167 , m_trailingSlash(trailingSlash)
168{
169 validatePathNodes(m_nodes);
170}
171
Václav Kubernát2eaceb82018-10-08 19:56:30 +0200172bool schemaPath_::operator==(const schemaPath_& b) const
173{
Václav Kubernát3a433232020-07-08 17:52:50 +0200174 if (this->m_nodes.size() != b.m_nodes.size()) {
Václav Kubernát2eaceb82018-10-08 19:56:30 +0200175 return false;
Václav Kubernát3a433232020-07-08 17:52:50 +0200176 }
Václav Kubernát2eaceb82018-10-08 19:56:30 +0200177 return this->m_nodes == b.m_nodes;
178}
179
Václav Kubernát51fa48e2020-07-08 17:17:34 +0200180dataPath_::dataPath_() = default;
Jan Kundrát97376f72020-06-15 19:26:31 +0200181
182dataPath_::dataPath_(const Scope scope, const std::vector<dataNode_>& nodes, const TrailingSlash trailingSlash)
183 : m_scope(scope)
184 , m_nodes(nodes)
185 , m_trailingSlash(trailingSlash)
186{
187 validatePathNodes(m_nodes);
188}
189
Václav Kubernát2eaceb82018-10-08 19:56:30 +0200190bool dataPath_::operator==(const dataPath_& b) const
Václav Kubernát24df80e2018-06-06 15:18:03 +0200191{
Václav Kubernát3a433232020-07-08 17:52:50 +0200192 if (this->m_nodes.size() != b.m_nodes.size()) {
Václav Kubernát24df80e2018-06-06 15:18:03 +0200193 return false;
Václav Kubernát3a433232020-07-08 17:52:50 +0200194 }
Václav Kubernát24df80e2018-06-06 15:18:03 +0200195 return this->m_nodes == b.m_nodes;
196}
197
Václav Kubernátb5ca1542020-05-27 01:03:54 +0200198struct nodeToSchemaStringVisitor {
Václav Kubernát24df80e2018-06-06 15:18:03 +0200199 std::string operator()(const nodeup_&) const
200 {
201 return "..";
202 }
203 template <class T>
204 std::string operator()(const T& node) const
205 {
206 return node.m_name;
207 }
208};
Jan Kundrát2a8f4332018-09-14 17:05:31 +0200209
210std::string escapeListKeyString(const std::string& what)
211{
212 // If we have both single and double quote, then we're screwed, but that "shouldn't happen"
213 // in <= YANG 1.1 due to limitations in XPath 1.0.
214 if (what.find('\'') != std::string::npos) {
215 return '\"' + what + '\"';
216 } else {
217 return '\'' + what + '\'';
218 }
219}
220
Václav Kubernátb5ca1542020-05-27 01:03:54 +0200221struct nodeToDataStringVisitor {
Václav Kubernát24df80e2018-06-06 15:18:03 +0200222 std::string operator()(const listElement_& node) const
223 {
224 std::ostringstream res;
225 res << node.m_name + "[";
226 std::transform(node.m_keys.begin(), node.m_keys.end(),
Václav Kubernát5395e712019-12-03 18:24:33 +0100227 std::experimental::make_ostream_joiner(res, "]["),
Václav Kubernát7707cae2020-01-16 12:04:53 +0100228 [] (const auto& it) { return it.first + "=" + escapeListKeyString(leafDataToString(it.second)); });
Václav Kubernát24df80e2018-06-06 15:18:03 +0200229 res << "]";
Václav Kubernátebca2552018-06-08 19:06:02 +0200230 return res.str();
Václav Kubernát24df80e2018-06-06 15:18:03 +0200231 }
Václav Kubernát5b8a8f32020-05-20 00:57:22 +0200232 std::string operator()(const leafListElement_& node) const
233 {
234 return node.m_name + "[.=" + escapeListKeyString(leafDataToString(node.m_value)) + "]";
235 }
Václav Kubernát24df80e2018-06-06 15:18:03 +0200236 std::string operator()(const nodeup_&) const
237 {
238 return "..";
239 }
240 template <class T>
241 std::string operator()(const T& node) const
242 {
243 return node.m_name;
244 }
245};
246
Václav Kubernát2eaceb82018-10-08 19:56:30 +0200247std::string nodeToSchemaString(decltype(dataPath_::m_nodes)::value_type node)
Václav Kubernát744f57f2018-06-29 22:46:26 +0200248{
Václav Kubernátb5ca1542020-05-27 01:03:54 +0200249 return std::visit(nodeToSchemaStringVisitor(), node.m_suffix);
Václav Kubernát744f57f2018-06-29 22:46:26 +0200250}
251
Václav Kubernátefcac932020-01-10 15:26:32 +0100252std::string pathToDataString(const dataPath_& path, Prefixes prefixes)
Václav Kubernát24df80e2018-06-06 15:18:03 +0200253{
254 std::string res;
Václav Kubernát5395e712019-12-03 18:24:33 +0100255 if (path.m_scope == Scope::Absolute) {
256 res = "/";
257 }
Václav Kubernátefcac932020-01-10 15:26:32 +0100258
Václav Kubernátef085742020-04-21 09:28:44 +0200259 for (const auto& it : path.m_nodes) {
Václav Kubernát3a433232020-07-08 17:52:50 +0200260 if (it.m_prefix) {
Václav Kubernátb5ca1542020-05-27 01:03:54 +0200261 res = joinPaths(res, it.m_prefix.value().m_name + ":" + std::visit(nodeToDataStringVisitor(), it.m_suffix));
Václav Kubernát3a433232020-07-08 17:52:50 +0200262 } else {
Václav Kubernátb5ca1542020-05-27 01:03:54 +0200263 res = joinPaths(res, (prefixes == Prefixes::Always ? path.m_nodes.at(0).m_prefix.value().m_name + ":" : "") + std::visit(nodeToDataStringVisitor(), it.m_suffix));
Václav Kubernát3a433232020-07-08 17:52:50 +0200264 }
Václav Kubernátefcac932020-01-10 15:26:32 +0100265 }
Václav Kubernát744f57f2018-06-29 22:46:26 +0200266
267 return res;
268}
269
Václav Kubernátefcac932020-01-10 15:26:32 +0100270std::string pathToSchemaString(const schemaPath_& path, Prefixes prefixes)
Václav Kubernát744f57f2018-06-29 22:46:26 +0200271{
272 std::string res;
Václav Kubernátefcac932020-01-10 15:26:32 +0100273 if (path.m_scope == Scope::Absolute) {
274 res = "/";
Václav Kubernát744f57f2018-06-29 22:46:26 +0200275 }
276
Václav Kubernátef085742020-04-21 09:28:44 +0200277 for (const auto& it : path.m_nodes) {
Václav Kubernát3a433232020-07-08 17:52:50 +0200278 if (it.m_prefix) {
Václav Kubernátb5ca1542020-05-27 01:03:54 +0200279 res = joinPaths(res, it.m_prefix.value().m_name + ":" + std::visit(nodeToSchemaStringVisitor(), it.m_suffix));
Václav Kubernát3a433232020-07-08 17:52:50 +0200280 } else {
Václav Kubernátb5ca1542020-05-27 01:03:54 +0200281 res = joinPaths(res, (prefixes == Prefixes::Always ? path.m_nodes.at(0).m_prefix.value().m_name + ":" : "") + std::visit(nodeToSchemaStringVisitor(), it.m_suffix));
Václav Kubernát3a433232020-07-08 17:52:50 +0200282 }
Václav Kubernát744f57f2018-06-29 22:46:26 +0200283 }
Václav Kubernát24df80e2018-06-06 15:18:03 +0200284 return res;
285}
286
Václav Kubernátefcac932020-01-10 15:26:32 +0100287std::string pathToSchemaString(const dataPath_& path, Prefixes prefixes)
Václav Kubernát24df80e2018-06-06 15:18:03 +0200288{
Václav Kubernátefcac932020-01-10 15:26:32 +0100289 return pathToSchemaString(dataPathToSchemaPath(path), prefixes);
Václav Kubernát5c75b252018-10-10 18:33:47 +0200290}
291
Václav Kubernátb5ca1542020-05-27 01:03:54 +0200292struct dataSuffixToSchemaSuffix {
293 using ReturnType = decltype(schemaNode_::m_suffix);
294 ReturnType operator()(const listElement_& listElement) const
Václav Kubernát2eaceb82018-10-08 19:56:30 +0200295 {
296 return list_{listElement.m_name};
297 }
298
Václav Kubernátb5ca1542020-05-27 01:03:54 +0200299 ReturnType operator()(const leafListElement_& leafListElement) const
Václav Kubernát5b8a8f32020-05-20 00:57:22 +0200300 {
301 return leafList_{leafListElement.m_name};
302 }
303
Václav Kubernát2eaceb82018-10-08 19:56:30 +0200304 template <typename T>
Václav Kubernátb5ca1542020-05-27 01:03:54 +0200305 ReturnType operator()(const T& suffix) const
Václav Kubernát2eaceb82018-10-08 19:56:30 +0200306 {
307 return suffix;
308 }
309};
310
311schemaNode_ dataNodeToSchemaNode(const dataNode_& node)
312{
313 schemaNode_ res;
314 res.m_prefix = node.m_prefix;
Václav Kubernátb5ca1542020-05-27 01:03:54 +0200315 res.m_suffix = std::visit(dataSuffixToSchemaSuffix(), node.m_suffix);
Václav Kubernát2eaceb82018-10-08 19:56:30 +0200316 return res;
317}
318
319schemaPath_ dataPathToSchemaPath(const dataPath_& path)
320{
Václav Kubernátbf083ec2019-02-19 13:58:09 +0100321 schemaPath_ res{path.m_scope, {}};
Václav Kubernát2eaceb82018-10-08 19:56:30 +0200322
Václav Kubernátbf083ec2019-02-19 13:58:09 +0100323 std::transform(path.m_nodes.begin(), path.m_nodes.end(),
324 std::back_inserter(res.m_nodes),
325 [](const dataNode_& node) { return dataNodeToSchemaNode(node); });
Václav Kubernát2eaceb82018-10-08 19:56:30 +0200326
Václav Kubernátbf083ec2019-02-19 13:58:09 +0100327 return res;
Václav Kubernát2eaceb82018-10-08 19:56:30 +0200328}
Václav Kubernáte781b902020-06-15 14:35:11 +0200329
330namespace {
331template <typename NodeType>
332void impl_pushFragment(std::vector<NodeType>& where, const NodeType& what)
333{
334 if (std::holds_alternative<nodeup_>(what.m_suffix)) {
335 if (!where.empty()) { // Allow going up, when already at root
336 where.pop_back();
337 }
338 } else {
Václav Kubernátfaacd022020-07-08 16:44:38 +0200339 where.emplace_back(what);
Václav Kubernáte781b902020-06-15 14:35:11 +0200340 }
341}
342}
343
344void schemaPath_::pushFragment(const schemaNode_& fragment)
345{
346 impl_pushFragment(m_nodes, fragment);
Jan Kundrát97376f72020-06-15 19:26:31 +0200347 validatePathNodes(m_nodes);
Václav Kubernáte781b902020-06-15 14:35:11 +0200348}
349
350void dataPath_::pushFragment(const dataNode_& fragment)
351{
352 impl_pushFragment(m_nodes, fragment);
Jan Kundrát97376f72020-06-15 19:26:31 +0200353 validatePathNodes(m_nodes);
Václav Kubernáte781b902020-06-15 14:35:11 +0200354}