blob: 6a3e73b1fff3618911ea60ab929e0e68e622dda1 [file] [log] [blame]
Radek Krejcied5acc52019-04-25 15:57:04 +02001/**
2 * @file main_ni.c
3 * @author Radek Krejci <rkrejci@cesnet.cz>
4 * @brief libyang's yanglint tool - noninteractive code
5 *
Radek Krejcie9f13b12020-11-09 17:42:04 +01006 * Copyright (c) 2020 CESNET, z.s.p.o.
Radek Krejcied5acc52019-04-25 15:57:04 +02007 *
8 * This source code is licensed under BSD 3-Clause License (the "License").
9 * You may not use this file except in compliance with the License.
10 * You may obtain a copy of the License at
11 *
12 * https://opensource.org/licenses/BSD-3-Clause
13 */
14
Radek Krejci535ea9f2020-05-29 16:01:05 +020015#define _GNU_SOURCE
Radek Krejcied5acc52019-04-25 15:57:04 +020016
Radek Krejcie9f13b12020-11-09 17:42:04 +010017#include <errno.h>
18#include <getopt.h>
Radek Krejci47fab892020-11-05 17:02:41 +010019#include <stdint.h>
Radek Krejcied5acc52019-04-25 15:57:04 +020020#include <stdio.h>
21#include <stdlib.h>
Radek Krejcied5acc52019-04-25 15:57:04 +020022#include <string.h>
Radek Krejci47fab892020-11-05 17:02:41 +010023#include <strings.h>
Radek Krejcie9f13b12020-11-09 17:42:04 +010024#include <sys/stat.h>
Radek Krejcied5acc52019-04-25 15:57:04 +020025
Radek Krejcied5acc52019-04-25 15:57:04 +020026#include "libyang.h"
27
Radek Krejcie9f13b12020-11-09 17:42:04 +010028#include "common.h"
aPiecek8f0b7882021-05-21 10:18:36 +020029#include "out.h"
Radek Krejci535ea9f2020-05-29 16:01:05 +020030#include "tools/config.h"
31
Radek Krejcie9f13b12020-11-09 17:42:04 +010032/**
33 * @brief Context structure to hold and pass variables in a structured form.
34 */
35struct context {
36 /* libyang context for the run */
37 struct ly_ctx *ctx;
Radek Krejci535ea9f2020-05-29 16:01:05 +020038
Radek Krejcie9f13b12020-11-09 17:42:04 +010039 /* prepared output (--output option or stdout by default) */
40 struct ly_out *out;
Radek Krejci535ea9f2020-05-29 16:01:05 +020041
Radek Krejcie9f13b12020-11-09 17:42:04 +010042 struct ly_set searchpaths;
Radek Krejcied5acc52019-04-25 15:57:04 +020043
Radek Krejcie9f13b12020-11-09 17:42:04 +010044 /* options flags */
45 uint8_t list; /* -l option to print list of schemas */
Radek Krejcied5acc52019-04-25 15:57:04 +020046
aPiecek2cfeeae2021-04-21 13:17:34 +020047 /* line length for 'tree' format */
48 size_t line_length; /* --tree-line-length */
49
Radek Krejcie9f13b12020-11-09 17:42:04 +010050 /*
51 * schema
52 */
Michal Vaskofc5a1d12021-11-22 10:00:27 +010053 /* set schema modules' features via --features option (struct schema_features *) */
Radek Krejcie9f13b12020-11-09 17:42:04 +010054 struct ly_set schema_features;
55
56 /* set of loaded schema modules (struct lys_module *) */
57 struct ly_set schema_modules;
58
59 /* options to parse and print schema modules */
60 uint32_t schema_parse_options;
61 uint32_t schema_print_options;
62
63 /* specification of printing schema node subtree, option --schema-node */
64 const char *schema_node_path;
65 const struct lysc_node *schema_node;
Michal Vaskofe74d1e2021-09-30 13:17:36 +020066 const char *submodule;
Radek Krejcie9f13b12020-11-09 17:42:04 +010067
68 /* value of --format in case of schema format */
69 LYS_OUTFORMAT schema_out_format;
70
71 /*
72 * data
73 */
74 /* various options based on --type option */
Michal Vaskoe0665742021-02-11 11:08:44 +010075 enum lyd_type data_type;
Radek Krejcie9f13b12020-11-09 17:42:04 +010076 uint32_t data_parse_options;
77 uint32_t data_validate_options;
78 uint32_t data_print_options;
79
80 /* flag for --merge option */
81 uint8_t data_merge;
82
83 /* value of --format in case of data format */
84 LYD_FORMAT data_out_format;
85
86 /* input data files (struct cmdline_file *) */
87 struct ly_set data_inputs;
88
Radek Krejcie9f13b12020-11-09 17:42:04 +010089 /* storage for --operational */
90 struct cmdline_file data_operational;
91};
92
93static void
94erase_context(struct context *c)
95{
96 /* data */
97 ly_set_erase(&c->data_inputs, free_cmdline_file);
Radek Krejcie9f13b12020-11-09 17:42:04 +010098 ly_in_free(c->data_operational.in, 1);
99
100 /* schema */
101 ly_set_erase(&c->schema_features, free_features);
102 ly_set_erase(&c->schema_modules, NULL);
103
104 /* context */
105 ly_set_erase(&c->searchpaths, NULL);
106
107 ly_out_free(c->out, NULL, 0);
Radek Krejci90ed21e2021-04-12 14:47:46 +0200108 ly_ctx_destroy(c->ctx);
Radek Krejcie9f13b12020-11-09 17:42:04 +0100109}
110
111static void
112version(void)
113{
114 printf("yanglint %s\n", PROJECT_VERSION);
115}
116
117static void
Radek Krejcied5acc52019-04-25 15:57:04 +0200118help(int shortout)
119{
Radek Krejcie9f13b12020-11-09 17:42:04 +0100120
121 printf("Usage:\n"
122 " yanglint [Options] [-f { yang | yin | info}] <schema>...\n"
123 " Validates the YANG module in <schema>, and all its dependencies.\n\n"
Radek Krejci6784a4e2020-12-09 14:23:05 +0100124 " yanglint [Options] [-f { xml | json }] <schema>... <file> ...\n"
Radek Krejcie9f13b12020-11-09 17:42:04 +0100125 " Validates the YANG modeled data in <file> according to the <schema>.\n\n"
126 " yanglint\n"
127 " Starts interactive mode with more features.\n\n");
Radek Krejcied5acc52019-04-25 15:57:04 +0200128
129 if (shortout) {
130 return;
131 }
Radek Krejcie9f13b12020-11-09 17:42:04 +0100132 printf("Options:\n"
133 " -h, --help Show this help message and exit.\n"
134 " -v, --version Show version number and exit.\n"
135 " -V, --verbose Show verbose messages, can be used multiple times to\n"
Michal Vasko22e0f3a2021-09-22 12:19:23 +0200136 " increase verbosity.\n");
Radek Krejcie9f13b12020-11-09 17:42:04 +0100137
Michal Vaskoc40548b2021-09-30 13:05:47 +0200138 printf(" -f FORMAT, --format=FORMAT\n"
139 " Convert input into FORMAT. Supported formats: \n"
140 " yang, yin, tree and info for schemas,\n"
141 " xml, json for data.\n\n");
142
143 printf(" -p PATH, --path=PATH\n"
144 " Search path for schema (YANG/YIN) modules. The option can be\n"
145 " used multiple times. The current working directory and the\n"
146 " path of the module being added is used implicitly.\n\n");
Radek Krejcie9f13b12020-11-09 17:42:04 +0100147
Michal Vasko22e0f3a2021-09-22 12:19:23 +0200148 printf(" -D, --disable-searchdir\n"
Radek Krejcie9f13b12020-11-09 17:42:04 +0100149 " Do not implicitly search in current working directory for\n"
150 " schema modules. If specified a second time, do not even\n"
151 " search in the module directory (all modules must be \n"
Michal Vasko22e0f3a2021-09-22 12:19:23 +0200152 " explicitly specified).\n\n");
Radek Krejcie9f13b12020-11-09 17:42:04 +0100153
Michal Vasko22e0f3a2021-09-22 12:19:23 +0200154 printf(" -F FEATURES, --features=FEATURES\n"
Michal Vaskob0d0adf2021-11-22 10:01:34 +0100155 " Specific module features to support in the form <module-name>:(<feature>,)*\n"
156 " Use <feature> '*' to enable all features of a module. This option can be\n"
157 " specified multiple times, to enable features in multiple modules. If this\n"
158 " option is not specified, all the features in all the implemented modules\n"
159 " are enabled.\n\n");
Radek Krejcie9f13b12020-11-09 17:42:04 +0100160
Michal Vasko8d6d0ad2021-10-19 12:32:27 +0200161 printf(" -i, --make-implemented\n"
Radek Krejcie9f13b12020-11-09 17:42:04 +0100162 " Make the imported modules \"referenced\" from any loaded\n"
163 " module also implemented. If specified a second time, all the\n"
Michal Vasko22e0f3a2021-09-22 12:19:23 +0200164 " modules are set implemented.\n\n");
Radek Krejcie9f13b12020-11-09 17:42:04 +0100165
Michal Vasko22e0f3a2021-09-22 12:19:23 +0200166 printf(" -P PATH, --schema-node=PATH\n"
Radek Krejcie9f13b12020-11-09 17:42:04 +0100167 " Print only the specified subtree of the schema.\n"
168 " The PATH is the XPath subset mentioned in documentation as\n"
169 " the Path format. The option can be combined with --single-node\n"
170 " option to print information only about the specified node.\n"
171 " -q, --single-node\n"
172 " Supplement to the --schema-node option to print information\n"
Michal Vasko22e0f3a2021-09-22 12:19:23 +0200173 " only about a single node specified as PATH argument.\n\n");
Radek Krejcie9f13b12020-11-09 17:42:04 +0100174
Michal Vaskofe74d1e2021-09-30 13:17:36 +0200175 printf(" -s SUBMODULE, --submodule=SUBMODULE\n"
176 " Print the specific submodule instead of the main module.\n\n");
177
Michal Vasko22e0f3a2021-09-22 12:19:23 +0200178 printf(" -n, --not-strict\n"
Michal Vasko667ce6b2021-01-25 15:00:27 +0100179 " Do not require strict data parsing (silently skip unknown data),\n"
Michal Vasko22e0f3a2021-09-22 12:19:23 +0200180 " has no effect for schemas.\n\n");
Radek Krejcie9f13b12020-11-09 17:42:04 +0100181
Michal Vasko22e0f3a2021-09-22 12:19:23 +0200182 printf(" -e, --present Validate only with the schema modules whose data actually\n"
Radek Krejcie9f13b12020-11-09 17:42:04 +0100183 " exist in the provided input data files. Takes effect only\n"
184 " with the 'data' or 'config' TYPEs. Used to avoid requiring\n"
185 " mandatory nodes from modules which data are not present in the\n"
Michal Vasko22e0f3a2021-09-22 12:19:23 +0200186 " provided input data files.\n\n");
Radek Krejcie9f13b12020-11-09 17:42:04 +0100187
Michal Vasko22e0f3a2021-09-22 12:19:23 +0200188 printf(" -t TYPE, --type=TYPE\n"
Radek Krejcie9f13b12020-11-09 17:42:04 +0100189 " Specify data tree type in the input data file(s):\n"
190 " data - Complete datastore with status data (default type).\n"
191 " config - Configuration datastore (without status data).\n"
192 " get - Result of the NETCONF <get> operation.\n"
193 " getconfig - Result of the NETCONF <get-config> operation.\n"
194 " edit - Content of the NETCONF <edit-config> operation.\n"
195 " rpc - Content of the NETCONF <rpc> message, defined as YANG's\n"
196 " RPC/Action input statement.\n"
Radek Krejci6784a4e2020-12-09 14:23:05 +0100197 " reply - Reply to the RPC/Action. Note that the reply data are\n"
198 " expected inside a container representing the original\n"
199 " RPC/Action. This is necessary to identify appropriate\n"
200 " data definitions in the schema module.\n"
Radek Krejcie9f13b12020-11-09 17:42:04 +0100201 " notif - Notification instance (content of the <notification>\n"
Michal Vaskoc40548b2021-09-30 13:05:47 +0200202 " element without <eventTime>).\n\n");
203
204 printf(" -d MODE, --default=MODE\n"
205 " Print data with default values, according to the MODE\n"
206 " (to print attributes, ietf-netconf-with-defaults model\n"
207 " must be loaded):\n"
208 " all - Add missing default nodes.\n"
209 " all-tagged - Add missing default nodes and mark all the default\n"
210 " nodes with the attribute.\n"
211 " trim - Remove all nodes with a default value.\n"
212 " implicit-tagged - Add missing nodes and mark them with the attribute.\n\n");
213
214 printf(" -l, --list Print info about the loaded schemas.\n"
215 " (i - imported module, I - implemented module)\n"
216 " In case the -f option with data encoding is specified,\n"
217 " the list is printed as ietf-yang-library data.\n\n");
218
219 printf(" -L LINE_LENGTH, --tree-line-length=LINE_LENGTH\n"
220 " The limit of the maximum line length on which the 'tree'\n"
221 " format will try to be printed.\n\n");
222
223 printf(" -o OUTFILE, --output=OUTFILE\n"
224 " Write the output to OUTFILE instead of stdout.\n\n");
Radek Krejcie9f13b12020-11-09 17:42:04 +0100225
Michal Vasko22e0f3a2021-09-22 12:19:23 +0200226 printf(" -O FILE, --operational=FILE\n"
Radek Krejcie9f13b12020-11-09 17:42:04 +0100227 " Provide optional data to extend validation of the 'rpc',\n"
228 " 'reply' or 'notif' TYPEs. The FILE is supposed to contain\n"
229 " the :running configuration datastore and state data\n"
Michal Vasko22e0f3a2021-09-22 12:19:23 +0200230 " (operational datastore) referenced from the RPC/Notification.\n\n");
Radek Krejcie9f13b12020-11-09 17:42:04 +0100231
Michal Vasko22e0f3a2021-09-22 12:19:23 +0200232 printf(" -m, --merge Merge input data files into a single tree and validate at\n"
233 " once.The option has effect only for 'data' and 'config' TYPEs.\n\n");
Radek Krejcie9f13b12020-11-09 17:42:04 +0100234
Michal Vasko22e0f3a2021-09-22 12:19:23 +0200235 printf(" -y, --yang-library\n"
Michal Vaskoc431a0a2021-01-25 14:31:58 +0100236 " Load and implement internal \"ietf-yang-library\" YANG module.\n"
237 " Note that this module includes definitions of mandatory state\n"
Michal Vasko22e0f3a2021-09-22 12:19:23 +0200238 " data that can result in unexpected data validation errors.\n\n");
Michal Vaskoc40548b2021-09-30 13:05:47 +0200239
240#ifndef NDEBUG
241 printf(" -G GROUPS, --debug=GROUPS\n"
242 " Enable printing of specific debugging message group\n"
243 " (nothing will be printed unless verbosity is set to debug):\n"
Michal Vaskoa0b56e42021-11-22 10:03:46 +0100244 " <group>[,<group>]* (dict, xpath, dep-sets)\n\n");
Michal Vaskoc40548b2021-09-30 13:05:47 +0200245#endif
Radek Krejcied5acc52019-04-25 15:57:04 +0200246}
247
Radek Krejcie9f13b12020-11-09 17:42:04 +0100248static void
Radek Krejcied5acc52019-04-25 15:57:04 +0200249libyang_verbclb(LY_LOG_LEVEL level, const char *msg, const char *path)
250{
251 char *levstr;
252
Radek Krejcie9f13b12020-11-09 17:42:04 +0100253 switch (level) {
254 case LY_LLERR:
255 levstr = "err :";
256 break;
257 case LY_LLWRN:
258 levstr = "warn:";
259 break;
260 case LY_LLVRB:
261 levstr = "verb:";
262 break;
263 default:
264 levstr = "dbg :";
265 break;
266 }
267 if (path) {
268 fprintf(stderr, "libyang %s %s (%s)\n", levstr, msg, path);
269 } else {
270 fprintf(stderr, "libyang %s %s\n", levstr, msg);
Radek Krejcied5acc52019-04-25 15:57:04 +0200271 }
272}
273
Michal Vasko91b17482021-11-22 10:03:23 +0100274static struct schema_features *
275get_features_not_applied(const struct ly_set *fset)
276{
277 for (uint32_t u = 0; u < fset->count; ++u) {
278 struct schema_features *sf = fset->objs[u];
279 if (!sf->applied) {
280 return sf;
281 }
282 }
283
284 return NULL;
285}
286
Radek Krejcie9f13b12020-11-09 17:42:04 +0100287static int
288fill_context_inputs(int argc, char *argv[], struct context *c)
289{
Radek Krejcif53b0d52020-12-03 11:29:24 +0100290 struct ly_in *in;
Michal Vasko91b17482021-11-22 10:03:23 +0100291 struct schema_features *sf;
Michal Vaskod405e812021-11-23 09:00:17 +0100292 struct lys_module *mod;
Michal Vasko91b17482021-11-22 10:03:23 +0100293 const char *all_features[] = {"*", NULL};
Radek Krejcie9f13b12020-11-09 17:42:04 +0100294
295 /* process the operational content if any */
296 if (c->data_operational.path) {
297 if (get_input(c->data_operational.path, NULL, &c->data_operational.format, &c->data_operational.in)) {
298 return -1;
299 }
300 }
301
302 for (int i = 0; i < argc - optind; i++) {
303 LYS_INFORMAT format_schema = LYS_IN_UNKNOWN;
304 LYD_FORMAT format_data = LYD_UNKNOWN;
Radek Krejcif53b0d52020-12-03 11:29:24 +0100305 in = NULL;
Radek Krejcie9f13b12020-11-09 17:42:04 +0100306
307 if (get_input(argv[optind + i], &format_schema, &format_data, &in)) {
Radek Krejcif2afd672020-11-26 12:29:23 +0100308 goto error;
Radek Krejcie9f13b12020-11-09 17:42:04 +0100309 }
310
311 if (format_schema) {
312 LY_ERR ret;
313 uint8_t path_unset = 1; /* flag to unset the path from the searchpaths list (if not already present) */
314 char *dir, *module;
Michal Vaskob0d0adf2021-11-22 10:01:34 +0100315 const char **features;
Michal Vasko4de7d072021-07-09 09:13:18 +0200316 struct lys_module *mod;
Radek Krejcie9f13b12020-11-09 17:42:04 +0100317
318 if (parse_schema_path(argv[optind + i], &dir, &module)) {
Radek Krejcif2afd672020-11-26 12:29:23 +0100319 goto error;
Radek Krejcie9f13b12020-11-09 17:42:04 +0100320 }
321
322 /* add temporarily also the path of the module itself */
323 if (ly_ctx_set_searchdir(c->ctx, dir) == LY_EEXIST) {
324 path_unset = 0;
325 }
326
327 /* get features list for this module */
Michal Vasko703370c2021-10-19 14:07:16 +0200328 if (!c->schema_features.count) {
Michal Vaskob0d0adf2021-11-22 10:01:34 +0100329 features = all_features;
330 } else {
331 get_features(&c->schema_features, module, &features);
Michal Vasko703370c2021-10-19 14:07:16 +0200332 }
333
Radek Krejcie9f13b12020-11-09 17:42:04 +0100334 /* temporary cleanup */
335 free(dir);
336 free(module);
337
Michal Vasko703370c2021-10-19 14:07:16 +0200338 /* parse module */
Radek Krejcie9f13b12020-11-09 17:42:04 +0100339 ret = lys_parse(c->ctx, in, format_schema, features, &mod);
340 ly_ctx_unset_searchdir_last(c->ctx, path_unset);
Radek Krejcif53b0d52020-12-03 11:29:24 +0100341 ly_in_free(in, 1);
342 in = NULL;
Radek Krejcie9f13b12020-11-09 17:42:04 +0100343 if (ret) {
Michal Vaskod405e812021-11-23 09:00:17 +0100344 YLMSG_E("Parsing schema module \"%s\" failed.\n", argv[optind + i]);
Radek Krejcif2afd672020-11-26 12:29:23 +0100345 goto error;
Radek Krejcie9f13b12020-11-09 17:42:04 +0100346 }
347
348 if (c->schema_out_format) {
349 /* modules will be printed */
350 if (ly_set_add(&c->schema_modules, (void *)mod, 1, NULL)) {
351 YLMSG_E("Storing parsed schema module (%s) for print failed.\n", argv[optind + i]);
Radek Krejcif2afd672020-11-26 12:29:23 +0100352 goto error;
Radek Krejcie9f13b12020-11-09 17:42:04 +0100353 }
354 }
Radek Krejcie9f13b12020-11-09 17:42:04 +0100355 } else if (format_data) {
Radek Krejci6784a4e2020-12-09 14:23:05 +0100356 if (!fill_cmdline_file(&c->data_inputs, in, argv[optind + i], format_data)) {
Radek Krejcif2afd672020-11-26 12:29:23 +0100357 goto error;
Radek Krejcie9f13b12020-11-09 17:42:04 +0100358 }
Radek Krejcif53b0d52020-12-03 11:29:24 +0100359 in = NULL;
Radek Krejci3329b652020-12-05 23:54:07 +0100360 } else {
361 ly_in_free(in, 1);
362 in = NULL;
Radek Krejcie9f13b12020-11-09 17:42:04 +0100363 }
364 }
365
Michal Vaskod405e812021-11-23 09:00:17 +0100366 /* check that all specified features were applied, apply now if possible */
367 while ((sf = get_features_not_applied(&c->schema_features))) {
368 /* try to find implemented or the latest revision of this module */
369 mod = ly_ctx_get_module_implemented(c->ctx, sf->mod_name);
370 if (!mod) {
371 mod = ly_ctx_get_module_latest(c->ctx, sf->mod_name);
Michal Vasko91b17482021-11-22 10:03:23 +0100372 }
Michal Vaskod405e812021-11-23 09:00:17 +0100373 if (!mod) {
374 YLMSG_E("Specified features not applied, module \"%s\" not loaded.\n", sf->mod_name);
375 goto error;
376 }
377
378 /* we have the module, implement it if needed and enable the specific features */
379 if (lys_set_implemented(mod, (const char **)sf->features)) {
380 YLMSG_E("Implementing module \"%s\" failed.\n", mod->name);
381 goto error;
382 }
383 sf->applied = 1;
Michal Vasko91b17482021-11-22 10:03:23 +0100384 }
385
Radek Krejcie9f13b12020-11-09 17:42:04 +0100386 return 0;
Radek Krejcif2afd672020-11-26 12:29:23 +0100387
388error:
389 ly_in_free(in, 1);
390 return -1;
Radek Krejcie9f13b12020-11-09 17:42:04 +0100391}
392
393/**
394 * @brief Process command line options and store the settings into the context.
395 *
396 * return -1 in case of error;
397 * return 0 in case of success and ready to process
398 * return 1 in case of success, but expect to exit.
Radek Krejcied5acc52019-04-25 15:57:04 +0200399 */
400static int
Radek Krejcie9f13b12020-11-09 17:42:04 +0100401fill_context(int argc, char *argv[], struct context *c)
Radek Krejcied5acc52019-04-25 15:57:04 +0200402{
Radek Krejcie9f13b12020-11-09 17:42:04 +0100403 int ret;
Radek Krejcie7b95092019-05-15 11:03:07 +0200404
Radek Krejcie9f13b12020-11-09 17:42:04 +0100405 int opt, opt_index;
Radek Krejcied5acc52019-04-25 15:57:04 +0200406 struct option options[] = {
Radek Krejcied5acc52019-04-25 15:57:04 +0200407 {"help", no_argument, NULL, 'h'},
Michal Vaskoc40548b2021-09-30 13:05:47 +0200408 {"version", no_argument, NULL, 'v'},
409 {"verbose", no_argument, NULL, 'V'},
410 {"format", required_argument, NULL, 'f'},
Radek Krejcie9f13b12020-11-09 17:42:04 +0100411 {"path", required_argument, NULL, 'p'},
Michal Vaskoc40548b2021-09-30 13:05:47 +0200412 {"disable-searchdir", no_argument, NULL, 'D'},
413 {"features", required_argument, NULL, 'F'},
Michal Vasko8d6d0ad2021-10-19 12:32:27 +0200414 {"make-implemented", no_argument, NULL, 'i'},
Radek Krejcie9f13b12020-11-09 17:42:04 +0100415 {"schema-node", required_argument, NULL, 'P'},
Radek Krejcie1f6d5a2019-11-17 14:03:04 +0800416 {"single-node", no_argument, NULL, 'q'},
Michal Vaskofe74d1e2021-09-30 13:17:36 +0200417 {"submodule", required_argument, NULL, 's'},
Michal Vasko667ce6b2021-01-25 15:00:27 +0100418 {"not-strict", no_argument, NULL, 'n'},
Michal Vaskoc40548b2021-09-30 13:05:47 +0200419 {"present", no_argument, NULL, 'e'},
Radek Krejcied5acc52019-04-25 15:57:04 +0200420 {"type", required_argument, NULL, 't'},
Michal Vaskoc40548b2021-09-30 13:05:47 +0200421 {"default", required_argument, NULL, 'd'},
422 {"list", no_argument, NULL, 'l'},
423 {"tree-line-length", required_argument, NULL, 'L'},
424 {"output", required_argument, NULL, 'o'},
425 {"operational", required_argument, NULL, 'O'},
426 {"merge", no_argument, NULL, 'm'},
427 {"yang-library", no_argument, NULL, 'y'},
428#ifndef NDEBUG
429 {"debug", required_argument, NULL, 'G'},
430#endif
Radek Krejcied5acc52019-04-25 15:57:04 +0200431 {NULL, 0, NULL, 0}
432 };
Radek Krejcied5acc52019-04-25 15:57:04 +0200433
Michal Vaskoc431a0a2021-01-25 14:31:58 +0100434 uint16_t options_ctx = YL_DEFAULT_CTX_OPTIONS;
Radek Krejcie9f13b12020-11-09 17:42:04 +0100435 uint8_t data_type_set = 0;
436
Michal Vasko667ce6b2021-01-25 15:00:27 +0100437 c->data_parse_options = YL_DEFAULT_DATA_PARSE_OPTIONS;
aPiecek2cfeeae2021-04-21 13:17:34 +0200438 c->line_length = 0;
Michal Vasko667ce6b2021-01-25 15:00:27 +0100439
Michal Vaskoa0b56e42021-11-22 10:03:46 +0100440 opterr = 0;
Radek Krejcied5acc52019-04-25 15:57:04 +0200441#ifndef NDEBUG
Michal Vaskofe74d1e2021-09-30 13:17:36 +0200442 while ((opt = getopt_long(argc, argv, "hvVf:p:DF:iP:qs:net:d:lL:o:OmyG:", options, &opt_index)) != -1) {
Michal Vaskoa0b56e42021-11-22 10:03:46 +0100443#else
444 while ((opt = getopt_long(argc, argv, "hvVf:p:DF:iP:qs:net:d:lL:o:Omy", options, &opt_index)) != -1) {
Radek Krejcied5acc52019-04-25 15:57:04 +0200445#endif
Radek Krejcied5acc52019-04-25 15:57:04 +0200446 switch (opt) {
Michal Vaskoc40548b2021-09-30 13:05:47 +0200447 case 'h': /* --help */
448 help(0);
449 return 1;
450
451 case 'v': /* --version */
452 version();
453 return 1;
454
455 case 'V': { /* --verbose */
456 LY_LOG_LEVEL verbosity = ly_log_level(LY_LLERR);
457 ly_log_level(verbosity);
458
459 if (verbosity < LY_LLDBG) {
460 ly_log_level(verbosity + 1);
Radek Krejcied5acc52019-04-25 15:57:04 +0200461 }
462 break;
Michal Vaskoc40548b2021-09-30 13:05:47 +0200463 } /* case 'V' */
Radek Krejcie9f13b12020-11-09 17:42:04 +0100464
465 case 'f': /* --format */
466 if (!strcasecmp(optarg, "yang")) {
467 c->schema_out_format = LYS_OUT_YANG;
468 c->data_out_format = 0;
469 } else if (!strcasecmp(optarg, "yin")) {
470 c->schema_out_format = LYS_OUT_YIN;
471 c->data_out_format = 0;
472 } else if (!strcasecmp(optarg, "info")) {
473 c->schema_out_format = LYS_OUT_YANG_COMPILED;
474 c->data_out_format = 0;
475 } else if (!strcasecmp(optarg, "tree")) {
476 c->schema_out_format = LYS_OUT_TREE;
477 c->data_out_format = 0;
478 } else if (!strcasecmp(optarg, "xml")) {
479 c->schema_out_format = 0;
480 c->data_out_format = LYD_XML;
481 } else if (!strcasecmp(optarg, "json")) {
482 c->schema_out_format = 0;
483 c->data_out_format = LYD_JSON;
Radek Krejcied5acc52019-04-25 15:57:04 +0200484 } else {
Radek Krejcie9f13b12020-11-09 17:42:04 +0100485 YLMSG_E("Unknown output format %s\n", optarg);
Radek Krejcied5acc52019-04-25 15:57:04 +0200486 help(1);
Radek Krejcie9f13b12020-11-09 17:42:04 +0100487 return -1;
Radek Krejcied5acc52019-04-25 15:57:04 +0200488 }
489 break;
Radek Krejcie9f13b12020-11-09 17:42:04 +0100490
Michal Vaskoc40548b2021-09-30 13:05:47 +0200491 case 'p': { /* --path */
492 struct stat st;
493
494 if (stat(optarg, &st) == -1) {
495 YLMSG_E("Unable to use search path (%s) - %s.\n", optarg, strerror(errno));
496 return -1;
497 }
498 if (!S_ISDIR(st.st_mode)) {
499 YLMSG_E("Provided search path is not a directory.\n");
500 return -1;
501 }
502
503 if (ly_set_add(&c->searchpaths, optarg, 0, NULL)) {
504 YLMSG_E("Storing searchpath failed.\n");
505 return -1;
506 }
507
508 break;
509 } /* case 'p' */
510
511 case 'D': /* --disable-search */
512 if (options_ctx & LY_CTX_DISABLE_SEARCHDIRS) {
513 YLMSG_W("The -D option specified too many times.\n");
514 }
515 if (options_ctx & LY_CTX_DISABLE_SEARCHDIR_CWD) {
516 options_ctx &= ~LY_CTX_DISABLE_SEARCHDIR_CWD;
517 options_ctx |= LY_CTX_DISABLE_SEARCHDIRS;
518 } else {
519 options_ctx |= LY_CTX_DISABLE_SEARCHDIR_CWD;
520 }
521 break;
522
523 case 'F': /* --features */
524 if (parse_features(optarg, &c->schema_features)) {
525 return -1;
526 }
527 break;
528
Michal Vasko8d6d0ad2021-10-19 12:32:27 +0200529 case 'i': /* --make-implemented */
Michal Vaskoc40548b2021-09-30 13:05:47 +0200530 if (options_ctx & LY_CTX_REF_IMPLEMENTED) {
531 options_ctx &= ~LY_CTX_REF_IMPLEMENTED;
532 options_ctx |= LY_CTX_ALL_IMPLEMENTED;
533 } else {
534 options_ctx |= LY_CTX_REF_IMPLEMENTED;
535 }
536 break;
537
Radek Krejcie9f13b12020-11-09 17:42:04 +0100538 case 'P': /* --schema-node */
539 c->schema_node_path = optarg;
Radek Krejcied5acc52019-04-25 15:57:04 +0200540 break;
Radek Krejcie9f13b12020-11-09 17:42:04 +0100541
542 case 'q': /* --single-node */
543 c->schema_print_options |= LYS_PRINT_NO_SUBSTMT;
544 break;
545
Michal Vaskofe74d1e2021-09-30 13:17:36 +0200546 case 's': /* --submodule */
547 c->submodule = optarg;
548 break;
549
Michal Vasko667ce6b2021-01-25 15:00:27 +0100550 case 'n': /* --not-strict */
551 c->data_parse_options &= ~LYD_PARSE_STRICT;
Radek Krejcie9f13b12020-11-09 17:42:04 +0100552 break;
553
554 case 'e': /* --present */
555 c->data_validate_options |= LYD_VALIDATE_PRESENT;
556 break;
557
558 case 't': /* --type */
559 if (data_type_set) {
560 YLMSG_E("The data type (-t) cannot be set multiple times.\n");
561 return -1;
562 }
563
564 if (!strcasecmp(optarg, "config")) {
565 c->data_parse_options |= LYD_PARSE_NO_STATE;
Michal Vaskof6bda332021-02-01 08:59:03 +0100566 c->data_validate_options |= LYD_VALIDATE_NO_STATE;
Radek Krejcie9f13b12020-11-09 17:42:04 +0100567 } else if (!strcasecmp(optarg, "get")) {
568 c->data_parse_options |= LYD_PARSE_ONLY;
569 } else if (!strcasecmp(optarg, "getconfig") || !strcasecmp(optarg, "get-config")) {
570 c->data_parse_options |= LYD_PARSE_ONLY | LYD_PARSE_NO_STATE;
571 } else if (!strcasecmp(optarg, "edit")) {
572 c->data_parse_options |= LYD_PARSE_ONLY;
573 } else if (!strcasecmp(optarg, "rpc") || !strcasecmp(optarg, "action")) {
Michal Vasko1e4c68e2021-02-18 15:03:01 +0100574 c->data_type = LYD_TYPE_RPC_YANG;
Radek Krejcie9f13b12020-11-09 17:42:04 +0100575 } else if (!strcasecmp(optarg, "reply") || !strcasecmp(optarg, "rpcreply")) {
Michal Vasko1e4c68e2021-02-18 15:03:01 +0100576 c->data_type = LYD_TYPE_REPLY_YANG;
Radek Krejcie9f13b12020-11-09 17:42:04 +0100577 } else if (!strcasecmp(optarg, "notif") || !strcasecmp(optarg, "notification")) {
Michal Vasko1e4c68e2021-02-18 15:03:01 +0100578 c->data_type = LYD_TYPE_NOTIF_YANG;
Radek Krejcie9f13b12020-11-09 17:42:04 +0100579 } else if (!strcasecmp(optarg, "data")) {
580 /* default option */
581 } else {
582 YLMSG_E("Unknown data tree type %s\n", optarg);
583 help(1);
584 return -1;
585 }
586
587 data_type_set = 1;
588 break;
589
Michal Vaskoc40548b2021-09-30 13:05:47 +0200590 case 'd': /* --default */
591 if (!strcasecmp(optarg, "all")) {
592 c->data_print_options = (c->data_print_options & ~LYD_PRINT_WD_MASK) | LYD_PRINT_WD_ALL;
593 } else if (!strcasecmp(optarg, "all-tagged")) {
594 c->data_print_options = (c->data_print_options & ~LYD_PRINT_WD_MASK) | LYD_PRINT_WD_ALL_TAG;
595 } else if (!strcasecmp(optarg, "trim")) {
596 c->data_print_options = (c->data_print_options & ~LYD_PRINT_WD_MASK) | LYD_PRINT_WD_TRIM;
597 } else if (!strcasecmp(optarg, "implicit-tagged")) {
598 c->data_print_options = (c->data_print_options & ~LYD_PRINT_WD_MASK) | LYD_PRINT_WD_IMPL_TAG;
599 } else {
600 YLMSG_E("Unknown default mode %s\n", optarg);
601 help(1);
602 return -1;
603 }
604 break;
605
606 case 'l': /* --list */
607 c->list = 1;
608 break;
609
610 case 'L': /* --tree-line-length */
611 c->line_length = atoi(optarg);
612 break;
613
614 case 'o': /* --output */
615 if (c->out) {
616 YLMSG_E("Only a single output can be specified.\n");
617 return -1;
618 } else {
619 if (ly_out_new_filepath(optarg, &c->out)) {
620 YLMSG_E("Unable open output file %s (%s)\n", optarg, strerror(errno));
621 return -1;
622 }
623 }
624 break;
625
Radek Krejcie9f13b12020-11-09 17:42:04 +0100626 case 'O': /* --operational */
627 if (c->data_operational.path) {
628 YLMSG_E("The operational datastore (-O) cannot be set multiple times.\n");
629 return -1;
630 }
631 c->data_operational.path = optarg;
632 break;
633
Radek Krejcie9f13b12020-11-09 17:42:04 +0100634 case 'm': /* --merge */
635 c->data_merge = 1;
636 break;
637
Michal Vaskoc431a0a2021-01-25 14:31:58 +0100638 case 'y': /* --yang-library */
639 options_ctx &= ~LY_CTX_NO_YANGLIBRARY;
640 break;
641
Radek Krejcied5acc52019-04-25 15:57:04 +0200642#ifndef NDEBUG
Radek Krejcie9f13b12020-11-09 17:42:04 +0100643 case 'G': { /* --debug */
644 uint32_t dbg_groups = 0;
645 const char *ptr = optarg;
646
Radek Krejcied5acc52019-04-25 15:57:04 +0200647 while (ptr[0]) {
Radek Krejcif13b87b2020-12-01 22:02:17 +0100648 if (!strncasecmp(ptr, "dict", sizeof "dict" - 1)) {
Radek Krejcie9f13b12020-11-09 17:42:04 +0100649 dbg_groups |= LY_LDGDICT;
Radek Krejcif13b87b2020-12-01 22:02:17 +0100650 ptr += sizeof "dict" - 1;
651 } else if (!strncasecmp(ptr, "xpath", sizeof "xpath" - 1)) {
Radek Krejcie9f13b12020-11-09 17:42:04 +0100652 dbg_groups |= LY_LDGXPATH;
Radek Krejcif13b87b2020-12-01 22:02:17 +0100653 ptr += sizeof "xpath" - 1;
Michal Vaskoa0b56e42021-11-22 10:03:46 +0100654 } else if (!strncasecmp(ptr, "dep-sets", sizeof "dep-sets" - 1)) {
655 dbg_groups |= LY_LDGDEPSETS;
656 ptr += sizeof "dep-sets" - 1;
Radek Krejcied5acc52019-04-25 15:57:04 +0200657 }
658
659 if (ptr[0]) {
660 if (ptr[0] != ',') {
Radek Krejcie9f13b12020-11-09 17:42:04 +0100661 YLMSG_E("Unknown debug group string \"%s\"\n", optarg);
662 return -1;
Radek Krejcied5acc52019-04-25 15:57:04 +0200663 }
664 ++ptr;
665 }
666 }
Radek Krejcie9f13b12020-11-09 17:42:04 +0100667 ly_log_dbg_groups(dbg_groups);
Radek Krejcied5acc52019-04-25 15:57:04 +0200668 break;
Radek Krejcie9f13b12020-11-09 17:42:04 +0100669 } /* case 'G' */
Radek Krejcied5acc52019-04-25 15:57:04 +0200670#endif
Michal Vaskoa0b56e42021-11-22 10:03:46 +0100671 default:
672 YLMSG_E("Invalid option or missing argument: -%c\n", optopt);
673 return -1;
Radek Krejcie9f13b12020-11-09 17:42:04 +0100674 } /* switch */
675 }
676
Michal Vaskob0d0adf2021-11-22 10:01:34 +0100677 /* set imp feature flag if all should be enabled */
678 if (!c->schema_features.count) {
679 options_ctx |= LY_CTX_ENABLE_IMP_FEATURES;
680 }
681
Radek Krejcie9f13b12020-11-09 17:42:04 +0100682 /* libyang context */
683 if (ly_ctx_new(NULL, options_ctx, &c->ctx)) {
684 YLMSG_E("Unable to create libyang context.\n");
685 return -1;
686 }
687 for (uint32_t u = 0; u < c->searchpaths.count; ++u) {
688 ly_ctx_set_searchdir(c->ctx, c->searchpaths.objs[u]);
689 }
690
691 /* additional checks for the options combinations */
692 if (!c->list && (optind >= argc)) {
693 help(1);
694 YLMSG_E("Missing <schema> to process.\n");
695 return 1;
696 }
697
698 if (c->data_merge) {
699 if (c->data_type || (c->data_parse_options & LYD_PARSE_ONLY)) {
700 /* switch off the option, incompatible input data type */
701 c->data_merge = 0;
702 } else {
703 /* postpone validation after the merge of all the input data */
704 c->data_parse_options |= LYD_PARSE_ONLY;
Radek Krejcied5acc52019-04-25 15:57:04 +0200705 }
706 }
707
Radek Krejcie9f13b12020-11-09 17:42:04 +0100708 if (c->data_operational.path && !c->data_type) {
709 YLMSG_E("Operational datastore takes effect only with RPCs/Actions/Replies/Notifications input data types.\n");
710 c->data_operational.path = NULL;
Radek Krejcied5acc52019-04-25 15:57:04 +0200711 }
Radek Krejcie9f13b12020-11-09 17:42:04 +0100712
aPiecek2cfeeae2021-04-21 13:17:34 +0200713 if ((c->schema_out_format != LYS_OUT_TREE) && c->line_length) {
714 YLMSG_E("--tree-line-length take effect only in case of the tree output format.\n");
715 }
716
Radek Krejcie9f13b12020-11-09 17:42:04 +0100717 /* default output stream */
718 if (!c->out) {
719 if (ly_out_new_file(stdout, &c->out)) {
720 YLMSG_E("Unable to set stdout as output.\n");
721 return -1;
Radek Krejcied5acc52019-04-25 15:57:04 +0200722 }
723 }
Radek Krejcie9f13b12020-11-09 17:42:04 +0100724
aPiecek7ac66d52021-05-20 07:54:07 +0200725 if (c->schema_out_format == LYS_OUT_TREE) {
726 /* print tree from lysc_nodes */
727 ly_ctx_set_options(c->ctx, LY_CTX_SET_PRIV_PARSED);
728 }
729
Radek Krejcie9f13b12020-11-09 17:42:04 +0100730 /* process input files provided as standalone command line arguments,
731 * schema modules are parsed and inserted into the context,
732 * data files are just checked and prepared into internal structures for further processing */
733 ret = fill_context_inputs(argc, argv, c);
734 if (ret) {
735 return ret;
736 }
737
738 /* the second batch of checks */
739 if (c->schema_print_options && !c->schema_out_format) {
740 YLMSG_W("Schema printer options specified, but the schema output format is missing.\n");
741 }
742 if (c->schema_parse_options && !c->schema_modules.count) {
743 YLMSG_W("Schema parser options specified, but no schema input file provided.\n");
744 }
745 if (c->data_print_options && !c->data_out_format) {
746 YLMSG_W("data printer options specified, but the data output format is missing.\n");
747 }
Michal Vasko667ce6b2021-01-25 15:00:27 +0100748 if (((c->data_parse_options != YL_DEFAULT_DATA_PARSE_OPTIONS) || c->data_type) && !c->data_inputs.count) {
Radek Krejcie9f13b12020-11-09 17:42:04 +0100749 YLMSG_W("Data parser options specified, but no data input file provided.\n");
750 }
751
752 if (c->schema_node_path) {
753 c->schema_node = lys_find_path(c->ctx, NULL, c->schema_node_path, 0);
754 if (!c->schema_node) {
755 c->schema_node = lys_find_path(c->ctx, NULL, c->schema_node_path, 1);
756
757 if (!c->schema_node) {
758 YLMSG_E("Invalid schema path.\n");
759 return -1;
760 }
Radek Krejcied5acc52019-04-25 15:57:04 +0200761 }
Radek Krejcied5acc52019-04-25 15:57:04 +0200762 }
Radek Krejcie9f13b12020-11-09 17:42:04 +0100763
Radek Krejcie9f13b12020-11-09 17:42:04 +0100764 return 0;
765}
766
767int
768main_ni(int argc, char *argv[])
769{
770 int ret = EXIT_SUCCESS, r;
771 struct context c = {0};
Radek Krejcied5acc52019-04-25 15:57:04 +0200772
773 /* set callback for printing libyang messages */
774 ly_set_log_clb(libyang_verbclb, 1);
Radek Krejcie9f13b12020-11-09 17:42:04 +0100775
776 r = fill_context(argc, argv, &c);
777 if (r < 0) {
778 ret = EXIT_FAILURE;
Radek Krejcied5acc52019-04-25 15:57:04 +0200779 }
Radek Krejcie9f13b12020-11-09 17:42:04 +0100780 if (r) {
Radek Krejcied5acc52019-04-25 15:57:04 +0200781 goto cleanup;
782 }
783
Radek Krejcie9f13b12020-11-09 17:42:04 +0100784 /* do the required job - parse, validate, print */
785
786 if (c.list) {
787 /* print the list of schemas */
788 print_list(c.out, c.ctx, c.data_out_format);
Radek Krejci047d64e2020-12-03 12:57:10 +0100789 } else {
790 if (c.schema_out_format) {
791 if (c.schema_node) {
792 ret = lys_print_node(c.out, c.schema_node, c.schema_out_format, 0, c.schema_print_options);
Radek Krejcie9f13b12020-11-09 17:42:04 +0100793 if (ret) {
Radek Krejci047d64e2020-12-03 12:57:10 +0100794 YLMSG_E("Unable to print schema node %s.\n", c.schema_node_path);
Radek Krejcie9f13b12020-11-09 17:42:04 +0100795 goto cleanup;
796 }
Michal Vaskofe74d1e2021-09-30 13:17:36 +0200797 } else if (c.submodule) {
798 const struct lysp_submodule *submod = ly_ctx_get_submodule_latest(c.ctx, c.submodule);
799 if (!submod) {
800 YLMSG_E("Unable to find submodule %s.\n", c.submodule);
801 goto cleanup;
802 }
803
804 ret = lys_print_submodule(c.out, submod, c.schema_out_format, c.line_length, c.schema_print_options);
805 if (ret) {
806 YLMSG_E("Unable to print submodule %s.\n", submod->name);
807 goto cleanup;
808 }
Radek Krejci047d64e2020-12-03 12:57:10 +0100809 } else {
810 for (uint32_t u = 0; u < c.schema_modules.count; ++u) {
aPiecek2cfeeae2021-04-21 13:17:34 +0200811 ret = lys_print_module(c.out, (struct lys_module *)c.schema_modules.objs[u], c.schema_out_format,
812 c.line_length, c.schema_print_options);
aPiecek8f0b7882021-05-21 10:18:36 +0200813 /* for YANG Tree Diagrams printing it's more readable to print a blank line between modules. */
814 if ((c.schema_out_format == LYS_OUT_TREE) && (u + 1 < c.schema_modules.count)) {
815 ly_print(c.out, "\n");
816 }
Radek Krejci047d64e2020-12-03 12:57:10 +0100817 if (ret) {
818 YLMSG_E("Unable to print module %s.\n", ((struct lys_module *)c.schema_modules.objs[u])->name);
819 goto cleanup;
820 }
821 }
Radek Krejcie9f13b12020-11-09 17:42:04 +0100822 }
Radek Krejcied5acc52019-04-25 15:57:04 +0200823 }
Radek Krejci047d64e2020-12-03 12:57:10 +0100824
825 /* do the data validation despite the schema was printed */
826 if (c.data_inputs.size) {
827 if (process_data(c.ctx, c.data_type, c.data_merge, c.data_out_format, c.out,
828 c.data_parse_options, c.data_validate_options, c.data_print_options,
Radek Krejci6784a4e2020-12-09 14:23:05 +0100829 &c.data_operational, &c.data_inputs, NULL)) {
Radek Krejci047d64e2020-12-03 12:57:10 +0100830 goto cleanup;
831 }
Radek Krejcied5acc52019-04-25 15:57:04 +0200832 }
Radek Krejcied5acc52019-04-25 15:57:04 +0200833 }
Radek Krejcied5acc52019-04-25 15:57:04 +0200834
835cleanup:
Radek Krejcie9f13b12020-11-09 17:42:04 +0100836 /* cleanup */
837 erase_context(&c);
Radek Krejcied5acc52019-04-25 15:57:04 +0200838
Radek Krejcied5acc52019-04-25 15:57:04 +0200839 return ret;
840}