kc3-lang/libxkbcommon/test/rules-file.c

Branch : - branch - android master - tag -

• Show log

  Commit

• Author : Pierre Le Marre
  Date : 2025-04-11 11:13:25
  Hash : a1e595e7
  Message : rules: Fix merging KcCGST values in layout order When using layout index ranges (e.g. special indexes “any” or “later”), the rules still match following the order in the rules file, so layout indexes may match without following their natural order. So the resulting KcCGST value should not be merged with the output until reaching the end of the rule set. Because the rule set may also involve options, it may match multiple times for the *same* layout index. So these multiple matches should not be merged together either, until reaching the end of the rule set. When reaching the end of the rule set, for each KcCGST component the pending values are then merged: for each layout, for each KcCGST value in the corresponding sequence, merge with the output. --- Example: ! model = symbols * = pc ! layout[any] option = symbols C 1 = +c1:%i C 2 = +c2:%i B 3 = skip B 4 = +b:%i The result of RMLVO {layout: "A,B,C", options: "4,3,2,1"} is: symbols = pc+b:2+c1:3+c2:3 - `skip` was dropped because it has no explicit merge mode; - although every rule was matched in order, the resulting order of the symbols follows the order of the layouts, so `+b` appears before `+c1` and `+c2`. - the relative order of the options for layout C follows the order within the rule set, not the order of RMLVO. Before this commit, the result would have been: symbols = pc+c1:3+c2:3+b:2

• test/rules-file.c

• /*
   * Copyright © 2012 Ran Benita <ran234@gmail.com>
   * SPDX-License-Identifier: MIT
   */
  
  #include "config.h"
  
  #include "xkbcommon/xkbcommon.h"
  #include "utils.h"
  #include "test.h"
  #include "xkbcomp/rules.h"
  #include <stdlib.h>
  
  struct test_data {
      /* Rules file */
      const char *rules;
  
      /* Input */
      const char *model;
      const char *layout;
      const char *variant;
      const char *options;
  
      /* Expected output */
      const char *keycodes;
      const char *types;
      const char *compat;
      const char *symbols;
      const char *geometry;
      xkb_layout_index_t explicit_layouts;
  
      /* Or set this if xkb_components_from_rules() should fail. */
      bool should_fail;
  };
  
  static bool
  test_rules(struct xkb_context *ctx, struct test_data *data)
  {
      fprintf(stderr, "\n\nChecking : %s\t%s\t%s\t%s\t%s\n", data->rules,
              data->model, data->layout, data->variant, data->options);
  
      if (data->should_fail)
          fprintf(stderr, "Expecting: FAILURE\n");
      else
          fprintf(stderr, "Expecting: %s\t%s\t%s\t%s\t%s\t%u\n",
                  data->keycodes, data->types, data->compat, data->symbols,
                  data->geometry, data->explicit_layouts);
  
      bool passed = true;
      xkb_layout_index_t explicit_layouts;
      for (int k = 0; k < 2; k++) {
          bool ok;
          const struct xkb_rule_names rmlvo = {
              data->rules, data->model, data->layout, data->variant, data->options
          };
          struct xkb_component_names kccgst;
  
          if (k == 0) {
              /* Private API */
              ok = xkb_components_from_rules(ctx, &rmlvo, &kccgst,
                                             &explicit_layouts);
          } else {
              /* Public API */
              ok = xkb_components_names_from_rules(ctx, &rmlvo, NULL, &kccgst);
          }
          if (ok) {
              fprintf(stderr, "Received : %s\t%s\t%s\t%s\t%s\t%u\n",
                      kccgst.keycodes, kccgst.types, kccgst.compatibility,
                      kccgst.symbols, kccgst.geometry, explicit_layouts);
          } else {
              fprintf(stderr, "Received : FAILURE\n");
              return data->should_fail;
          }
  
          passed &= streq_not_null(kccgst.keycodes, data->keycodes) &&
                    streq_not_null(kccgst.types, data->types) &&
                    streq_not_null(kccgst.compatibility, data->compat) &&
                    streq_not_null(kccgst.symbols, data->symbols) &&
                    streq_null(kccgst.geometry, data->geometry) &&
                    explicit_layouts == data->explicit_layouts;
  
          free(kccgst.keycodes);
          free(kccgst.types);
          free(kccgst.compatibility);
          free(kccgst.symbols);
          free(kccgst.geometry);
      }
  
      return passed;
  }
  
  int
  main(int argc, char *argv[])
  {
      struct xkb_context *ctx;
  
      test_init();
  
      ctx = test_get_context(CONTEXT_NO_FLAG);
      assert(ctx);
  
      struct test_data test_utf_8_with_bom = {
          .rules = "utf-8_with_bom",
  
          .model = "my_model", .layout = "my_layout", .variant = "my_variant",
          .options = "my_option",
  
          .keycodes = "my_keycodes", .types = "my_types",
          .compat = "my_compat|some:compat",
          .symbols = "my_symbols+extra_variant",
          .explicit_layouts = 1,
      };
      assert(test_rules(ctx, &test_utf_8_with_bom));
  
      struct test_data test_utf_16le_with_bom = {
          .rules = "utf-16le_with_bom",
  
          .model = "my_model", .layout = "my_layout", .variant = "my_variant",
          .options = "my_option",
  
          .keycodes = "my_keycodes", .types = "my_types",
          .compat = "my_compat|some:compat",
          .symbols = "my_symbols+extra_variant",
          .explicit_layouts = 1,
      };
      assert(!test_rules(ctx, &test_utf_16le_with_bom));
  
      struct test_data test_utf_16be_with_bom = {
          .rules = "utf-16be_with_bom",
  
          .model = "my_model", .layout = "my_layout", .variant = "my_variant",
          .options = "my_option",
  
          .keycodes = "my_keycodes", .types = "my_types",
          .compat = "my_compat|some:compat",
          .symbols = "my_symbols+extra_variant",
          .explicit_layouts = 1,
      };
      assert(!test_rules(ctx, &test_utf_16be_with_bom));
  
      struct test_data test_utf_32be = {
          .rules = "utf-32be",
  
          .model = "my_model", .layout = "my_layout", .variant = "my_variant",
          .options = "my_option",
  
          .keycodes = "my_keycodes", .types = "my_types",
          .compat = "my_compat|some:compat",
          .symbols = "my_symbols+extra_variant",
          .explicit_layouts = 1,
      };
      assert(!test_rules(ctx, &test_utf_32be));
  
      /* Only parse strict decimal groups */
      struct test_data test_invalid_group_index = {
          .rules = "invalid-group-index",
  
          .model = "my_model", .layout = "1,2", .variant = NULL,
          .options = NULL,
  
          .keycodes = "default_keycodes", .types = "default_types",
          .compat = "default_compat",
          .symbols = "default_symbols+default_symbols:2",
          .explicit_layouts = 2,
      };
      assert(!test_rules(ctx, &test_invalid_group_index));
  
      /* Only parse strict decimal groups */
      struct test_data test_invalid_group_qualifier = {
          .rules = "invalid-group-qualifier",
  
          .model = "my_model", .layout = "1,2", .variant = NULL,
          .options = NULL,
  
          .keycodes = "default_keycodes", .types = "default_types",
          .compat = "default_compat",
          .symbols = "default_symbols+default_symbols:+2",
          .explicit_layouts = 1,
      };
      assert(test_rules(ctx, &test_invalid_group_qualifier));
  
      struct test_data test1 = {
          .rules = "simple",
  
          .model = "my_model", .layout = "my_layout", .variant = "my_variant",
          .options = "my_option",
  
          .keycodes = "my_keycodes", .types = "my_types",
          .compat = "my_compat|some:compat",
          .symbols = "my_symbols+extra_variant",
          .explicit_layouts = 1,
      };
      assert(test_rules(ctx, &test1));
  
      struct test_data test2 = {
          .rules = "simple",
  
          .model = "", .layout = "foo", .variant = "", .options = "",
  
          .keycodes = "default_keycodes", .types = "default_types",
          .compat = "default_compat", .symbols = "default_symbols",
          .explicit_layouts = 1,
      };
      assert(test_rules(ctx, &test2));
  
      struct test_data test3 = {
          .rules = "groups",
  
          .model = "pc104", .layout = "foo", .variant = "", .options = "",
  
          .keycodes = "something(pc104)", .types = "default_types",
          .compat = "default_compat", .symbols = "default_symbols",
          .explicit_layouts = 1,
      };
      assert(test_rules(ctx, &test3));
  
      struct test_data test4 = {
          .rules = "groups",
  
          .model = "foo", .layout = "ar", .variant = "bar", .options = "",
  
          .keycodes = "default_keycodes", .types = "default_types",
          .compat = "default_compat", .symbols = "my_symbols+(bar)",
          .explicit_layouts = 1,
      };
      assert(test_rules(ctx, &test4));
  
      struct test_data test5 = {
          .rules = "simple",
  
          .model = NULL, .layout = "my_layout,second_layout", .variant = "my_variant",
          .options = "my_option",
  
          .should_fail = true
      };
      assert(test_rules(ctx, &test5));
  
      struct test_data test6 = {
          .rules = "index",
  
          .model = "", .layout = "br,al,cn,az", .variant = "",
          .options = "some:opt",
  
          .keycodes = "default_keycodes", .types = "default_types",
          .compat = "default_compat",
          .symbols = "default_symbols+extra:1+extra:2+extra:3+extra:4",
          .explicit_layouts = 4,
      };
      assert(test_rules(ctx, &test6));
  
      struct test_data test7 = {
          .rules = "multiple-options",
  
          .model = "my_model", .layout = "my_layout", .variant = "my_variant",
          .options = "option3,option1,colon:opt,option11",
  
          .keycodes = "my_keycodes", .types = "my_types",
          .compat = "my_compat+some:compat+group(bla)",
          .symbols = "my_symbols+extra_variant+compose(foo)+keypad(bar)+altwin(menu)",
          .explicit_layouts = 1,
      };
      assert(test_rules(ctx, &test7));
  
      struct test_data test_merge_mode_replace = {
          .rules = "merge-mode-replace",
  
          .model = "my_model", .layout = "us,de", .variant = "",
          .options = "replace:first",
  
          .keycodes = "evdev", .types = "complete",
          .compat = "complete",
          .symbols = "pc+us+de:2^level3(ralt_alt)|empty",
          .explicit_layouts = 2,
      };
      assert(test_rules(ctx, &test_merge_mode_replace));
  
      /* Wild card does not match empty entries for layouts and variants */
  #define ENTRY(_model, _layout, _variant, _options, _symbols, _layouts, _fail) \
      { .rules = "wildcard", .model = (_model),                                 \
        .layout = (_layout), .variant = (_variant), .options = (_options),      \
        .keycodes = "evdev", .types = "complete", .compat = "complete",         \
        .symbols = (_symbols) , .geometry = "pc(pc104)",                        \
        .explicit_layouts = (_layouts), .should_fail = (_fail) }
      struct test_data wildcard_data[] = {
          /* OK: empty model and options and at least one layout+variant combo */
          ENTRY(NULL, "a"  , "1"  , NULL, "pc+a(1)", 1, false),
          ENTRY(""  , "a"  , "1"  , ""  , "pc+a(1)", 1, false),
          ENTRY(""  , "a," , "1," , ""  , "pc+a(1)", 1, false),
          ENTRY(""  , ",b" , ",2" , ""  , "+b(2):2", 2, false),
          ENTRY(""  , "a,b", "1," , ""  , "pc+a(1)", 1, false),
          ENTRY(""  , "a,b", ",2" , ""  , "+b(2):2", 2, false),
          /* Fails: empty layout or variant */
          ENTRY(NULL, NULL , NULL , NULL, "", 1, true),
          ENTRY(NULL, ""   , ""   , NULL, "", 1, true),
          ENTRY(NULL, NULL , "1"  , NULL, "", 1, true),
          ENTRY(NULL, ""   , "1"  , NULL, "", 1, true),
          ENTRY(NULL, ","  , "1,2", NULL, "", 2, true),
          ENTRY(NULL, "a"  , NULL , NULL, "", 1, true),
          ENTRY(NULL, "a"  , ""   , NULL, "", 1, true),
          ENTRY(NULL, "a,b", NULL , NULL, "", 2, true),
          ENTRY(NULL, "a,b", ""   , NULL, "", 2, true),
          ENTRY(NULL, "a,b", ","  , NULL, "", 2, true)
      };
  #undef ENTRY
      for (size_t k = 0; k < ARRAY_SIZE(wildcard_data); k++) {
          assert(test_rules(ctx, &wildcard_data[k]));
      }
  
      /* Prepare data with too much layouts */
      char too_much_layouts[(2 + MAX_LAYOUT_INDEX_STR_LENGTH) * (XKB_MAX_GROUPS + 1)] = { 0 };
      char too_much_symbols[(3 + MAX_LAYOUT_INDEX_STR_LENGTH) * XKB_MAX_GROUPS] = { 0 };
      size_t i = 0;
      for (xkb_layout_index_t l = 0; l <= XKB_MAX_GROUPS; l++) {
          i += snprintf(&too_much_layouts[i], sizeof(too_much_layouts) - i,
                        "x%"PRIu32",", l + 1);
      }
      too_much_layouts[--i] = '\0';
      i = 0;
      for (xkb_layout_index_t l = 0; l < XKB_MAX_GROUPS; l++) {
          i += snprintf(&too_much_symbols[i], sizeof(too_much_symbols) - i,
                        "x:%"PRIu32"+", l + 1);
      }
      too_much_symbols[--i] = '\0';
  
  #define ENTRY2(_rules, _model, _layout, _variant, _options,                 \
                 _keycodes, _types, _compat, _symbols, _count, _should_fail)  \
      { .rules = (_rules), .model = (_model),                                 \
        .layout = (_layout), .variant = (_variant), .options = (_options),    \
        .keycodes = (_keycodes), .types = (_types), .compat = (_compat),      \
        .symbols = (_symbols),                                                \
        .geometry = (strncmp((_rules), "evdev", 5) == 0) ? "pc(pc104)" : NULL,\
        .explicit_layouts = (_count), .should_fail = (_should_fail) }
  #define ENTRY(layout, variant, options, symbols, count, should_fail)           \
          ENTRY2("special_indexes", NULL, layout, variant, options,              \
                 "default_keycodes", "default_types", "default_compat", symbols, \
                 count, should_fail)
      struct test_data special_indexes_first_data[] = {
          /* Test index ranges: layout vs layout[first] */
          ENTRY("layout_a", NULL, NULL, "A", 1, false),
          ENTRY("layout_e", NULL, NULL, "E+layout_e", 1, false),
          ENTRY("a", NULL, NULL, "a", 1, false),
          ENTRY("a", "1", NULL, "a(1)", 1, false),
          /* Test index ranges: invalid layout qualifier */
          ENTRY("layout_c", NULL, NULL, "C:1+z:1", 1, false),
          /* Test index ranges: invalid layout[first] qualifier */
          ENTRY("layout_d", NULL, NULL, "D", 1, false),
          /* Test index ranges: multiple layouts */
          ENTRY("a,b", NULL, NULL, "a+b:2", 2, false),
          ENTRY("a,b", ",c", NULL, "a+b(c):2", 2, false),
          ENTRY("layout_e,layout_a", NULL, NULL, "e:1+x:2", 2, false),
          ENTRY("layout_a,layout_b,layout_c,layout_d", NULL, NULL,
                "a:1+y:2+layout_c:3+layout_d:4+z:3", 4, false),
          ENTRY("layout_a,layout_b,layout_c,layout_d",
                "extra,,,extra", NULL,
                "a:1+y:2+layout_c:3+layout_d(extra):4+z:3"
                "+foo:1|bar:1+foo:4|bar:4", 4, false),
          /* NOTE: 5 layouts is intentional;
           * will require update when raising XKB_MAX_LAYOUTS */
          ENTRY("layout_a,layout_b,layout_c,layout_d,layout_e", NULL, NULL,
                "a:1+y:2+layout_c:3+layout_d:4+z:3", 4, false),
          /* Check that special indexes merge the KcCGST values in the expected order */
          ENTRY("layout_a,layout_b,layout_c", NULL, "option_3,option_2,option_1",
                "a:1+y:2+layout_c:3+z:3+III:2+JJJ:2+HHH:3+KKK:3+LLL+OOO:2+MMM:3+NNN:3",
                3, false),
  #undef ENTRY
          /* Test index ranges: too much layouts */
          ENTRY2("special_indexes-limit", NULL, too_much_layouts, NULL, NULL,
                 "default_keycodes", "default_types", "default_compat", too_much_symbols,
                 XKB_MAX_GROUPS, false),
  #define ENTRY(model, layout, variant, options, compat, symbols, count, should_fail) \
          ENTRY2("evdev-modern", model, layout, variant, options,                     \
                 "evdev+aliases(qwerty)", "complete", compat, symbols, count, should_fail)
          /* evdev-modern: 1 layout */
          ENTRY("whatever", "ar", NULL, NULL, "complete", "pc+ara+inet(evdev)", 1, false),
          ENTRY("whatever", "ben", "probhat", NULL, "complete", "pc+in(ben_probhat)+inet(evdev)", 1, false),
          ENTRY("ataritt", "es", NULL, NULL, "complete", "xfree68_vndr/ataritt(us)+es+inet(evdev)", 1, false),
          ENTRY("ataritt", "jp", NULL, NULL, "complete+japan", "xfree68_vndr/ataritt(us)+jp+inet(evdev)", 1, false),
          ENTRY2("evdev-modern", "olpc", "us", NULL, NULL,
                 "evdev+olpc(olpc)+aliases(qwerty)", "complete", "olpc", "olpc+us(olpc)+inet(evdev)", 1, false),
          ENTRY2("evdev-modern", "olpc", "jp", NULL, NULL,
                 "evdev+olpc(olpc)+aliases(qwerty)", "complete", "complete+japan", "olpc+jp+inet(evdev)", 1, false),
          ENTRY("pc104", "jp", NULL, NULL, "complete+japan", "pc+jp+inet(evdev)", 1, false),
          ENTRY("pc104", "jp", "xxx", NULL, "complete+japan", "pc+jp(xxx)+inet(evdev)", 1, false),
          ENTRY("pc104", "es", NULL, NULL, "complete", "pc+es+inet(evdev)", 1, false),
          ENTRY("pc104", "es", "xxx", NULL, "complete", "pc+es(xxx)+inet(evdev)", 1, false),
          ENTRY2("evdev-modern", "pc104", "de", "neo", NULL,
                 "evdev+aliases(qwertz)", "complete",
                 "complete+caps(caps_lock):1+misc(assign_shift_left_action):1+level5(level5_lock):1",
                 "pc+de(neo)+inet(evdev)", 1, false),
          ENTRY("pc104", "br", NULL, "misc:typo,misc:apl", "complete",
                "pc+br+inet(evdev)+apl(level3):1+typo(base):1", 1, false),
          /* evdev-modern: 2 layouts */
          ENTRY("whatever", "ar,pt", NULL, NULL, "complete", "pc+ara+pt:2+inet(evdev)", 2, false),
          ENTRY("whatever", "pt,ar", NULL, NULL, "complete", "pc+pt+ara:2+inet(evdev)", 2, false),
          ENTRY("whatever", "ben,gb", "probhat,", NULL, "complete",
                "pc+in(ben_probhat)+gb:2+inet(evdev)", 2, false),
          ENTRY("whatever", "gb,ben", ",probhat", NULL, "complete",
                "pc+gb+in(ben):2+in(ben_probhat):2+inet(evdev)", 2, false),
          ENTRY("whatever", "ben,ar", "probhat,", NULL, "complete",
                "pc+in(ben_probhat)+ara:2+inet(evdev)", 2, false),
          ENTRY("ataritt", "jp,es", NULL, NULL, "complete", "pc+jp+es:2+inet(evdev)", 2, false),
          ENTRY("ataritt", "es,jp", NULL, NULL, "complete", "pc+es+jp:2+inet(evdev)", 2, false),
          ENTRY2("evdev-modern", "olpc", "jp,es", NULL, NULL,
                 "evdev+olpc(olpc)+aliases(qwerty)", "complete", "complete", "pc+jp+es:2+inet(evdev)", 2, false),
          ENTRY2("evdev-modern", "olpc", "es,jp", NULL, NULL,
                 "evdev+olpc(olpc)+aliases(qwerty)", "complete", "complete", "pc+es+jp:2+inet(evdev)", 2, false),
          ENTRY("pc104", "jp,es", NULL, NULL, "complete", "pc+jp+es:2+inet(evdev)", 2, false),
          ENTRY("pc104", "jp,es", "xxx,yyy", NULL, "complete", "pc+jp(xxx)+es(yyy):2+inet(evdev)", 2, false),
          ENTRY("pc104", "latin,jp", NULL, NULL, "complete", "pc+latin+jp:2+inet(evdev)", 2, false),
          ENTRY("pc104", "latin,jp", "xxx,yyy", NULL, "complete", "pc+latin(xxx)+jp(yyy):2+inet(evdev)", 2, false),
          ENTRY2("evdev-modern", "pc104", "gb,de", ",neo", NULL,
                 "evdev+aliases(qwerty)", "complete",
                 "complete+caps(caps_lock):2+misc(assign_shift_left_action):2+level5(level5_lock):2",
                 "pc+gb+de(neo):2+inet(evdev)", 2, false),
          ENTRY("pc104", "ca,br", NULL, "misc:typo,misc:apl", "complete",
                "pc+ca+br:2+inet(evdev)+apl(level3):1+apl(level3):2+typo(base):1+typo(base):2", 2, false),
  #undef ENTRY
      };
      for (size_t k = 0; k < ARRAY_SIZE(special_indexes_first_data); k++) {
          assert(test_rules(ctx, &special_indexes_first_data[k]));
      }
  
      /* Test extended wild cards: <none>, <some> and <any> */
  #define ENTRY(_rules, _layout, _variant, _symbols, _layouts, _fail)   \
      { .rules = (_rules), .model = NULL,                               \
        .layout = (_layout), .variant = (_variant), .options = NULL,    \
        .keycodes = "evdev", .types = "complete", .compat = "complete", \
        .symbols = (_symbols) , .explicit_layouts = (_layouts),         \
        .should_fail = (_fail) }
  
      struct test_data extended_wild_cards_data[] = {
          ENTRY("extended-wild-cards", "l1", NULL, "pc+l10:1", 1, false),
          ENTRY("extended-wild-cards", "l1", "v1", "pc+l20:1", 1, false),
          ENTRY("extended-wild-cards", "l1", "v2", "pc+l30(v2):1", 1, false),
          /* legacy wild card * does not catch empty variant */
          ENTRY("extended-wild-cards", "l2", NULL, "pc+l2:1", 1, false),
          ENTRY("extended-wild-cards", "l2", "v1", "pc+l40(v1):1", 1, false),
          ENTRY("extended-wild-cards", "l2", "v2", "pc+l40(v2):1", 1, false),
          ENTRY("extended-wild-cards", "l3", NULL, "pc+l50:1", 1, false),
          ENTRY("extended-wild-cards", "l3", "v1", "pc+l50(v1):1", 1, false),
          ENTRY("extended-wild-cards", "l3", "v2", "pc+l50(v2):1", 1, false),
          /* ? wild card does catch empty variant */
          ENTRY("extended-wild-cards", "l4", NULL, "pc+l4:1", 1, false),
          ENTRY("extended-wild-cards", "l4", "v1", "pc+l4(v1):1", 1, false),
          ENTRY("extended-wild-cards", "l4", "v2", "pc+l4(v20):1", 1, false),
          ENTRY("extended-wild-cards", "l1,l1,l1,l2", ",v1,v2,",
                "pc+l10:1+l20:2+l30(v2):3+l2:4", 4, false),
          ENTRY("extended-wild-cards", "l2,l2,l3,l3", "v1,v2,,v1",
                "pc+l40(v1):1+l40(v2):2+l50:3+l50(v1):4", 4, false),
          ENTRY("extended-wild-cards", "l3,l4,l4,l4", "v2,,v1,v2",
                "pc+l50(v2):1+l4:2+l4(v1):3+l4(v20):4", 4, false),
      };
  
      for (size_t k = 0; k < ARRAY_SIZE(extended_wild_cards_data); k++) {
          assert(test_rules(ctx, &extended_wild_cards_data[k]));
      }
  #undef ENTRY
  
      /* Test :all qualifier without special indexes, with option */
      struct test_data all_qualified_alone1 = {
          .rules = "all_qualifier",
  
          .model = "my_model",
          /* NOTE: 5 layouts is intentional;
           * will require update when raising XKB_MAX_LAYOUTS */
          .layout = "layout_a,layout_b,layout_a,layout_b,layout_c",
          .variant = "",
          .options = "my_option",
  
          .keycodes = "my_keycodes", .types = "my_types",
          .compat = "my_compat",
          .symbols = "symbols_a:1+symbols_b:2+symbols_a:3+symbols_b:4+extra_option:1"
                     "+extra_option:2+extra_option:3+extra_option:4",
          .explicit_layouts = 4,
      };
      assert(test_rules(ctx, &all_qualified_alone1));
  
      /* Test :all qualifier without special indexes, base for all layout */
      struct test_data all_qualified_alone2 = {
          .rules = "all_qualifier",
  
          .model = "my_model",
          /* NOTE: 5 layouts is intentional;
           * will require update when raising XKB_MAX_LAYOUTS */
          .layout = "layout_x,layout_a,layout_b,layout_c,layout_d",
          .variant = "",
          .options = "",
  
          .keycodes = "my_keycodes", .types = "my_types",
          .compat = "my_compat",
          .symbols = "base:1+base:2+base:3+base:4"
                     "+symbols_a:2+symbols_b:3+default_symbols:4",
          .explicit_layouts = 4,
      };
      assert(test_rules(ctx, &all_qualified_alone2));
  
      /* Test :all qualifier without special indexes, with option, too much layouts */
      struct test_data all_qualified_invalid_layouts = {
          .rules = "all_qualifier-limit",
  
          .model = "my_model",
          .layout = too_much_layouts,
          .variant = "",
          .options = "",
  
          .keycodes = "default_keycodes", .types = "default_types",
          .compat = "default_compat",
          .symbols = too_much_symbols,
          .explicit_layouts = XKB_MAX_GROUPS,
      };
      assert(test_rules(ctx, &all_qualified_invalid_layouts));
  
      /* Test :all qualifier with special indexes */
      struct test_data all_qualified_with_special_indexes1 = {
          .rules = "all_qualifier",
  
          .model = "my_model",
          /* NOTE: 5 layouts is intentional;
           * will require update when raising XKB_MAX_LAYOUTS */
          .layout = "layout_a,layout_b,layout_a,layout_b,layout_c",
          .variant = "extra1,,,,",
          .options = "my_option",
  
          .keycodes = "my_keycodes", .types = "my_types",
          .compat = "my_compat",
          .symbols = "symbols_a:1+symbols_b:2+symbols_a:3+symbols_b:4"
                     "+extra_symbols:1+extra_symbols:2+extra_symbols:3+extra_symbols:4"
                     "+extra_option:1+extra_option:2+extra_option:3+extra_option:4",
          .explicit_layouts = 4,
      };
      assert(test_rules(ctx, &all_qualified_with_special_indexes1));
  
      /* Test :all qualifier with special indexes
       * It uses :all combined with layout[any], which is valid but
       * :%i was probably the intended qualified, so raises warning */
      struct test_data all_qualified_with_special_indexes2 = {
          .rules = "all_qualifier",
  
          .model = "my_model",
          /* NOTE: 5 layouts is intentional;
           * will require update when raising XKB_MAX_LAYOUTS */
          .layout = "layout_a,layout_b,layout_a,layout_b,layout_c",
          .variant = "extra2,,extra3,,",
          .options = "my_option",
  
          .keycodes = "my_keycodes", .types = "my_types",
          .compat = "my_compat",
          .symbols = "symbols_a:1+symbols_b:2+symbols_a:3+symbols_b:4"
                     "+extra_symbols1:1+extra_symbols2:1+extra_symbols2:2+extra_symbols2:3+extra_symbols2:4"
                     "+extra_symbols2:1+extra_symbols2:2+extra_symbols2:3+extra_symbols2:4"
                     "+extra_symbols1:3"
                     "+extra_option:1"
                     "+extra_option:2+extra_option:3+extra_option:4",
          .explicit_layouts = 4,
      };
      assert(test_rules(ctx, &all_qualified_with_special_indexes2));
  
      xkb_context_unref(ctx);
      return EXIT_SUCCESS;
  }