blob: 43e22698a057a6efcd9892b8284fddf739764443 [file] [log] [blame]
Václav Kubernát96344a12018-05-28 16:33:39 +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
Václav Kubernát5b8a8f32020-05-20 00:57:22 +02009#include <boost/algorithm/string/predicate.hpp>
Václav Kubernát509ce652019-05-29 19:46:44 +020010#include <boost/mpl/for_each.hpp>
Václav Kubernátb61336d2018-05-28 17:35:03 +020011#include <iostream>
Václav Kubernát9cfcd872020-02-18 12:34:02 +010012#include <sstream>
Václav Kubernát6415b822018-08-22 17:40:01 +020013#include "datastore_access.hpp"
Václav Kubernát96344a12018-05-28 16:33:39 +020014#include "interpreter.hpp"
Václav Kubernát509ce652019-05-29 19:46:44 +020015#include "utils.hpp"
Václav Kubernát96344a12018-05-28 16:33:39 +020016
Václav Kubernát4c3d22f2020-06-12 16:05:01 +020017struct pathToStringVisitor : boost::static_visitor<std::string> {
18 std::string operator()(const module_& path) const
19 {
20 using namespace std::string_literals;
21 return "/"s + boost::get<module_>(path).m_name + ":*";
22 }
23 std::string operator()(const schemaPath_& path) const
24 {
25 return pathToSchemaString(path, Prefixes::WhenNeeded);
26 }
27 std::string operator()(const dataPath_& path) const
28 {
29 return pathToDataString(path, Prefixes::WhenNeeded);
30 }
31};
32
Václav Kubernáte7248b22020-06-26 15:38:59 +020033namespace {
34void printTree(const DatastoreAccess::Tree tree)
35{
36 for (auto it = tree.begin(); it != tree.end(); it++) {
37 auto [path, value] = *it;
38 if (value.type() == typeid(special_) && boost::get<special_>(value).m_value == SpecialValue::LeafList) {
39 auto leafListPrefix = path;
40 std::cout << path << " = " << leafDataToString(value) << std::endl;
41
42 while (it + 1 != tree.end() && boost::starts_with((it + 1)->first, leafListPrefix)) {
43 ++it;
44 std::cout << stripLeafListValueFromPath(it->first) << " = " << leafDataToString(it->second) << std::endl;
45 }
46 } else {
47 std::cout << path << " = " << leafDataToString(value) << std::endl;
48 }
49 }
50}
51}
52
Václav Kubernát4c3d22f2020-06-12 16:05:01 +020053template <typename PathType>
54std::string pathToString(const PathType& path)
55{
56 return boost::apply_visitor(pathToStringVisitor(), path);
57}
58
Václav Kubernát812ee282018-08-30 17:10:03 +020059void Interpreter::operator()(const commit_&) const
60{
61 m_datastore.commitChanges();
62}
63
Václav Kubernát6d791432018-10-25 16:00:35 +020064void Interpreter::operator()(const discard_&) const
65{
66 m_datastore.discardChanges();
67}
68
Václav Kubernát07204242018-06-04 18:12:09 +020069void Interpreter::operator()(const set_& set) const
70{
Václav Kubernáteeb38842019-03-20 19:46:05 +010071 auto data = set.m_data;
72
73 // If the user didn't supply a module prefix for identityref, we need to add it ourselves
74 if (data.type() == typeid(identityRef_)) {
75 auto identityRef = boost::get<identityRef_>(data);
76 if (!identityRef.m_prefix) {
77 identityRef.m_prefix = set.m_path.m_nodes.front().m_prefix.value();
78 data = identityRef;
79 }
80 }
Václav Kubernát4c3d22f2020-06-12 16:05:01 +020081 m_datastore.setLeaf(pathToString(toCanonicalPath(set.m_path)), data);
Václav Kubernát07204242018-06-04 18:12:09 +020082}
83
Václav Kubernátb6ff0b62018-08-30 16:14:53 +020084void Interpreter::operator()(const get_& get) const
85{
Václav Kubernát4c3d22f2020-06-12 16:05:01 +020086 auto items = m_datastore.getItems(pathToString(toCanonicalPath(get.m_path)));
Václav Kubernáte7248b22020-06-26 15:38:59 +020087 printTree(items);
Václav Kubernátb6ff0b62018-08-30 16:14:53 +020088}
89
Václav Kubernát96344a12018-05-28 16:33:39 +020090void Interpreter::operator()(const cd_& cd) const
91{
92 m_parser.changeNode(cd.m_path);
93}
94
Václav Kubernátb61336d2018-05-28 17:35:03 +020095void Interpreter::operator()(const create_& create) const
96{
Jan Kundrátcbf288b2020-06-18 20:44:39 +020097 m_datastore.createItem(pathToString(toCanonicalPath(create.m_path)));
Václav Kubernátb61336d2018-05-28 17:35:03 +020098}
99
100void Interpreter::operator()(const delete_& delet) const
101{
Jan Kundrátcbf288b2020-06-18 20:44:39 +0200102 m_datastore.deleteItem(pathToString(toCanonicalPath(delet.m_path)));
Václav Kubernátb61336d2018-05-28 17:35:03 +0200103}
104
Václav Kubernát11afac72018-07-18 14:59:53 +0200105void Interpreter::operator()(const ls_& ls) const
106{
107 std::cout << "Possible nodes:" << std::endl;
Václav Kubernáte7d4aea2018-09-11 18:15:48 +0200108 auto recursion{Recursion::NonRecursive};
109 for (auto it : ls.m_options) {
Václav Kubernát3a433232020-07-08 17:52:50 +0200110 if (it == LsOption::Recursive) {
Václav Kubernáte7d4aea2018-09-11 18:15:48 +0200111 recursion = Recursion::Recursive;
Václav Kubernát3a433232020-07-08 17:52:50 +0200112 }
Václav Kubernáte7d4aea2018-09-11 18:15:48 +0200113 }
Václav Kubernát11afac72018-07-18 14:59:53 +0200114
Václav Kubernát4c3d22f2020-06-12 16:05:01 +0200115 auto toPrint = m_datastore.schema()->availableNodes(toCanonicalPath(ls.m_path), recursion);
Václav Kubernát82086872020-04-29 01:09:50 +0200116
Václav Kubernát95b08872020-04-28 01:04:17 +0200117 for (const auto& it : toPrint) {
Václav Kubernátb4e5b182020-11-16 19:55:09 +0100118 std::cout << (it.first ? *it.first + ":" : "") + it.second << std::endl;
Václav Kubernát95b08872020-04-28 01:04:17 +0200119 }
Václav Kubernát11afac72018-07-18 14:59:53 +0200120}
121
Václav Kubernát7160a132020-04-03 02:11:01 +0200122void Interpreter::operator()(const copy_& copy) const
123{
124 m_datastore.copyConfig(copy.m_source, copy.m_destination);
125}
126
Václav Kubernát9cfcd872020-02-18 12:34:02 +0100127std::string Interpreter::buildTypeInfo(const std::string& path) const
128{
129 std::ostringstream ss;
Václav Kubernát1ae24f42020-12-01 02:32:04 +0100130 std::string typeDescription;
Václav Kubernát9cfcd872020-02-18 12:34:02 +0100131 switch (m_datastore.schema()->nodeType(path)) {
132 case yang::NodeTypes::Container:
133 ss << "container";
134 break;
135 case yang::NodeTypes::PresenceContainer:
136 ss << "presence container";
137 break;
Václav Kubernátb4e5b182020-11-16 19:55:09 +0100138 case yang::NodeTypes::Leaf: {
Václav Kubernát9cfcd872020-02-18 12:34:02 +0100139 auto leafType = m_datastore.schema()->leafType(path);
140 auto typedefName = m_datastore.schema()->leafTypeName(path);
141 std::string baseTypeStr;
Václav Kubernát13b23d72020-04-16 21:49:51 +0200142 if (std::holds_alternative<yang::LeafRef>(leafType.m_type)) {
Václav Kubernát9cfcd872020-02-18 12:34:02 +0100143 ss << "-> ";
144 ss << m_datastore.schema()->leafrefPath(path) << " ";
Václav Kubernát13b23d72020-04-16 21:49:51 +0200145 baseTypeStr = leafDataTypeToString(std::get<yang::LeafRef>(leafType.m_type).m_targetType->m_type);
Václav Kubernát9cfcd872020-02-18 12:34:02 +0100146 } else {
Václav Kubernát13b23d72020-04-16 21:49:51 +0200147 baseTypeStr = leafDataTypeToString(leafType.m_type);
Václav Kubernát9cfcd872020-02-18 12:34:02 +0100148 }
149
150 if (typedefName) {
151 ss << *typedefName << " (" << baseTypeStr << ")";
152 } else {
153 ss << baseTypeStr;
154 }
155
Václav Kubernát13b23d72020-04-16 21:49:51 +0200156 if (leafType.m_units) {
157 ss << " [" + *leafType.m_units + "]";
Václav Kubernát9cfcd872020-02-18 12:34:02 +0100158 }
159
Václav Kubernát1ae24f42020-12-01 02:32:04 +0100160 if (leafType.m_description) {
161 typeDescription = "\nType description: " + *leafType.m_description;
162 }
163
Václav Kubernát9cfcd872020-02-18 12:34:02 +0100164 if (m_datastore.schema()->leafIsKey(path)) {
165 ss << " (key)";
166 }
Václav Kubernátb1a75c62020-04-21 15:20:16 +0200167
168 if (auto defaultValue = m_datastore.schema()->defaultValue(path)) {
169 ss << " default: " << leafDataToString(*defaultValue);
170 }
Václav Kubernát9cfcd872020-02-18 12:34:02 +0100171 break;
172 }
173 case yang::NodeTypes::List:
174 ss << "list";
175 break;
Václav Kubernáte7248b22020-06-26 15:38:59 +0200176 case yang::NodeTypes::Rpc:
177 ss << "RPC";
178 break;
Václav Kubernátaaafeae2020-05-05 15:41:45 +0200179 case yang::NodeTypes::LeafList:
Václav Kubernát160e5a22020-12-01 01:11:28 +0100180 ss << "leaf-list";
181 break;
182 case yang::NodeTypes::Action:
183 ss << "action";
184 break;
185 case yang::NodeTypes::AnyXml:
186 throw std::logic_error("Sorry, anyxml isn't supported yet.");
Václav Kubernátaaafeae2020-05-05 15:41:45 +0200187 case yang::NodeTypes::Notification:
Václav Kubernát160e5a22020-12-01 01:11:28 +0100188 throw std::logic_error("Sorry, notifications aren't supported yet.");
Václav Kubernát9cfcd872020-02-18 12:34:02 +0100189 }
Václav Kubernát0599e9f2020-04-21 09:51:33 +0200190
191 if (!m_datastore.schema()->isConfig(path)) {
Václav Kubernát1ae24f42020-12-01 02:32:04 +0100192 ss << " (ro)\n";
Václav Kubernát0599e9f2020-04-21 09:51:33 +0200193 }
194
Václav Kubernáta1c4c9e2020-04-22 00:37:52 +0200195 auto status = m_datastore.schema()->status(path);
196 auto statusStr = status == yang::Status::Deprecated ? " (deprecated)" :
197 status == yang::Status::Obsolete ? " (obsolete)" :
198 "";
199
Václav Kubernát1ae24f42020-12-01 02:32:04 +0100200 ss << statusStr;
201
Václav Kubernát9cfcd872020-02-18 12:34:02 +0100202 if (auto description = m_datastore.schema()->description(path)) {
Václav Kubernát1ae24f42020-12-01 02:32:04 +0100203 ss << std::endl << *description << std::endl;
Václav Kubernát9cfcd872020-02-18 12:34:02 +0100204 }
Václav Kubernát1ae24f42020-12-01 02:32:04 +0100205
206 ss << typeDescription;
207 return ss.str();
208}
209
210void Interpreter::operator()(const describe_& describe) const
211{
212 auto fullPath = pathToString(toCanonicalPath(describe.m_path));
213
214 std::cout << pathToString(describe.m_path) << ": " << buildTypeInfo(fullPath) << std::endl;
Václav Kubernát9cfcd872020-02-18 12:34:02 +0100215}
216
Václav Kubernátbf65dd72020-05-28 02:32:31 +0200217void Interpreter::operator()(const move_& move) const
218{
219 m_datastore.moveItem(pathToDataString(move.m_source, Prefixes::WhenNeeded), move.m_destination);
220}
221
Václav Kubernát70d7f7a2020-06-23 14:40:40 +0200222void Interpreter::operator()(const dump_& dump) const
223{
224 std::cout << m_datastore.dump(dump.m_format) << "\n";
225}
226
Václav Kubernátaa4250a2020-07-22 00:02:23 +0200227void Interpreter::operator()(const prepare_& prepare) const
Václav Kubernáte7248b22020-06-26 15:38:59 +0200228{
Václav Kubernátb3960f82020-12-01 03:21:48 +0100229 m_datastore.initiate(pathToString(toCanonicalPath(prepare.m_path)));
Václav Kubernátaa4250a2020-07-22 00:02:23 +0200230 m_parser.changeNode(prepare.m_path);
Václav Kubernáte7248b22020-06-26 15:38:59 +0200231}
232
Václav Kubernátd8408e02020-12-02 05:13:27 +0100233void Interpreter::operator()(const exec_& exec) const
Václav Kubernáte7248b22020-06-26 15:38:59 +0200234{
235 m_parser.changeNode({Scope::Absolute, {}});
Václav Kubernátd8408e02020-12-02 05:13:27 +0100236 if (exec.m_path) {
237 m_datastore.initiate(pathToString(toCanonicalPath(*exec.m_path)));
238 }
Václav Kubernátaa4250a2020-07-22 00:02:23 +0200239 auto output = m_datastore.execute();
240 std::cout << "RPC/action output:\n";
Václav Kubernáte7248b22020-06-26 15:38:59 +0200241 printTree(output);
242}
243
244void Interpreter::operator()(const cancel_&) const
245{
246 m_parser.changeNode({Scope::Absolute, {}});
Václav Kubernátaa4250a2020-07-22 00:02:23 +0200247 m_datastore.cancel();
Václav Kubernáte7248b22020-06-26 15:38:59 +0200248}
249
Václav Kubernát162165e2021-02-22 09:46:53 +0100250void Interpreter::operator()(const switch_& switch_cmd) const
251{
252 m_datastore.setTarget(switch_cmd.m_target);
253}
254
Václav Kubernát054cc992019-02-21 14:23:52 +0100255struct commandLongHelpVisitor : boost::static_visitor<const char*> {
256 template <typename T>
257 auto constexpr operator()(boost::type<T>) const
258 {
259 return T::longHelp;
260 }
261};
262
263struct commandShortHelpVisitor : boost::static_visitor<const char*> {
264 template <typename T>
265 auto constexpr operator()(boost::type<T>) const
266 {
267 return T::shortHelp;
268 }
269};
270
271void Interpreter::operator()(const help_& help) const
272{
Václav Kubernát3a433232020-07-08 17:52:50 +0200273 if (help.m_cmd) {
Václav Kubernát054cc992019-02-21 14:23:52 +0100274 std::cout << boost::apply_visitor(commandLongHelpVisitor(), help.m_cmd.get()) << std::endl;
Václav Kubernát3a433232020-07-08 17:52:50 +0200275 } else {
Václav Kubernát054cc992019-02-21 14:23:52 +0100276 boost::mpl::for_each<CommandTypes, boost::type<boost::mpl::_>>([](auto cmd) {
277 std::cout << commandShortHelpVisitor()(cmd) << std::endl;
278 });
Václav Kubernát3a433232020-07-08 17:52:50 +0200279 }
Václav Kubernát054cc992019-02-21 14:23:52 +0100280}
281
Václav Kubernát7e167692020-06-12 09:53:01 +0200282template <typename PathType>
Václav Kubernát4c3d22f2020-06-12 16:05:01 +0200283boost::variant<dataPath_, schemaPath_, module_> Interpreter::toCanonicalPath(const boost::optional<PathType>& optPath) const
Václav Kubernát6415b822018-08-22 17:40:01 +0200284{
Václav Kubernát7e167692020-06-12 09:53:01 +0200285 if (!optPath) {
Václav Kubernát4c3d22f2020-06-12 16:05:01 +0200286 return m_parser.currentPath();
Václav Kubernát7e167692020-06-12 09:53:01 +0200287 }
288 return toCanonicalPath(*optPath);
Václav Kubernát6415b822018-08-22 17:40:01 +0200289}
290
Václav Kubernát7e167692020-06-12 09:53:01 +0200291struct impl_toCanonicalPath {
292 const dataPath_& m_parserPath;
293
Václav Kubernát4c3d22f2020-06-12 16:05:01 +0200294 using ReturnType = boost::variant<dataPath_, schemaPath_, module_>;
295
Václav Kubernát7e167692020-06-12 09:53:01 +0200296 impl_toCanonicalPath(const dataPath_& parserPath)
297 : m_parserPath(parserPath)
298 {
299 }
Václav Kubernát4c3d22f2020-06-12 16:05:01 +0200300 ReturnType operator()(const module_& path) const
Václav Kubernátd6247992020-05-27 00:17:56 +0200301 {
Václav Kubernát4c3d22f2020-06-12 16:05:01 +0200302 return path;
Václav Kubernátd6247992020-05-27 00:17:56 +0200303 }
Václav Kubernát4c3d22f2020-06-12 16:05:01 +0200304 ReturnType operator()(const schemaPath_& path) const
Václav Kubernát5c75b252018-10-10 18:33:47 +0200305 {
Václav Kubernát4c3d22f2020-06-12 16:05:01 +0200306 return impl(path);
Václav Kubernát5c75b252018-10-10 18:33:47 +0200307 }
Václav Kubernát4c3d22f2020-06-12 16:05:01 +0200308 ReturnType operator()(const dataPath_& path) const
Václav Kubernát5c75b252018-10-10 18:33:47 +0200309 {
Václav Kubernát4c3d22f2020-06-12 16:05:01 +0200310 return impl(path);
Václav Kubernát5c75b252018-10-10 18:33:47 +0200311 }
Václav Kubernát5c75b252018-10-10 18:33:47 +0200312
Václav Kubernát7e167692020-06-12 09:53:01 +0200313private:
314 template <typename PathType>
Václav Kubernát59e4ee42020-07-08 17:32:45 +0200315 [[nodiscard]] ReturnType impl(const PathType& suffix) const
Václav Kubernátd6247992020-05-27 00:17:56 +0200316 {
Václav Kubernát7e167692020-06-12 09:53:01 +0200317 PathType res = [this] {
318 if constexpr (std::is_same<PathType, schemaPath_>()) {
319 return dataPathToSchemaPath(m_parserPath);
320 } else {
321 return m_parserPath;
322 }
323 }();
Václav Kubernátd6247992020-05-27 00:17:56 +0200324
Václav Kubernát7e167692020-06-12 09:53:01 +0200325 if (suffix.m_scope == Scope::Absolute) {
Václav Kubernát59be0de2020-06-15 13:58:45 +0200326 res = {Scope::Absolute, {}};
Václav Kubernát9456b5c2019-10-02 21:14:52 +0200327 }
Václav Kubernátb6ff0b62018-08-30 16:14:53 +0200328
Václav Kubernát7e167692020-06-12 09:53:01 +0200329 for (const auto& fragment : suffix.m_nodes) {
Václav Kubernáte781b902020-06-15 14:35:11 +0200330 res.pushFragment(fragment);
Václav Kubernát7e167692020-06-12 09:53:01 +0200331 }
Václav Kubernát4c3d22f2020-06-12 16:05:01 +0200332
Václav Kubernát7e167692020-06-12 09:53:01 +0200333 return res;
334 }
335};
336
337template <typename PathType>
Václav Kubernát4c3d22f2020-06-12 16:05:01 +0200338boost::variant<dataPath_, schemaPath_, module_> Interpreter::toCanonicalPath(const PathType& path) const
Václav Kubernát9cfcd872020-02-18 12:34:02 +0100339{
Václav Kubernát7e167692020-06-12 09:53:01 +0200340 if constexpr (std::is_same<PathType, dataPath_>()) {
341 return impl_toCanonicalPath(m_parser.currentPath())(path);
342 } else {
343 return boost::apply_visitor(impl_toCanonicalPath(m_parser.currentPath()), path);
344 }
Václav Kubernát9cfcd872020-02-18 12:34:02 +0100345}
346
Václav Kubernát48e9dfa2020-07-08 10:55:12 +0200347Interpreter::Interpreter(Parser& parser, ProxyDatastore& datastore)
Václav Kubernát812ee282018-08-30 17:10:03 +0200348 : m_parser(parser)
349 , m_datastore(datastore)
Václav Kubernát96344a12018-05-28 16:33:39 +0200350{
351}