blob: f107cca83d6d445ad911dfd790895168c5394dc2 [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{
174 if (this->m_nodes.size() != b.m_nodes.size())
175 return false;
176 return this->m_nodes == b.m_nodes;
177}
178
Václav Kubernát51fa48e2020-07-08 17:17:34 +0200179dataPath_::dataPath_() = default;
Jan Kundrát97376f72020-06-15 19:26:31 +0200180
181dataPath_::dataPath_(const Scope scope, const std::vector<dataNode_>& nodes, const TrailingSlash trailingSlash)
182 : m_scope(scope)
183 , m_nodes(nodes)
184 , m_trailingSlash(trailingSlash)
185{
186 validatePathNodes(m_nodes);
187}
188
Václav Kubernát2eaceb82018-10-08 19:56:30 +0200189bool dataPath_::operator==(const dataPath_& b) const
Václav Kubernát24df80e2018-06-06 15:18:03 +0200190{
191 if (this->m_nodes.size() != b.m_nodes.size())
192 return false;
193 return this->m_nodes == b.m_nodes;
194}
195
Václav Kubernátb5ca1542020-05-27 01:03:54 +0200196struct nodeToSchemaStringVisitor {
Václav Kubernát24df80e2018-06-06 15:18:03 +0200197 std::string operator()(const nodeup_&) const
198 {
199 return "..";
200 }
201 template <class T>
202 std::string operator()(const T& node) const
203 {
204 return node.m_name;
205 }
206};
Jan Kundrát2a8f4332018-09-14 17:05:31 +0200207
208std::string escapeListKeyString(const std::string& what)
209{
210 // If we have both single and double quote, then we're screwed, but that "shouldn't happen"
211 // in <= YANG 1.1 due to limitations in XPath 1.0.
212 if (what.find('\'') != std::string::npos) {
213 return '\"' + what + '\"';
214 } else {
215 return '\'' + what + '\'';
216 }
217}
218
Václav Kubernátb5ca1542020-05-27 01:03:54 +0200219struct nodeToDataStringVisitor {
Václav Kubernát24df80e2018-06-06 15:18:03 +0200220 std::string operator()(const listElement_& node) const
221 {
222 std::ostringstream res;
223 res << node.m_name + "[";
224 std::transform(node.m_keys.begin(), node.m_keys.end(),
Václav Kubernát5395e712019-12-03 18:24:33 +0100225 std::experimental::make_ostream_joiner(res, "]["),
Václav Kubernát7707cae2020-01-16 12:04:53 +0100226 [] (const auto& it) { return it.first + "=" + escapeListKeyString(leafDataToString(it.second)); });
Václav Kubernát24df80e2018-06-06 15:18:03 +0200227 res << "]";
Václav Kubernátebca2552018-06-08 19:06:02 +0200228 return res.str();
Václav Kubernát24df80e2018-06-06 15:18:03 +0200229 }
Václav Kubernát5b8a8f32020-05-20 00:57:22 +0200230 std::string operator()(const leafListElement_& node) const
231 {
232 return node.m_name + "[.=" + escapeListKeyString(leafDataToString(node.m_value)) + "]";
233 }
Václav Kubernát24df80e2018-06-06 15:18:03 +0200234 std::string operator()(const nodeup_&) const
235 {
236 return "..";
237 }
238 template <class T>
239 std::string operator()(const T& node) const
240 {
241 return node.m_name;
242 }
243};
244
Václav Kubernát2eaceb82018-10-08 19:56:30 +0200245std::string nodeToSchemaString(decltype(dataPath_::m_nodes)::value_type node)
Václav Kubernát744f57f2018-06-29 22:46:26 +0200246{
Václav Kubernátb5ca1542020-05-27 01:03:54 +0200247 return std::visit(nodeToSchemaStringVisitor(), node.m_suffix);
Václav Kubernát744f57f2018-06-29 22:46:26 +0200248}
249
Václav Kubernátefcac932020-01-10 15:26:32 +0100250std::string pathToDataString(const dataPath_& path, Prefixes prefixes)
Václav Kubernát24df80e2018-06-06 15:18:03 +0200251{
252 std::string res;
Václav Kubernát5395e712019-12-03 18:24:33 +0100253 if (path.m_scope == Scope::Absolute) {
254 res = "/";
255 }
Václav Kubernátefcac932020-01-10 15:26:32 +0100256
Václav Kubernátef085742020-04-21 09:28:44 +0200257 for (const auto& it : path.m_nodes) {
Václav Kubernát744f57f2018-06-29 22:46:26 +0200258 if (it.m_prefix)
Václav Kubernátb5ca1542020-05-27 01:03:54 +0200259 res = joinPaths(res, it.m_prefix.value().m_name + ":" + std::visit(nodeToDataStringVisitor(), it.m_suffix));
Václav Kubernát744f57f2018-06-29 22:46:26 +0200260 else
Václav Kubernátb5ca1542020-05-27 01:03:54 +0200261 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átefcac932020-01-10 15:26:32 +0100262 }
Václav Kubernát744f57f2018-06-29 22:46:26 +0200263
264 return res;
265}
266
Václav Kubernátefcac932020-01-10 15:26:32 +0100267std::string pathToSchemaString(const schemaPath_& path, Prefixes prefixes)
Václav Kubernát744f57f2018-06-29 22:46:26 +0200268{
269 std::string res;
Václav Kubernátefcac932020-01-10 15:26:32 +0100270 if (path.m_scope == Scope::Absolute) {
271 res = "/";
Václav Kubernát744f57f2018-06-29 22:46:26 +0200272 }
273
Václav Kubernátef085742020-04-21 09:28:44 +0200274 for (const auto& it : path.m_nodes) {
Václav Kubernát744f57f2018-06-29 22:46:26 +0200275 if (it.m_prefix)
Václav Kubernátb5ca1542020-05-27 01:03:54 +0200276 res = joinPaths(res, it.m_prefix.value().m_name + ":" + std::visit(nodeToSchemaStringVisitor(), it.m_suffix));
Václav Kubernát744f57f2018-06-29 22:46:26 +0200277 else
Václav Kubernátb5ca1542020-05-27 01:03:54 +0200278 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át744f57f2018-06-29 22:46:26 +0200279 }
Václav Kubernát24df80e2018-06-06 15:18:03 +0200280 return res;
281}
282
Václav Kubernátefcac932020-01-10 15:26:32 +0100283std::string pathToSchemaString(const dataPath_& path, Prefixes prefixes)
Václav Kubernát24df80e2018-06-06 15:18:03 +0200284{
Václav Kubernátefcac932020-01-10 15:26:32 +0100285 return pathToSchemaString(dataPathToSchemaPath(path), prefixes);
Václav Kubernát5c75b252018-10-10 18:33:47 +0200286}
287
Václav Kubernátb5ca1542020-05-27 01:03:54 +0200288struct dataSuffixToSchemaSuffix {
289 using ReturnType = decltype(schemaNode_::m_suffix);
290 ReturnType operator()(const listElement_& listElement) const
Václav Kubernát2eaceb82018-10-08 19:56:30 +0200291 {
292 return list_{listElement.m_name};
293 }
294
Václav Kubernátb5ca1542020-05-27 01:03:54 +0200295 ReturnType operator()(const leafListElement_& leafListElement) const
Václav Kubernát5b8a8f32020-05-20 00:57:22 +0200296 {
297 return leafList_{leafListElement.m_name};
298 }
299
Václav Kubernát2eaceb82018-10-08 19:56:30 +0200300 template <typename T>
Václav Kubernátb5ca1542020-05-27 01:03:54 +0200301 ReturnType operator()(const T& suffix) const
Václav Kubernát2eaceb82018-10-08 19:56:30 +0200302 {
303 return suffix;
304 }
305};
306
307schemaNode_ dataNodeToSchemaNode(const dataNode_& node)
308{
309 schemaNode_ res;
310 res.m_prefix = node.m_prefix;
Václav Kubernátb5ca1542020-05-27 01:03:54 +0200311 res.m_suffix = std::visit(dataSuffixToSchemaSuffix(), node.m_suffix);
Václav Kubernát2eaceb82018-10-08 19:56:30 +0200312 return res;
313}
314
315schemaPath_ dataPathToSchemaPath(const dataPath_& path)
316{
Václav Kubernátbf083ec2019-02-19 13:58:09 +0100317 schemaPath_ res{path.m_scope, {}};
Václav Kubernát2eaceb82018-10-08 19:56:30 +0200318
Václav Kubernátbf083ec2019-02-19 13:58:09 +0100319 std::transform(path.m_nodes.begin(), path.m_nodes.end(),
320 std::back_inserter(res.m_nodes),
321 [](const dataNode_& node) { return dataNodeToSchemaNode(node); });
Václav Kubernát2eaceb82018-10-08 19:56:30 +0200322
Václav Kubernátbf083ec2019-02-19 13:58:09 +0100323 return res;
Václav Kubernát2eaceb82018-10-08 19:56:30 +0200324}
Václav Kubernáte781b902020-06-15 14:35:11 +0200325
326namespace {
327template <typename NodeType>
328void impl_pushFragment(std::vector<NodeType>& where, const NodeType& what)
329{
330 if (std::holds_alternative<nodeup_>(what.m_suffix)) {
331 if (!where.empty()) { // Allow going up, when already at root
332 where.pop_back();
333 }
334 } else {
Václav Kubernátfaacd022020-07-08 16:44:38 +0200335 where.emplace_back(what);
Václav Kubernáte781b902020-06-15 14:35:11 +0200336 }
337}
338}
339
340void schemaPath_::pushFragment(const schemaNode_& fragment)
341{
342 impl_pushFragment(m_nodes, fragment);
Jan Kundrát97376f72020-06-15 19:26:31 +0200343 validatePathNodes(m_nodes);
Václav Kubernáte781b902020-06-15 14:35:11 +0200344}
345
346void dataPath_::pushFragment(const dataNode_& fragment)
347{
348 impl_pushFragment(m_nodes, fragment);
Jan Kundrát97376f72020-06-15 19:26:31 +0200349 validatePathNodes(m_nodes);
Václav Kubernáte781b902020-06-15 14:35:11 +0200350}