Add LYD_PARSE_ANYDATA_STRICT option

Add an option to enable strict parsing for anydata subtrees in json
and xml parsers.

The option is exposed in yanglint command line as -A, --anydata-strict.

Author: ahassany

src/parser_data.h

@@ -197,6 +197,11 @@ struct ly_in;
                                                        number type values enclosed in quotes. */
 #define LYD_PARSE_OPTS_MASK 0xFFFF0000      /**< Mask for all the LYD_PARSE_ options. */
 
+#define LYD_PARSE_ANYDATA_STRICT 0x10000000 /**< Apply strict parsing (::LYD_PARSE_STRICT) also to anydata
+                                                 content. By default, unknown elements in anydata are parsed
+                                                 as opaque nodes. With this flag, an error is raised for any unknown
+                                                 elements within anydata/anyxml subtrees. */
+
 /** @} dataparseroptions */
 
 /**

src/parser_json.c

@@ -1310,7 +1310,11 @@ lydjson_parse_any(struct lyd_json_ctx *lydctx, const struct lysc_node *snode, st
 
         /* parse any data tree with correct options, first backup the current options and then make the parser
          * process data as opaq nodes */
-        lydctx->parse_opts &= ~LYD_PARSE_STRICT;
+        if (lydctx->parse_opts & LYD_PARSE_ANYDATA_STRICT) {
+            lydctx->parse_opts |= LYD_PARSE_STRICT;
+        } else {
+            lydctx->parse_opts &= ~LYD_PARSE_STRICT;
+         }
         lydctx->parse_opts |= LYD_PARSE_OPAQ | (ext ? LYD_PARSE_ONLY : 0);
         lydctx->int_opts |= LYD_INTOPT_ANY | LYD_INTOPT_WITH_SIBLINGS;
         lydctx->any_schema = snode;

src/parser_xml.c

@@ -954,8 +954,12 @@ lydxml_subtree_any(struct lyd_xml_ctx *lydctx, const struct lysc_node *snode, co
         r = lyxml_ctx_next(xmlctx);
         LY_CHECK_ERR_GOTO(r, rc = r, cleanup);
 
-        /* update options so that generic data can be parsed */
-        lydctx->parse_opts &= ~LYD_PARSE_STRICT;
+        if (lydctx->parse_opts & LYD_PARSE_ANYDATA_STRICT) {
+            lydctx->parse_opts |= LYD_PARSE_STRICT;
+        } else {
+            /* update options so that generic data can be parsed */
+            lydctx->parse_opts &= ~LYD_PARSE_STRICT;
+        }
         lydctx->parse_opts |= LYD_PARSE_OPAQ | (ext ? LYD_PARSE_ONLY : 0);
         lydctx->int_opts |= LYD_INTOPT_ANY | LYD_INTOPT_WITH_SIBLINGS;
 

tools/lint/cmd_data.c

@@ -146,7 +146,9 @@ cmd_data_help(void)
             "                is supposed to contain the source 'nc-rpc' operation of the reply.\n"
             "  -k, --ext-inst <name>\n"
             "                Name of extension instance in format:\n"
-            "                <module-name>:<extension-name>:<argument>\n");
+            "                <module-name>:<extension-name>:<argument>\n"
+            "  -A, --anydata-strict\n"
+            "                Enable strict parsing of anydata content\n");
     cmd_data_help_format();
     cmd_data_help_in_format();
     printf("  -o OUTFILE, --output=OUTFILE\n"
@@ -161,19 +163,20 @@ cmd_data_opt(struct yl_opt *yo, const char *cmdline, char ***posv, int *posc)
     int rc = 0, argc = 0;
     int opt, opt_index;
     struct option options[] = {
-        {"defaults",    required_argument, NULL, 'd'},
-        {"present",     no_argument,       NULL, 'e'},
-        {"format",      required_argument, NULL, 'f'},
-        {"in-format",   required_argument, NULL, 'F'},
-        {"help",        no_argument,       NULL, 'h'},
-        {"merge",       no_argument,       NULL, 'm'},
-        {"output",      required_argument, NULL, 'o'},
-        {"operational", required_argument, NULL, 'O'},
-        {"reply-rpc",   required_argument, NULL, 'R'},
-        {"not-strict",  no_argument,       NULL, 'n'},
-        {"type",        required_argument, NULL, 't'},
-        {"xpath",       required_argument, NULL, 'x'},
-        {"ext-inst",    required_argument, NULL, 'k'},
+        {"defaults",        required_argument, NULL, 'd'},
+        {"present",         no_argument,       NULL, 'e'},
+        {"format",          required_argument, NULL, 'f'},
+        {"in-format",       required_argument, NULL, 'F'},
+        {"help",            no_argument,       NULL, 'h'},
+        {"merge",           no_argument,       NULL, 'm'},
+        {"output",          required_argument, NULL, 'o'},
+        {"operational",     required_argument, NULL, 'O'},
+        {"reply-rpc",       required_argument, NULL, 'R'},
+        {"not-strict",      no_argument,       NULL, 'n'},
+        {"anydata-strict",  no_argument      , NULL, 'A'},
+        {"type",            required_argument, NULL, 't'},
+        {"xpath",           required_argument, NULL, 'x'},
+        {"ext-inst",        required_argument, NULL, 'k'},
         {NULL, 0, NULL, 0}
     };
 
@@ -242,6 +245,10 @@ cmd_data_opt(struct yl_opt *yo, const char *cmdline, char ***posv, int *posc)
         case 'n': /* --not-strict */
             yo->data_parse_options &= ~LYD_PARSE_STRICT;
             break;
+        case 'A':   /* --anydata-strict */
+            yo->data_parse_options |= LYD_PARSE_ANYDATA_STRICT;
+            break;
+
         case 't': /* --type */
             if (data_type_set) {
                 YLMSG_E("The data type (-t) cannot be set multiple times.");

tools/lint/main_ni.c

@@ -128,6 +128,9 @@ help(int shortout)
             "                Do not require strict data parsing (silently skip unknown data),\n"
             "                has no effect for schemas.\n\n");
 
+    printf("  -A, --anydata-strict\n"
+            "                Enable strict parsing of anydata content.\n\n");
+
     printf("  -e, --present Validate only with the schema modules whose data actually\n"
             "                exist in the provided input data files. Takes effect only\n"
             "                with the 'data' or 'config' TYPEs. Used to avoid requiring\n"
@@ -486,6 +489,7 @@ process_args(int argc, char *argv[], struct yl_opt *yo, struct ly_ctx **ctx)
         {"submodule",         required_argument, NULL, 's'},
         {"ext-data",          required_argument, NULL, 'x'},
         {"not-strict",        no_argument,       NULL, 'n'},
+        {"anydata-strict",    no_argument,       NULL, 'A'},
         {"present",           no_argument,       NULL, 'e'},
         {"type",              required_argument, NULL, 't'},
         {"default",           required_argument, NULL, 'd'},
@@ -511,7 +515,7 @@ process_args(int argc, char *argv[], struct yl_opt *yo, struct ly_ctx **ctx)
     yo->line_length = 0;
 
     opterr = 0;
-    while ((opt = getopt_long(argc, argv, "hvVQf:I:p:DF:iP:qs:neE:t:d:lL:o:O:R:myY:XJx:G:k:", options, &opt_index)) != -1) {
+    while ((opt = getopt_long(argc, argv, "hvVQf:I:p:DF:iP:qs:neEA:t:d:lL:o:O:R:myY:XJx:G:k:", options, &opt_index)) != -1) {
         switch (opt) {
         case 'h': /* --help */
             help(0);
@@ -604,6 +608,10 @@ process_args(int argc, char *argv[], struct yl_opt *yo, struct ly_ctx **ctx)
             yo->data_parse_options &= ~LYD_PARSE_STRICT;
             break;
 
+        case 'A':   /* --anydata-strict */
+            yo->data_parse_options |= LYD_PARSE_ANYDATA_STRICT;
+            break;
+
         case 'e': /* --present */
             yo->data_validate_options |= LYD_VALIDATE_PRESENT;
             break;