stephen_leake pushed a change to branch master. from 653afd9 * gited.el: Bump version to 0.5.4 new ab6a47b * externals-list: add wisitoken-grammar-mode new b8e3ab9 In ada-mode, wisi: release Ada mode 6.2.0, wisi 1.2.0.
Summary of changes: externals-list | 1 + packages/ada-mode/NEWS | 28 +- packages/ada-mode/README | 2 +- packages/ada-mode/ada-build.el | 6 +- packages/ada-mode/ada-fix-error.el | 3 +- packages/ada-mode/ada-gnat-compile.el | 76 +- packages/ada-mode/ada-lalr-elisp.el | 4373 --------- packages/ada-mode/ada-mode.el | 5977 ++++++------ packages/ada-mode/ada-mode.info | 259 +- packages/ada-mode/ada-mode.texi | 141 +- packages/ada-mode/ada-process.el | 227 +- packages/ada-mode/ada-skel.el | 34 +- packages/ada-mode/ada-wisi-elisp-parse.el | 337 - packages/ada-mode/ada-wisi-opentoken.el | 99 - packages/ada-mode/ada-wisi.el | 1762 ++-- packages/ada-mode/ada.wy | 304 +- packages/ada-mode/ada_lr1_parse_table.txt.gz | Bin 2955113 -> 3170831 bytes packages/ada-mode/ada_process_actions.adb | 417 +- packages/ada-mode/ada_process_actions.ads | 40 +- packages/ada-mode/ada_process_lalr_main.adb | 9791 +++++++++++--------- packages/ada-mode/ada_process_lr1_main.adb | 18 +- packages/ada-mode/ada_re2c.c | 4 +- packages/ada-mode/build.sh | 2 +- packages/ada-mode/dir | 6 + packages/ada-mode/gnat-core.el | 1 + packages/ada-mode/gpr-lalr-elisp.el | 542 -- packages/ada-mode/gpr-mode.info | 38 +- packages/ada-mode/gpr-mode.texi | 9 +- packages/ada-mode/gpr-process.el | 86 +- packages/ada-mode/gpr-wisi.el | 283 +- packages/ada-mode/gpr.wy | 742 +- packages/ada-mode/gpr_mode_wisi_parse.ads | 4 +- packages/ada-mode/gpr_process_actions.adb | 12 +- ...r_process_lr1_main.adb => gpr_process_main.adb} | 586 +- ...r_process_lr1_main.ads => gpr_process_main.ads} | 4 +- packages/ada-mode/run_ada_lalr_parse.ads | 32 - packages/ada-mode/run_ada_libadalang_parse.ads | 25 - packages/ada-mode/run_ada_lr1_parse.ads | 33 - packages/ada-mode/run_gpr_parse.ads | 31 - packages/ada-mode/run_wisi_common_parse.adb | 293 - packages/ada-mode/wisi-ada.adb | 394 +- packages/ada-mode/wisi-ada.ads | 12 +- packages/ada-mode/wisi-gpr.adb | 5 +- packages/ada-mode/wisi-gpr.ads | 3 +- .../wisitoken-parse-lr-mckenzie_recover-ada.adb | 39 +- packages/wisi/NEWS | 45 +- packages/wisi/README | 2 +- .../{ada-mode => wisi}/emacs_wisi_common_parse.adb | 126 +- .../{ada-mode => wisi}/emacs_wisi_common_parse.ads | 275 +- .../{ada-mode => wisi}/gen_emacs_wisi_lr_parse.adb | 2 +- .../{ada-mode => wisi}/gen_emacs_wisi_lr_parse.ads | 0 .../gen_emacs_wisi_lr_text_rep_parse.adb | 2 +- .../gen_emacs_wisi_lr_text_rep_parse.ads | 0 .../gen_emacs_wisi_packrat_parse.adb | 0 .../gen_emacs_wisi_packrat_parse.ads | 0 .../gen_run_wisi_libadalang_parse.adb | 0 .../gen_run_wisi_libadalang_parse.ads | 0 .../{ada-mode => wisi}/gen_run_wisi_lr_parse.adb | 0 .../{ada-mode => wisi}/gen_run_wisi_lr_parse.ads | 0 .../gen_run_wisi_lr_text_rep_parse.adb | 0 .../gen_run_wisi_lr_text_rep_parse.ads | 0 .../gen_run_wisi_packrat_parse.adb | 0 .../gen_run_wisi_packrat_parse.ads | 0 packages/wisi/run_wisi_common_parse.adb | 343 + .../{ada-mode => wisi}/run_wisi_common_parse.ads | 128 +- packages/wisi/sal-gen_bounded_definite_queues.adb | 119 +- packages/wisi/sal-gen_bounded_definite_queues.ads | 106 +- ...-gen_bounded_definite_stacks-gen_image_aux.adb} | 6 +- ...-gen_bounded_definite_stacks-gen_image_aux.ads} | 54 +- packages/wisi/sal-gen_bounded_definite_stacks.adb | 82 + packages/wisi/sal-gen_bounded_definite_stacks.ads | 103 + .../sal-gen_bounded_definite_vectors-gen_image.adb | 79 +- ... sal-gen_bounded_definite_vectors-gen_refs.adb} | 69 +- .../sal-gen_bounded_definite_vectors-gen_refs.ads | 54 + ...sal-gen_bounded_definite_vectors-gen_sorted.ads | 52 - packages/wisi/sal-gen_bounded_definite_vectors.adb | 344 +- packages/wisi/sal-gen_bounded_definite_vectors.ads | 299 +- ...nded_definite_vectors_sorted-gen_image_aux.adb} | 8 +- ...nded_definite_vectors_sorted-gen_image_aux.ads} | 4 +- ...n_bounded_definite_vectors_sorted-gen_refs.adb} | 53 +- ...n_bounded_definite_vectors_sorted-gen_refs.ads} | 63 +- ...=> sal-gen_bounded_definite_vectors_sorted.adb} | 172 +- .../sal-gen_bounded_definite_vectors_sorted.ads | 85 + .../wisi/sal-gen_definite_doubly_linked_lists.adb | 55 +- .../wisi/sal-gen_definite_doubly_linked_lists.ads | 43 +- ...sal-gen_definite_doubly_linked_lists_sorted.adb | 1084 +-- ...sal-gen_definite_doubly_linked_lists_sorted.ads | 372 +- packages/wisi/sal-gen_graphs.adb | 21 +- .../sal-gen_indefinite_doubly_linked_lists.adb | 412 +- .../sal-gen_indefinite_doubly_linked_lists.ads | 40 +- ...-gen_unbounded_definite_min_heaps_fibonacci.adb | 45 +- ...-gen_unbounded_definite_min_heaps_fibonacci.ads | 27 +- .../wisi/sal-gen_unbounded_definite_queues.adb | 4 +- .../wisi/sal-gen_unbounded_definite_queues.ads | 6 +- .../sal-gen_unbounded_definite_red_black_trees.adb | 34 +- .../sal-gen_unbounded_definite_red_black_trees.ads | 57 +- .../wisi/sal-gen_unbounded_definite_stacks.adb | 12 +- .../wisi/sal-gen_unbounded_definite_stacks.ads | 28 +- .../wisi/sal-gen_unbounded_definite_vectors.adb | 59 +- .../wisi/sal-gen_unbounded_definite_vectors.ads | 471 +- .../sal-gen_unbounded_definite_vectors_sorted.adb | 368 + .../sal-gen_unbounded_definite_vectors_sorted.ads | 170 + packages/wisi/sal.adb | 2 +- packages/wisi/wisi-compile.el | 225 - packages/wisi/wisi-elisp-lexer.el | 393 - packages/wisi/wisi-elisp-parse.el | 1721 ---- packages/wisi/wisi-parse-common.el | 778 +- packages/wisi/wisi-process-parse.el | 1617 ++-- packages/wisi/wisi-run-indent-test.el | 631 +- packages/wisi/wisi-tests.el | 30 +- packages/wisi/wisi.adb | 582 +- packages/wisi/wisi.ads | 115 +- packages/wisi/wisi.el | 151 +- packages/wisi/{wisitoken.gpr => wisi.gpr} | 47 +- packages/wisi/wisitoken-bnf-generate.adb | 21 +- packages/wisi/wisitoken-bnf-generate_grammar.adb | 14 +- packages/wisi/wisitoken-bnf-generate_utils.adb | 196 +- packages/wisi/wisitoken-bnf-generate_utils.ads | 22 +- packages/wisi/wisitoken-bnf-output_ada_common.adb | 74 +- packages/wisi/wisitoken-bnf-output_ada_emacs.adb | 129 +- packages/wisi/wisitoken-bnf-output_elisp.adb | 293 - .../wisi/wisitoken-bnf-output_elisp_common.adb | 58 +- .../wisi/wisitoken-bnf-output_elisp_common.ads | 7 +- packages/wisi/wisitoken-bnf.adb | 15 +- packages/wisi/wisitoken-bnf.ads | 26 +- .../wisi/wisitoken-generate-lr-lalr_generate.adb | 9 +- .../wisi/wisitoken-generate-lr-lr1_generate.adb | 2 +- packages/wisi/wisitoken-generate-lr.adb | 228 +- packages/wisi/wisitoken-generate-lr.ads | 4 +- packages/wisi/wisitoken-generate-lr1_items.adb | 4 +- packages/wisi/wisitoken-generate.adb | 3 +- .../wisitoken-parse-lr-mckenzie_recover-base.adb | 31 +- .../wisitoken-parse-lr-mckenzie_recover-base.ads | 3 +- ...wisitoken-parse-lr-mckenzie_recover-explore.adb | 613 +- .../wisitoken-parse-lr-mckenzie_recover-parse.adb | 75 +- .../wisitoken-parse-lr-mckenzie_recover-parse.ads | 19 +- .../wisi/wisitoken-parse-lr-mckenzie_recover.adb | 521 +- .../wisi/wisitoken-parse-lr-mckenzie_recover.ads | 59 +- packages/wisi/wisitoken-parse-lr-parser.adb | 60 +- packages/wisi/wisitoken-parse-lr-parser.ads | 12 +- packages/wisi/wisitoken-parse-lr-parser_lists.adb | 36 +- packages/wisi/wisitoken-parse-lr-parser_lists.ads | 1 + .../wisi/wisitoken-parse-lr-parser_no_recover.adb | 13 +- packages/wisi/wisitoken-parse-lr.adb | 408 +- packages/wisi/wisitoken-parse-lr.ads | 136 +- .../wisi/wisitoken-parse-packrat-generated.adb | 6 +- .../wisi/wisitoken-parse-packrat-procedural.adb | 5 +- packages/wisi/wisitoken-parse.adb | 4 +- packages/wisi/wisitoken-syntax_trees-lr_utils.adb | 220 + packages/wisi/wisitoken-syntax_trees-lr_utils.ads | 88 + packages/wisi/wisitoken-syntax_trees.adb | 56 +- packages/wisi/wisitoken-syntax_trees.ads | 19 +- packages/wisi/wisitoken-wisi_ada.adb | 22 +- packages/wisi/wisitoken.ads | 13 +- packages/wisi/wisitoken_grammar_main.adb | 177 +- packages/wisi/wisitoken_grammar_main.ads | 1 + packages/wisi/wisitoken_grammar_runtime.adb | 152 +- 157 files changed, 18647 insertions(+), 24564 deletions(-) delete mode 100644 packages/ada-mode/ada-lalr-elisp.el delete mode 100644 packages/ada-mode/ada-wisi-elisp-parse.el delete mode 100644 packages/ada-mode/ada-wisi-opentoken.el delete mode 100644 packages/ada-mode/gpr-lalr-elisp.el rename packages/ada-mode/{gpr_process_lr1_main.adb => gpr_process_main.adb} (85%) rename packages/ada-mode/{gpr_process_lr1_main.ads => gpr_process_main.ads} (96%) delete mode 100644 packages/ada-mode/run_ada_lalr_parse.ads delete mode 100644 packages/ada-mode/run_ada_libadalang_parse.ads delete mode 100644 packages/ada-mode/run_ada_lr1_parse.ads delete mode 100644 packages/ada-mode/run_gpr_parse.ads delete mode 100644 packages/ada-mode/run_wisi_common_parse.adb rename packages/{ada-mode => wisi}/emacs_wisi_common_parse.adb (72%) rename packages/{ada-mode => wisi}/emacs_wisi_common_parse.ads (78%) rename packages/{ada-mode => wisi}/gen_emacs_wisi_lr_parse.adb (92%) rename packages/{ada-mode => wisi}/gen_emacs_wisi_lr_parse.ads (100%) rename packages/{ada-mode => wisi}/gen_emacs_wisi_lr_text_rep_parse.adb (91%) rename packages/{ada-mode => wisi}/gen_emacs_wisi_lr_text_rep_parse.ads (100%) rename packages/{ada-mode => wisi}/gen_emacs_wisi_packrat_parse.adb (100%) rename packages/{ada-mode => wisi}/gen_emacs_wisi_packrat_parse.ads (100%) rename packages/{ada-mode => wisi}/gen_run_wisi_libadalang_parse.adb (100%) rename packages/{ada-mode => wisi}/gen_run_wisi_libadalang_parse.ads (100%) rename packages/{ada-mode => wisi}/gen_run_wisi_lr_parse.adb (100%) rename packages/{ada-mode => wisi}/gen_run_wisi_lr_parse.ads (100%) rename packages/{ada-mode => wisi}/gen_run_wisi_lr_text_rep_parse.adb (100%) rename packages/{ada-mode => wisi}/gen_run_wisi_lr_text_rep_parse.ads (100%) rename packages/{ada-mode => wisi}/gen_run_wisi_packrat_parse.adb (100%) rename packages/{ada-mode => wisi}/gen_run_wisi_packrat_parse.ads (100%) create mode 100644 packages/wisi/run_wisi_common_parse.adb rename packages/{ada-mode => wisi}/run_wisi_common_parse.ads (53%) copy packages/wisi/{sal-gen_unbounded_definite_stacks-gen_image_aux.adb => sal-gen_bounded_definite_stacks-gen_image_aux.adb} (86%) copy packages/wisi/{sal-gen_unbounded_definite_stacks-gen_image_aux.ads => sal-gen_bounded_definite_stacks-gen_image_aux.ads} (87%) create mode 100644 packages/wisi/sal-gen_bounded_definite_stacks.adb create mode 100644 packages/wisi/sal-gen_bounded_definite_stacks.ads copy packages/wisi/{sal-gen_array_image.adb => sal-gen_bounded_definite_vectors-gen_refs.adb} (55%) create mode 100644 packages/wisi/sal-gen_bounded_definite_vectors-gen_refs.ads delete mode 100644 packages/wisi/sal-gen_bounded_definite_vectors-gen_sorted.ads copy packages/wisi/{sal-gen_bounded_definite_vectors-gen_image_aux.adb => sal-gen_bounded_definite_vectors_sorted-gen_image_aux.adb} (77%) copy packages/wisi/{sal-gen_bounded_definite_vectors-gen_image_aux.ads => sal-gen_bounded_definite_vectors_sorted-gen_image_aux.ads} (82%) copy packages/wisi/{sal-gen_array_image.ads => sal-gen_bounded_definite_vectors_sorted-gen_refs.adb} (67%) copy packages/wisi/{sal-gen_array_image.ads => sal-gen_bounded_definite_vectors_sorted-gen_refs.ads} (51%) rename packages/wisi/{sal-gen_bounded_definite_vectors-gen_sorted.adb => sal-gen_bounded_definite_vectors_sorted.adb} (56%) create mode 100644 packages/wisi/sal-gen_bounded_definite_vectors_sorted.ads create mode 100644 packages/wisi/sal-gen_unbounded_definite_vectors_sorted.adb create mode 100644 packages/wisi/sal-gen_unbounded_definite_vectors_sorted.ads delete mode 100644 packages/wisi/wisi-compile.el delete mode 100644 packages/wisi/wisi-elisp-lexer.el delete mode 100644 packages/wisi/wisi-elisp-parse.el rename packages/wisi/{wisitoken.gpr => wisi.gpr} (57%) delete mode 100644 packages/wisi/wisitoken-bnf-output_elisp.adb create mode 100644 packages/wisi/wisitoken-syntax_trees-lr_utils.adb create mode 100644 packages/wisi/wisitoken-syntax_trees-lr_utils.ads