kc3-lang/libxkbcommon/src/xkbcomp/parser.y
Branch
-
Show log
Commit
-
Hash : a83d745b
Author :
Date : 2023-09-21T20:06:27
Messages: add new messages to registry This commit is another step to identify and document the maximum number of logging messages. Bulk changes: - Rename `conflicting-key-type` to `conflicting-key-type-merging-groups`. Giving more context in the name allow us to introduce `conflicting-key-type-definitions` later. - Add conflicting-key-type-definitions - Add conflicting-key-type-map-entry - Add undeclared-modifiers-in-key-type Also improve the log messages. - Add conflicting-key-type-preserve-entries - Use XKB_ERROR_UNSUPPORTED_MODIFIER_MASK - Add illegal-key-type-preserve-result - Add conflicting-key-type-level-names - Add duplicate-entry - Add unsupported-symbols-field - Add missing-symbols-group-name-index - Use XKB_ERROR_WRONG_FIELD_TYPE - Add conflicting-key-name - Use XKB_WARNING_UNDEFINED_KEYCODE - Add illegal-keycode-alias - Add unsupported-geometry-section - Add missing-default-section - Add XKB_LOG_MESSAGE_NO_ID - Rename log_vrb_with_code to log_vrb - Use ERROR_WRONG_FIELD_TYPE & ERROR_INVALID_SYNTAX - Add unknown-identifier - Add invalid-expression-type - Add invalid-operation + fixes - Add unknown-operator - Rename ERROR_UNKNOWN_IDENTIFIER to ERROR_INVALID_IDENTIFIER - Add undeclared-virtual-modifier - Add expected-array-entry - Add invalid-include-statement - Add included-file-not-found - Add allocation-error - Add invalid-included-file - Process symbols.c - Add invalid-value - Add invalid-real-modifier - Add unknown-field - Add wrong-scope - Add invalid-modmap-entry - Add wrong-statement-type - Add conflicting-key-symbols-entry - Add invalid-set-default-statement
-
src/xkbcomp/parser.y
-
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865
/************************************************************ Copyright (c) 1994 by Silicon Graphics Computer Systems, Inc. Permission to use, copy, modify, and distribute this software and its documentation for any purpose and without fee is hereby granted, provided that the above copyright notice appear in all copies and that both that copyright notice and this permission notice appear in supporting documentation, and that the name of Silicon Graphics not be used in advertising or publicity pertaining to distribution of the software without specific prior written permission. Silicon Graphics makes no representation about the suitability of this software for any purpose. It is provided "as is" without any express or implied warranty. SILICON GRAPHICS DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. IN NO EVENT SHALL SILICON GRAPHICS BE LIABLE FOR ANY SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. ********************************************************/ /* * The parser should work with reasonably recent versions of either * bison or byacc. So if you make changes, try to make sure it works * in both! */ %{ #include "config.h" #include "xkbcomp/xkbcomp-priv.h" #include "xkbcomp/ast-build.h" #include "xkbcomp/parser-priv.h" #include "scanner-utils.h" #include "keysym.h" struct parser_param { struct xkb_context *ctx; struct scanner *scanner; XkbFile *rtrn; bool more_maps; }; #define parser_err(param, error_id, fmt, ...) \ scanner_err_with_code((param)->scanner, error_id, fmt, ##__VA_ARGS__) #define parser_warn(param, warning_id, fmt, ...) \ scanner_warn_with_code((param)->scanner, warning_id, fmt, ##__VA_ARGS__) static void _xkbcommon_error(struct parser_param *param, const char *msg) { parser_err(param, XKB_ERROR_INVALID_SYNTAX, "%s", msg); } static bool resolve_keysym(const char *name, xkb_keysym_t *sym_rtrn) { xkb_keysym_t sym; if (!name || istreq(name, "any") || istreq(name, "nosymbol")) { *sym_rtrn = XKB_KEY_NoSymbol; return true; } if (istreq(name, "none") || istreq(name, "voidsymbol")) { *sym_rtrn = XKB_KEY_VoidSymbol; return true; } sym = xkb_keysym_from_name(name, XKB_KEYSYM_NO_FLAGS); if (sym != XKB_KEY_NoSymbol) { *sym_rtrn = sym; return true; } return false; } #define param_scanner param->scanner %} %define api.pure %lex-param { struct scanner *param_scanner } %parse-param { struct parser_param *param } %token END_OF_FILE 0 ERROR_TOK 255 XKB_KEYMAP 1 XKB_KEYCODES 2 XKB_TYPES 3 XKB_SYMBOLS 4 XKB_COMPATMAP 5 XKB_GEOMETRY 6 XKB_SEMANTICS 7 XKB_LAYOUT 8 INCLUDE 10 OVERRIDE 11 AUGMENT 12 REPLACE 13 ALTERNATE 14 VIRTUAL_MODS 20 TYPE 21 INTERPRET 22 ACTION_TOK 23 KEY 24 ALIAS 25 GROUP 26 MODIFIER_MAP 27 INDICATOR 28 SHAPE 29 KEYS 30 ROW 31 SECTION 32 OVERLAY 33 TEXT 34 OUTLINE 35 SOLID 36 LOGO 37 VIRTUAL 38 EQUALS 40 PLUS 41 MINUS 42 DIVIDE 43 TIMES 44 OBRACE 45 CBRACE 46 OPAREN 47 CPAREN 48 OBRACKET 49 CBRACKET 50 DOT 51 COMMA 52 SEMI 53 EXCLAM 54 INVERT 55 STRING 60 INTEGER 61 FLOAT 62 IDENT 63 KEYNAME 64 PARTIAL 70 DEFAULT 71 HIDDEN 72 ALPHANUMERIC_KEYS 73 MODIFIER_KEYS 74 KEYPAD_KEYS 75 FUNCTION_KEYS 76 ALTERNATE_GROUP 77 %right EQUALS %left PLUS MINUS %left TIMES DIVIDE %left EXCLAM INVERT %left OPAREN %start XkbFile %union { int64_t num; enum xkb_file_type file_type; char *str; xkb_atom_t atom; enum merge_mode merge; enum xkb_map_flags mapFlags; xkb_keysym_t keysym; ParseCommon *any; struct { ParseCommon *head; ParseCommon *last; } anyList; ExprDef *expr; struct { ExprDef *head; ExprDef *last; } exprList; VarDef *var; struct { VarDef *head; VarDef *last; } varList; VModDef *vmod; struct { VModDef *head; VModDef *last; } vmodList; InterpDef *interp; KeyTypeDef *keyType; SymbolsDef *syms; ModMapDef *modMask; GroupCompatDef *groupCompat; LedMapDef *ledMap; LedNameDef *ledName; KeycodeDef *keyCode; KeyAliasDef *keyAlias; void *geom; XkbFile *file; struct { XkbFile *head; XkbFile *last; } fileList; } %type <num> INTEGER FLOAT %type <str> IDENT STRING %type <atom> KEYNAME %type <num> KeyCode Number Integer Float SignedNumber DoodadType %type <merge> MergeMode OptMergeMode %type <file_type> XkbCompositeType FileType %type <mapFlags> Flag Flags OptFlags %type <str> MapName OptMapName %type <atom> FieldSpec Ident Element String %type <keysym> KeySym %type <any> Decl %type <anyList> DeclList %type <expr> Expr Term Lhs Terminal ArrayInit KeySyms %type <expr> OptKeySymList KeySymList Action Coord CoordList %type <exprList> OptExprList ExprList ActionList %type <var> VarDecl SymbolsVarDecl %type <varList> VarDeclList SymbolsBody %type <vmod> VModDef %type <vmodList> VModDefList VModDecl %type <interp> InterpretDecl InterpretMatch %type <keyType> KeyTypeDecl %type <syms> SymbolsDecl %type <modMask> ModMapDecl %type <groupCompat> GroupCompatDecl %type <ledMap> LedMapDecl %type <ledName> LedNameDecl %type <keyCode> KeyNameDecl %type <keyAlias> KeyAliasDecl %type <geom> ShapeDecl SectionDecl SectionBody SectionBodyItem RowBody RowBodyItem %type <geom> Keys Key OverlayDecl OverlayKeyList OverlayKey OutlineList OutlineInList %type <geom> DoodadDecl %type <file> XkbFile XkbMapConfig %type <fileList> XkbMapConfigList %type <file> XkbCompositeMap %destructor { FreeStmt((ParseCommon *) $$); } <any> <expr> <var> <vmod> <interp> <keyType> <syms> <modMask> <groupCompat> <ledMap> <ledName> <keyCode> <keyAlias> %destructor { FreeStmt((ParseCommon *) $$.head); } <anyList> <exprList> <varList> <vmodList> /* The destructor also runs on the start symbol when the parser *succeeds*. * The `if` here catches this case. */ %destructor { if (!param->rtrn) FreeXkbFile($$); } <file> %destructor { FreeXkbFile($$.head); } <fileList> %destructor { free($$); } <str> %% /* * An actual file may contain more than one map. However, if we do things * in the normal yacc way, i.e. aggregate all of the maps into a list and * let the caller find the map it wants, we end up scanning and parsing a * lot of unneeded maps (in the end we always just need one). * Instead of doing that, we make yyparse return one map at a time, and * then call it repeatedly until we find the map we need. Once we find it, * we don't need to parse everything that follows in the file. * This does mean that if we e.g. always use the first map, the file may * contain complete garbage after that. But it's worth it. */ XkbFile : XkbCompositeMap { $$ = param->rtrn = $1; param->more_maps = !!param->rtrn; } | XkbMapConfig { $$ = param->rtrn = $1; param->more_maps = !!param->rtrn; YYACCEPT; } | END_OF_FILE { $$ = param->rtrn = NULL; param->more_maps = false; } ; XkbCompositeMap : OptFlags XkbCompositeType OptMapName OBRACE XkbMapConfigList CBRACE SEMI { $$ = XkbFileCreate($2, $3, (ParseCommon *) $5.head, $1); } ; XkbCompositeType: XKB_KEYMAP { $$ = FILE_TYPE_KEYMAP; } | XKB_SEMANTICS { $$ = FILE_TYPE_KEYMAP; } | XKB_LAYOUT { $$ = FILE_TYPE_KEYMAP; } ; XkbMapConfigList : XkbMapConfigList XkbMapConfig { $$.head = $1.head; $$.last->common.next = &$2->common; $$.last = $2; } | XkbMapConfig { $$.head = $$.last = $1; } ; XkbMapConfig : OptFlags FileType OptMapName OBRACE DeclList CBRACE SEMI { $$ = XkbFileCreate($2, $3, $5.head, $1); } ; FileType : XKB_KEYCODES { $$ = FILE_TYPE_KEYCODES; } | XKB_TYPES { $$ = FILE_TYPE_TYPES; } | XKB_COMPATMAP { $$ = FILE_TYPE_COMPAT; } | XKB_SYMBOLS { $$ = FILE_TYPE_SYMBOLS; } | XKB_GEOMETRY { $$ = FILE_TYPE_GEOMETRY; } ; OptFlags : Flags { $$ = $1; } | { $$ = 0; } ; Flags : Flags Flag { $$ = ($1 | $2); } | Flag { $$ = $1; } ; Flag : PARTIAL { $$ = MAP_IS_PARTIAL; } | DEFAULT { $$ = MAP_IS_DEFAULT; } | HIDDEN { $$ = MAP_IS_HIDDEN; } | ALPHANUMERIC_KEYS { $$ = MAP_HAS_ALPHANUMERIC; } | MODIFIER_KEYS { $$ = MAP_HAS_MODIFIER; } | KEYPAD_KEYS { $$ = MAP_HAS_KEYPAD; } | FUNCTION_KEYS { $$ = MAP_HAS_FN; } | ALTERNATE_GROUP { $$ = MAP_IS_ALTGR; } ; DeclList : DeclList Decl { if ($2) { if ($1.head) { $$.head = $1.head; $1.last->next = $2; $$.last = $2; } else { $$.head = $$.last = $2; } } } /* * VModDecl is "inlined" directly into DeclList, i.e. * each VModDef in the VModDecl is a separate Decl in * the File. */ | DeclList OptMergeMode VModDecl { for (VModDef *vmod = $3.head; vmod; vmod = (VModDef *) vmod->common.next) vmod->merge = $2; if ($1.head) { $$.head = $1.head; $1.last->next = &$3.head->common; $$.last = &$3.last->common; } else { $$.head = &$3.head->common; $$.last = &$3.last->common; } } | { $$.head = $$.last = NULL; } ; Decl : OptMergeMode VarDecl { $2->merge = $1; $$ = (ParseCommon *) $2; } /* OptMergeMode VModDecl - see above. */ | OptMergeMode InterpretDecl { $2->merge = $1; $$ = (ParseCommon *) $2; } | OptMergeMode KeyNameDecl { $2->merge = $1; $$ = (ParseCommon *) $2; } | OptMergeMode KeyAliasDecl { $2->merge = $1; $$ = (ParseCommon *) $2; } | OptMergeMode KeyTypeDecl { $2->merge = $1; $$ = (ParseCommon *) $2; } | OptMergeMode SymbolsDecl { $2->merge = $1; $$ = (ParseCommon *) $2; } | OptMergeMode ModMapDecl { $2->merge = $1; $$ = (ParseCommon *) $2; } | OptMergeMode GroupCompatDecl { $2->merge = $1; $$ = (ParseCommon *) $2; } | OptMergeMode LedMapDecl { $2->merge = $1; $$ = (ParseCommon *) $2; } | OptMergeMode LedNameDecl { $2->merge = $1; $$ = (ParseCommon *) $2; } | OptMergeMode ShapeDecl { $$ = NULL; } | OptMergeMode SectionDecl { $$ = NULL; } | OptMergeMode DoodadDecl { $$ = NULL; } | MergeMode STRING { $$ = (ParseCommon *) IncludeCreate(param->ctx, $2, $1); free($2); } ; VarDecl : Lhs EQUALS Expr SEMI { $$ = VarCreate($1, $3); } | Ident SEMI { $$ = BoolVarCreate($1, true); } | EXCLAM Ident SEMI { $$ = BoolVarCreate($2, false); } ; KeyNameDecl : KEYNAME EQUALS KeyCode SEMI { $$ = KeycodeCreate($1, $3); } ; KeyAliasDecl : ALIAS KEYNAME EQUALS KEYNAME SEMI { $$ = KeyAliasCreate($2, $4); } ; VModDecl : VIRTUAL_MODS VModDefList SEMI { $$ = $2; } ; VModDefList : VModDefList COMMA VModDef { $$.head = $1.head; $$.last->common.next = &$3->common; $$.last = $3; } | VModDef { $$.head = $$.last = $1; } ; VModDef : Ident { $$ = VModCreate($1, NULL); } | Ident EQUALS Expr { $$ = VModCreate($1, $3); } ; InterpretDecl : INTERPRET InterpretMatch OBRACE VarDeclList CBRACE SEMI { $2->def = $4.head; $$ = $2; } ; InterpretMatch : KeySym PLUS Expr { $$ = InterpCreate($1, $3); } | KeySym { $$ = InterpCreate($1, NULL); } ; VarDeclList : VarDeclList VarDecl { $$.head = $1.head; $$.last->common.next = &$2->common; $$.last = $2; } | VarDecl { $$.head = $$.last = $1; } ; KeyTypeDecl : TYPE String OBRACE VarDeclList CBRACE SEMI { $$ = KeyTypeCreate($2, $4.head); } ; SymbolsDecl : KEY KEYNAME OBRACE SymbolsBody CBRACE SEMI { $$ = SymbolsCreate($2, $4.head); } ; SymbolsBody : SymbolsBody COMMA SymbolsVarDecl { $$.head = $1.head; $$.last->common.next = &$3->common; $$.last = $3; } | SymbolsVarDecl { $$.head = $$.last = $1; } | { $$.head = $$.last = NULL; } ; SymbolsVarDecl : Lhs EQUALS Expr { $$ = VarCreate($1, $3); } | Lhs EQUALS ArrayInit { $$ = VarCreate($1, $3); } | Ident { $$ = BoolVarCreate($1, true); } | EXCLAM Ident { $$ = BoolVarCreate($2, false); } | ArrayInit { $$ = VarCreate(NULL, $1); } ; ArrayInit : OBRACKET OptKeySymList CBRACKET { $$ = $2; } | OBRACKET ActionList CBRACKET { $$ = ExprCreateActionList($2.head); } ; GroupCompatDecl : GROUP Integer EQUALS Expr SEMI { $$ = GroupCompatCreate($2, $4); } ; ModMapDecl : MODIFIER_MAP Ident OBRACE ExprList CBRACE SEMI { $$ = ModMapCreate($2, $4.head); } ; LedMapDecl: INDICATOR String OBRACE VarDeclList CBRACE SEMI { $$ = LedMapCreate($2, $4.head); } ; LedNameDecl: INDICATOR Integer EQUALS Expr SEMI { $$ = LedNameCreate($2, $4, false); } | VIRTUAL INDICATOR Integer EQUALS Expr SEMI { $$ = LedNameCreate($3, $5, true); } ; ShapeDecl : SHAPE String OBRACE OutlineList CBRACE SEMI { $$ = NULL; } | SHAPE String OBRACE CoordList CBRACE SEMI { (void) $4; $$ = NULL; } ; SectionDecl : SECTION String OBRACE SectionBody CBRACE SEMI { $$ = NULL; } ; SectionBody : SectionBody SectionBodyItem { $$ = NULL;} | SectionBodyItem { $$ = NULL; } ; SectionBodyItem : ROW OBRACE RowBody CBRACE SEMI { $$ = NULL; } | VarDecl { FreeStmt((ParseCommon *) $1); $$ = NULL; } | DoodadDecl { $$ = NULL; } | LedMapDecl { FreeStmt((ParseCommon *) $1); $$ = NULL; } | OverlayDecl { $$ = NULL; } ; RowBody : RowBody RowBodyItem { $$ = NULL;} | RowBodyItem { $$ = NULL; } ; RowBodyItem : KEYS OBRACE Keys CBRACE SEMI { $$ = NULL; } | VarDecl { FreeStmt((ParseCommon *) $1); $$ = NULL; } ; Keys : Keys COMMA Key { $$ = NULL; } | Key { $$ = NULL; } ; Key : KEYNAME { $$ = NULL; } | OBRACE ExprList CBRACE { FreeStmt((ParseCommon *) $2.head); $$ = NULL; } ; OverlayDecl : OVERLAY String OBRACE OverlayKeyList CBRACE SEMI { $$ = NULL; } ; OverlayKeyList : OverlayKeyList COMMA OverlayKey { $$ = NULL; } | OverlayKey { $$ = NULL; } ; OverlayKey : KEYNAME EQUALS KEYNAME { $$ = NULL; } ; OutlineList : OutlineList COMMA OutlineInList { $$ = NULL;} | OutlineInList { $$ = NULL; } ; OutlineInList : OBRACE CoordList CBRACE { (void) $2; $$ = NULL; } | Ident EQUALS OBRACE CoordList CBRACE { (void) $4; $$ = NULL; } | Ident EQUALS Expr { FreeStmt((ParseCommon *) $3); $$ = NULL; } ; CoordList : CoordList COMMA Coord { (void) $1; (void) $3; $$ = NULL; } | Coord { (void) $1; $$ = NULL; } ; Coord : OBRACKET SignedNumber COMMA SignedNumber CBRACKET { $$ = NULL; } ; DoodadDecl : DoodadType String OBRACE VarDeclList CBRACE SEMI { FreeStmt((ParseCommon *) $4.head); $$ = NULL; } ; DoodadType : TEXT { $$ = 0; } | OUTLINE { $$ = 0; } | SOLID { $$ = 0; } | LOGO { $$ = 0; } ; FieldSpec : Ident { $$ = $1; } | Element { $$ = $1; } ; Element : ACTION_TOK { $$ = xkb_atom_intern_literal(param->ctx, "action"); } | INTERPRET { $$ = xkb_atom_intern_literal(param->ctx, "interpret"); } | TYPE { $$ = xkb_atom_intern_literal(param->ctx, "type"); } | KEY { $$ = xkb_atom_intern_literal(param->ctx, "key"); } | GROUP { $$ = xkb_atom_intern_literal(param->ctx, "group"); } | MODIFIER_MAP {$$ = xkb_atom_intern_literal(param->ctx, "modifier_map");} | INDICATOR { $$ = xkb_atom_intern_literal(param->ctx, "indicator"); } | SHAPE { $$ = xkb_atom_intern_literal(param->ctx, "shape"); } | ROW { $$ = xkb_atom_intern_literal(param->ctx, "row"); } | SECTION { $$ = xkb_atom_intern_literal(param->ctx, "section"); } | TEXT { $$ = xkb_atom_intern_literal(param->ctx, "text"); } ; OptMergeMode : MergeMode { $$ = $1; } | { $$ = MERGE_DEFAULT; } ; MergeMode : INCLUDE { $$ = MERGE_DEFAULT; } | AUGMENT { $$ = MERGE_AUGMENT; } | OVERRIDE { $$ = MERGE_OVERRIDE; } | REPLACE { $$ = MERGE_REPLACE; } | ALTERNATE { /* * This used to be MERGE_ALT_FORM. This functionality was * unused and has been removed. */ $$ = MERGE_DEFAULT; } ; OptExprList : ExprList { $$ = $1; } | { $$.head = $$.last = NULL; } ; ExprList : ExprList COMMA Expr { $$.head = $1.head; $$.last->common.next = &$3->common; $$.last = $3; } | Expr { $$.head = $$.last = $1; } ; Expr : Expr DIVIDE Expr { $$ = ExprCreateBinary(EXPR_DIVIDE, $1, $3); } | Expr PLUS Expr { $$ = ExprCreateBinary(EXPR_ADD, $1, $3); } | Expr MINUS Expr { $$ = ExprCreateBinary(EXPR_SUBTRACT, $1, $3); } | Expr TIMES Expr { $$ = ExprCreateBinary(EXPR_MULTIPLY, $1, $3); } | Lhs EQUALS Expr { $$ = ExprCreateBinary(EXPR_ASSIGN, $1, $3); } | Term { $$ = $1; } ; Term : MINUS Term { $$ = ExprCreateUnary(EXPR_NEGATE, $2->expr.value_type, $2); } | PLUS Term { $$ = ExprCreateUnary(EXPR_UNARY_PLUS, $2->expr.value_type, $2); } | EXCLAM Term { $$ = ExprCreateUnary(EXPR_NOT, EXPR_TYPE_BOOLEAN, $2); } | INVERT Term { $$ = ExprCreateUnary(EXPR_INVERT, $2->expr.value_type, $2); } | Lhs { $$ = $1; } | FieldSpec OPAREN OptExprList CPAREN %prec OPAREN { $$ = ExprCreateAction($1, $3.head); } | Terminal { $$ = $1; } | OPAREN Expr CPAREN { $$ = $2; } ; ActionList : ActionList COMMA Action { $$.head = $1.head; $$.last->common.next = &$3->common; $$.last = $3; } | Action { $$.head = $$.last = $1; } ; Action : FieldSpec OPAREN OptExprList CPAREN { $$ = ExprCreateAction($1, $3.head); } ; Lhs : FieldSpec { $$ = ExprCreateIdent($1); } | FieldSpec DOT FieldSpec { $$ = ExprCreateFieldRef($1, $3); } | FieldSpec OBRACKET Expr CBRACKET { $$ = ExprCreateArrayRef(XKB_ATOM_NONE, $1, $3); } | FieldSpec DOT FieldSpec OBRACKET Expr CBRACKET { $$ = ExprCreateArrayRef($1, $3, $5); } ; Terminal : String { $$ = ExprCreateString($1); } | Integer { $$ = ExprCreateInteger($1); } | Float { $$ = ExprCreateFloat(/* Discard $1 */); } | KEYNAME { $$ = ExprCreateKeyName($1); } ; OptKeySymList : KeySymList { $$ = $1; } | { $$ = NULL; } ; KeySymList : KeySymList COMMA KeySym { $$ = ExprAppendKeysymList($1, $3); } | KeySymList COMMA KeySyms { $$ = ExprAppendMultiKeysymList($1, $3); } | KeySym { $$ = ExprCreateKeysymList($1); } | KeySyms { $$ = ExprCreateMultiKeysymList($1); } ; KeySyms : OBRACE KeySymList CBRACE { $$ = $2; } ; KeySym : IDENT { if (!resolve_keysym($1, &$$)) { parser_warn( param, XKB_WARNING_UNRECOGNIZED_KEYSYM, "unrecognized keysym \"%s\"", $1 ); $$ = XKB_KEY_NoSymbol; } free($1); } | SECTION { $$ = XKB_KEY_section; } | Integer { if ($1 < XKB_KEYSYM_MIN) { parser_warn( param, XKB_WARNING_UNRECOGNIZED_KEYSYM, "unrecognized keysym \"%"PRId64"\"", $1 ); $$ = XKB_KEY_NoSymbol; } /* Special case for digits 0..9 */ else if ($1 < 10) { /* XKB_KEY_0 .. XKB_KEY_9 */ $$ = XKB_KEY_0 + (xkb_keysym_t) $1; } else { if ($1 <= XKB_KEYSYM_MAX) { $$ = (xkb_keysym_t) $1; } else { parser_warn( param, XKB_WARNING_UNRECOGNIZED_KEYSYM, "unrecognized keysym \"0x%"PRIx64"\" " "(%"PRId64")", $1, $1 ); $$ = XKB_KEY_NoSymbol; } parser_warn( param, XKB_WARNING_NUMERIC_KEYSYM, "numeric keysym \"0x%"PRIx64"\" (%"PRId64")", $1, $1 ); } } ; SignedNumber : MINUS Number { $$ = -$2; } | Number { $$ = $1; } ; Number : FLOAT { $$ = $1; } | INTEGER { $$ = $1; } ; Float : FLOAT { $$ = 0; } ; Integer : INTEGER { $$ = $1; } ; KeyCode : INTEGER { $$ = $1; } ; Ident : IDENT { $$ = xkb_atom_intern(param->ctx, $1, strlen($1)); free($1); } | DEFAULT { $$ = xkb_atom_intern_literal(param->ctx, "default"); } ; String : STRING { $$ = xkb_atom_intern(param->ctx, $1, strlen($1)); free($1); } ; OptMapName : MapName { $$ = $1; } | { $$ = NULL; } ; MapName : STRING { $$ = $1; } ; %% XkbFile * parse(struct xkb_context *ctx, struct scanner *scanner, const char *map) { int ret; XkbFile *first = NULL; struct parser_param param = { .scanner = scanner, .ctx = ctx, .rtrn = NULL, .more_maps = false, }; /* * If we got a specific map, we look for it exclusively and return * immediately upon finding it. Otherwise, we need to get the * default map. If we find a map marked as default, we return it * immediately. If there are no maps marked as default, we return * the first map in the file. */ while ((ret = yyparse(¶m)) == 0 && param.more_maps) { if (map) { if (streq_not_null(map, param.rtrn->name)) return param.rtrn; else FreeXkbFile(param.rtrn); } else { if (param.rtrn->flags & MAP_IS_DEFAULT) { FreeXkbFile(first); return param.rtrn; } else if (!first) { first = param.rtrn; } else { FreeXkbFile(param.rtrn); } } param.rtrn = NULL; } if (ret != 0) { FreeXkbFile(first); return NULL; } if (first) log_vrb(ctx, 5, XKB_WARNING_MISSING_DEFAULT_SECTION, "No map in include statement, but \"%s\" contains several; " "Using first defined map, \"%s\"\n", scanner->file_name, first->name); return first; }