expressir 1.2.10-aarch64-linux → 2.4.29-aarch64-linux
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/.cargo/config.toml +3 -0
- data/.github/scripts/test_installed_gem.rb +34 -0
- data/.github/workflows/codeql.yml +35 -0
- data/.github/workflows/docs.yml +99 -0
- data/.github/workflows/links.yml +100 -0
- data/.github/workflows/native-gems.yml +201 -0
- data/.github/workflows/rake.yml +10 -296
- data/.github/workflows/release.yml +26 -114
- data/.github/workflows/rust-ext.yml +41 -0
- data/.github/workflows/stress.yml +36 -0
- data/.github/workflows/validate_schemas.yml +48 -0
- data/.github/workflows/verify_remarks.yml +33 -0
- data/.gitignore +33 -1
- data/.rubocop.yml +11 -11
- data/.rubocop_todo.yml +297 -0
- data/CHANGELOG.md +159 -0
- data/Gemfile +15 -1
- data/README.adoc +2675 -47
- data/Rakefile +34 -10
- data/TODO.bugs/01-stale-transformer-autoload.md +39 -0
- data/TODO.bugs/02-parser-class-instance-vars.md +36 -0
- data/TODO.bugs/03-builder-mutable-state.md +43 -0
- data/TODO.bugs/04-formatter-public-send-dispatch.md +53 -0
- data/TODO.bugs/05-anonymous-formatter-subclass.md +45 -0
- data/TODO.bugs/06-collection-registry-single-source.md +53 -0
- data/TODO.bugs/07-require-relative-cleanup.md +42 -0
- data/TODO.bugs/08-require-expressir-in-commands.md +34 -0
- data/TODO.bugs/09-parser-split.md +53 -0
- data/TODO.bugs/10-to-s-override.md +42 -0
- data/TODO.bugs/11-parser-class-variables.md +39 -0
- data/TODO.bugs/12-marker-modules-vs-registry.md +64 -0
- data/TODO.bugs/13-string-literal-scanner-limitation.md +52 -0
- data/TODO.bugs/14-model-formatting-leak.md +30 -0
- data/TODO.bugs/15-expression-children-macro.md +27 -0
- data/TODO.bugs/16-pretty-formatter-duplication.md +28 -0
- data/TODO.bugs/17-snake-case-cache-mutable-constant.md +28 -0
- data/TODO.bugs/18-const-get-private-constants.md +30 -0
- data/TODO.bugs/19-format-methods-public.md +22 -0
- data/TODO.bugs/20-coverage-nested-entities-dedup.md +20 -0
- data/TODO.bugs/21-operator-tokens-secondary-dispatch.md +21 -0
- data/TODO.bugs/22-builder-fast-path-wrappers.md +32 -0
- data/TODO.bugs/23-coverage-inverse-maps.md +21 -0
- data/TODO.bugs/24-streaming-builder-complexity.md +19 -0
- data/TODO.bugs/25-debug-puts-in-production.md +21 -0
- data/TODO.bugs/26-generic-entity-children-misplaced.md +21 -0
- data/TODO.bugs/27-package-build-god-method.md +19 -0
- data/TODO.bugs/28-package-god-class.md +30 -0
- data/TODO.bugs/29-validate-ascii-god-class.md +24 -0
- data/TODO.bugs/30-unicode-map-extraction.md +19 -0
- data/TODO.bugs/README.md +43 -0
- data/TODO.max-perf/01-restore-ci-green.md +36 -0
- data/TODO.max-perf/02-streaming-parse-path.md +31 -0
- data/TODO.max-perf/03-cli-parallel-opt-in.md +27 -0
- data/TODO.max-perf/04-benchmark-harness.md +28 -0
- data/TODO.max-perf/05-parallel-fidelity-specs.md +22 -0
- data/TODO.max-perf/06-builder-cpu-audit.md +41 -0
- data/TODO.max-perf/07-upstream-parsanol-roadmap.md +27 -0
- data/TODO.max-perf/08-builder-build-perf.md +45 -0
- data/TODO.max-perf/09-grammar-cold-start.md +25 -0
- data/TODO.max-perf/10-parser-facade-hygiene.md +23 -0
- data/TODO.max-perf/11-ci-green-closeout.md +25 -0
- data/TODO.max-perf/12-require-boot-profile.md +25 -0
- data/TODO.max-perf/13-key-conversion-specs.md +26 -0
- data/TODO.max-perf/14-builder-call-handler-audit.md +28 -0
- data/TODO.parity-ee/00-overview.md +76 -0
- data/TODO.parity-ee/01-annex-g-rule-extraction.md +41 -0
- data/TODO.parity-ee/02-eeng-algorithm-inventory.md +8 -0
- data/TODO.parity-ee/03-eeng-oracle-harness.md +33 -0
- data/TODO.parity-ee/04-shtolo-concatenate.md +44 -0
- data/TODO.parity-ee/05-shtolo-longform-flatten.md +53 -0
- data/TODO.parity-ee/06-interface-scheduling-parity.md +47 -0
- data/TODO.parity-ee/07-semantic-checks-port.md +35 -0
- data/TODO.parity-ee/08-pretty-roundtrip-gate.md +27 -0
- data/TODO.parity-ee/09-smrl-index-and-listing.md +22 -0
- data/TODO.parity-ee/10-interface-dot-graph.md +21 -0
- data/TODO.parity-ee/11-import-eeng-tests.md +79 -0
- data/TODO.parity-ee/12-full-check-catalog.md +67 -0
- data/TODO.parity-ee/13-population-p21.md +54 -0
- data/TODO.parity-ee/14-shtolo-completion.md +44 -0
- data/TODO.parity-ee/15-part28-xml.md +51 -0
- data/TODO.parity-ee/16-compare-patch.md +48 -0
- data/TODO.parity-ee/17-official-tests.md +42 -0
- data/TODO.parity-ee/18-mim-mapping.md +47 -0
- data/TODO.parity-ee/19-architecture.md +97 -0
- data/TODO.parity-ee/parity-matrix.md +108 -0
- data/TODO.refpath-v2/00-overview.md +64 -0
- data/TODO.suma-improvements/00-overview.md +23 -0
- data/TODO.suma-improvements/01-prebuilt-platform-gems.md +33 -0
- data/TODO.suma-improvements/02-suma-e2e.md +39 -0
- data/TODO.suma-improvements/03-item-graph.md +22 -0
- data/TODO.suma-improvements/04-compiled-set-default.md +16 -0
- data/TODO.suma-improvements/05-validation-in-docs.md +17 -0
- data/TODO.suma-improvements/06-memory-remeasure.md +36 -0
- data/TODO.suma-improvements/07-part28-xml.md +15 -0
- data/TODO.suma-improvements/08-windows-gnu-toolchain.md +15 -0
- data/TODO.suma-improvements/09-checker-tranche3.md +13 -0
- data/TODO.suma-improvements/10-expressdoc.md +8 -0
- data/benchmark/srl_benchmark.rb +458 -0
- data/benchmark/srl_native_benchmark.rb +146 -0
- data/benchmark/srl_ruby_benchmark.rb +132 -0
- data/bin/rspec +2 -1
- data/docs/Gemfile +12 -0
- data/docs/_config.yml +141 -0
- data/docs/_guides/changes/changes-format.adoc +778 -0
- data/docs/_guides/changes/importing-eengine.adoc +898 -0
- data/docs/_guides/changes/index.adoc +396 -0
- data/docs/_guides/changes/programmatic-usage.adoc +1038 -0
- data/docs/_guides/changes/validating-changes.adoc +681 -0
- data/docs/_guides/cli/benchmark-performance.adoc +834 -0
- data/docs/_guides/cli/coverage-analysis.adoc +921 -0
- data/docs/_guides/cli/format-schemas.adoc +547 -0
- data/docs/_guides/cli/index.adoc +8 -0
- data/docs/_guides/cli/managing-changes.adoc +927 -0
- data/docs/_guides/cli/validate-ascii.adoc +645 -0
- data/docs/_guides/cli/validate-schemas.adoc +534 -0
- data/docs/_guides/formatter/formatter-architecture.adoc +401 -0
- data/docs/_guides/index.adoc +165 -0
- data/docs/_guides/ler/creating-packages.adoc +664 -0
- data/docs/_guides/ler/index.adoc +305 -0
- data/docs/_guides/ler/loading-packages.adoc +707 -0
- data/docs/_guides/ler/package-formats.adoc +748 -0
- data/docs/_guides/ler/querying-packages.adoc +826 -0
- data/docs/_guides/ler/step-packages.adoc +385 -0
- data/docs/_guides/ler/validating-packages.adoc +750 -0
- data/docs/_guides/liquid/basic-templates.adoc +813 -0
- data/docs/_guides/liquid/documentation-generation.adoc +1042 -0
- data/docs/_guides/liquid/drops-reference.adoc +829 -0
- data/docs/_guides/liquid/filters-and-tags.adoc +912 -0
- data/docs/_guides/liquid/index.adoc +468 -0
- data/docs/_guides/manifests/creating-manifests.adoc +483 -0
- data/docs/_guides/manifests/index.adoc +307 -0
- data/docs/_guides/manifests/resolving-manifests.adoc +557 -0
- data/docs/_guides/manifests/validating-manifests.adoc +713 -0
- data/docs/_guides/ruby-api/formatting-schemas.adoc +605 -0
- data/docs/_guides/ruby-api/index.adoc +257 -0
- data/docs/_guides/ruby-api/parsing-files.adoc +421 -0
- data/docs/_guides/ruby-api/search-engine.adoc +609 -0
- data/docs/_guides/ruby-api/working-with-repository.adoc +577 -0
- data/docs/_pages/data-model.adoc +665 -0
- data/docs/_pages/express-language.adoc +506 -0
- data/docs/_pages/getting-started.adoc +414 -0
- data/docs/_pages/index.adoc +116 -0
- data/docs/_pages/introduction.adoc +256 -0
- data/docs/_pages/ler-packages.adoc +837 -0
- data/docs/_pages/parsers.adoc +709 -0
- data/docs/_pages/schema-manifests.adoc +431 -0
- data/docs/_references/index.adoc +228 -0
- data/docs/_tutorials/creating-ler-package.adoc +735 -0
- data/docs/_tutorials/documentation-coverage.adoc +795 -0
- data/docs/_tutorials/formatting-schemas.adoc +89 -0
- data/docs/_tutorials/index.adoc +231 -0
- data/docs/_tutorials/liquid-templates.adoc +806 -0
- data/docs/_tutorials/parsing-your-first-schema.adoc +522 -0
- data/docs/_tutorials/querying-schemas.adoc +751 -0
- data/docs/_tutorials/working-with-multiple-schemas.adoc +676 -0
- data/docs/index.adoc +242 -0
- data/docs/lychee.toml +90 -0
- data/examples/demo_ler_usage.sh +86 -0
- data/examples/ler/README.md +111 -0
- data/examples/ler/simple_example.ler +0 -0
- data/examples/ler/simple_schema.exp +33 -0
- data/examples/ler_build.rb +75 -0
- data/examples/ler_cli.rb +79 -0
- data/examples/ler_demo_complete.rb +276 -0
- data/examples/ler_query.rb +91 -0
- data/examples/ler_query_examples.rb +305 -0
- data/examples/ler_stats.rb +81 -0
- data/examples/phase3_demo.rb +159 -0
- data/examples/query_demo_simple.rb +131 -0
- data/exe/expressir +6 -17
- data/exe/expressir-format +14 -0
- data/exe/{format-test → expressir-format-test} +8 -7
- data/expressir.gemspec +50 -37
- data/lib/expressir/3.2/expressir_core.so +0 -0
- data/lib/expressir/3.3/expressir_core.so +0 -0
- data/lib/expressir/3.4/expressir_core.so +0 -0
- data/lib/expressir/4.0/expressir_core.so +0 -0
- data/lib/expressir/benchmark.rb +310 -0
- data/lib/expressir/changes/item_change.rb +20 -0
- data/lib/expressir/changes/mapping_change.rb +16 -0
- data/lib/expressir/changes/schema_change.rb +85 -0
- data/lib/expressir/changes/version_change.rb +26 -0
- data/lib/expressir/changes.rb +9 -0
- data/lib/expressir/cli.rb +138 -11
- data/lib/expressir/commands/base.rb +25 -0
- data/lib/expressir/commands/benchmark.rb +59 -0
- data/lib/expressir/commands/benchmark_cache.rb +80 -0
- data/lib/expressir/commands/changes.rb +34 -0
- data/lib/expressir/commands/changes_import_eengine.rb +146 -0
- data/lib/expressir/commands/changes_validate.rb +63 -0
- data/lib/expressir/commands/check.rb +56 -0
- data/lib/expressir/commands/clean.rb +20 -0
- data/lib/expressir/commands/coverage.rb +458 -0
- data/lib/expressir/commands/expand.rb +26 -0
- data/lib/expressir/commands/file_violations.rb +70 -0
- data/lib/expressir/commands/fix.rb +33 -0
- data/lib/expressir/commands/flatten.rb +29 -0
- data/lib/expressir/commands/format.rb +43 -0
- data/lib/expressir/commands/manifest.rb +420 -0
- data/lib/expressir/commands/mapping_validate.rb +68 -0
- data/lib/expressir/commands/non_ascii_character.rb +49 -0
- data/lib/expressir/commands/non_ascii_violation_collection.rb +301 -0
- data/lib/expressir/commands/package.rb +1222 -0
- data/lib/expressir/commands/parity_inputs.rb +160 -0
- data/lib/expressir/commands/validate.rb +106 -0
- data/lib/expressir/commands/validate_ascii.rb +94 -0
- data/lib/expressir/commands/validate_load.rb +91 -0
- data/lib/expressir/commands/version.rb +9 -0
- data/lib/expressir/commands/xsd.rb +23 -0
- data/lib/expressir/commands.rb +30 -0
- data/lib/expressir/config.rb +40 -3
- data/lib/expressir/coverage.rb +510 -0
- data/lib/expressir/eengine/arm_compare_report.rb +23 -0
- data/lib/expressir/eengine/changes_section.rb +16 -0
- data/lib/expressir/eengine/compare_report.rb +69 -0
- data/lib/expressir/eengine/mim_compare_report.rb +23 -0
- data/lib/expressir/eengine/modified_object.rb +21 -0
- data/lib/expressir/eengine.rb +9 -0
- data/lib/expressir/errors.rb +113 -0
- data/lib/expressir/express/adoc_hyperlink_formatter.rb +30 -0
- data/lib/expressir/express/adoc_source_formatter.rb +12 -0
- data/lib/expressir/express/ast_key_converter.rb +114 -0
- data/lib/expressir/express/builder.rb +277 -0
- data/lib/expressir/express/builder_context.rb +22 -0
- data/lib/expressir/express/builder_registry.rb +397 -0
- data/lib/expressir/express/builders/attribute_decl_builder.rb +32 -0
- data/lib/expressir/express/builders/built_in_builder.rb +75 -0
- data/lib/expressir/express/builders/constant_builder.rb +108 -0
- data/lib/expressir/express/builders/declaration_builder.rb +20 -0
- data/lib/expressir/express/builders/derive_clause_builder.rb +14 -0
- data/lib/expressir/express/builders/derived_attr_builder.rb +28 -0
- data/lib/expressir/express/builders/domain_rule_builder.rb +21 -0
- data/lib/expressir/express/builders/entity_decl_builder.rb +116 -0
- data/lib/expressir/express/builders/explicit_attr_builder.rb +49 -0
- data/lib/expressir/express/builders/expression_builder.rb +416 -0
- data/lib/expressir/express/builders/function_decl_builder.rb +86 -0
- data/lib/expressir/express/builders/helpers.rb +148 -0
- data/lib/expressir/express/builders/interface_builder.rb +151 -0
- data/lib/expressir/express/builders/inverse_attr_builder.rb +43 -0
- data/lib/expressir/express/builders/inverse_attr_type_builder.rb +30 -0
- data/lib/expressir/express/builders/inverse_clause_builder.rb +14 -0
- data/lib/expressir/express/builders/literal_builder.rb +93 -0
- data/lib/expressir/express/builders/procedure_decl_builder.rb +82 -0
- data/lib/expressir/express/builders/qualifier_builder.rb +102 -0
- data/lib/expressir/express/builders/reference_builder.rb +18 -0
- data/lib/expressir/express/builders/rule_decl_builder.rb +97 -0
- data/lib/expressir/express/builders/schema_body_decl_builder.rb +18 -0
- data/lib/expressir/express/builders/schema_decl_builder.rb +56 -0
- data/lib/expressir/express/builders/schema_version_builder.rb +34 -0
- data/lib/expressir/express/builders/simple_id_builder.rb +17 -0
- data/lib/expressir/express/builders/statement_builder.rb +243 -0
- data/lib/expressir/express/builders/subtype_constraint_builder.rb +166 -0
- data/lib/expressir/express/builders/syntax_builder.rb +30 -0
- data/lib/expressir/express/builders/type_builder.rb +238 -0
- data/lib/expressir/express/builders/type_decl_builder.rb +26 -0
- data/lib/expressir/express/builders/unique_clause_builder.rb +20 -0
- data/lib/expressir/express/builders/unique_rule_builder.rb +41 -0
- data/lib/expressir/express/builders/where_clause_builder.rb +20 -0
- data/lib/expressir/express/builders.rb +55 -0
- data/lib/expressir/express/cache.rb +43 -18
- data/lib/expressir/express/checker.rb +812 -0
- data/lib/expressir/express/concatenator.rb +79 -0
- data/lib/expressir/express/core.rb +95 -0
- data/lib/expressir/express/error.rb +124 -0
- data/lib/expressir/express/formatter.rb +89 -1548
- data/lib/expressir/express/formatters/data_types_formatter.rb +362 -0
- data/lib/expressir/express/formatters/declarations_formatter.rb +753 -0
- data/lib/expressir/express/formatters/expressions_formatter.rb +180 -0
- data/lib/expressir/express/formatters/literals_formatter.rb +55 -0
- data/lib/expressir/express/formatters/references_formatter.rb +53 -0
- data/lib/expressir/express/formatters/remark_formatter.rb +270 -0
- data/lib/expressir/express/formatters/remark_item_formatter.rb +28 -0
- data/lib/expressir/express/formatters/statements_formatter.rb +272 -0
- data/lib/expressir/express/formatters/supertype_expressions_formatter.rb +54 -0
- data/lib/expressir/express/formatters.rb +22 -0
- data/lib/expressir/express/grammar/parser.rb +712 -0
- data/lib/expressir/express/grammar.rb +11 -0
- data/lib/expressir/express/hyperlink_formatter.rb +4 -5
- data/lib/expressir/express/interface_dot.rb +105 -0
- data/lib/expressir/express/lazy_repository.rb +211 -0
- data/lib/expressir/express/line_map.rb +48 -0
- data/lib/expressir/express/listing.rb +174 -0
- data/lib/expressir/express/model_traversal.rb +42 -0
- data/lib/expressir/express/model_visitor.rb +11 -10
- data/lib/expressir/express/node_position_index.rb +342 -0
- data/lib/expressir/express/parallel_files.rb +229 -0
- data/lib/expressir/express/parser.rb +501 -62
- data/lib/expressir/express/pretty_formatter.rb +586 -0
- data/lib/expressir/express/pretty_gate.rb +61 -0
- data/lib/expressir/express/refs_overlay.rb +47 -0
- data/lib/expressir/express/remark_attacher.rb +1098 -0
- data/lib/expressir/express/remark_overlay.rb +86 -0
- data/lib/expressir/express/remark_scanner.rb +245 -0
- data/lib/expressir/express/resolve_references_model_visitor.rb +7 -9
- data/lib/expressir/express/schema_block_scanner.rb +137 -0
- data/lib/expressir/express/schema_head_formatter.rb +4 -5
- data/lib/expressir/express/schema_plain_source_formatter.rb +11 -0
- data/lib/expressir/express/schema_source_formatter.rb +15 -0
- data/lib/expressir/express/scope_resolver.rb +223 -0
- data/lib/expressir/express/self_schema_reference.rb +126 -0
- data/lib/expressir/express/shtolo.rb +679 -0
- data/lib/expressir/express/smrl_xml.rb +125 -0
- data/lib/expressir/express/source_formatter.rb +15 -0
- data/lib/expressir/express/streaming_builder.rb +435 -0
- data/lib/expressir/express/xsd.rb +259 -0
- data/lib/expressir/express.rb +53 -0
- data/lib/expressir/liquid.rb +1 -0
- data/lib/expressir/manifest/resolver.rb +210 -0
- data/lib/expressir/manifest/validator.rb +192 -0
- data/lib/expressir/manifest.rb +6 -0
- data/lib/expressir/mapping/refpath.rb +857 -0
- data/lib/expressir/mapping.rb +253 -0
- data/lib/expressir/model/cache.rb +10 -9
- data/lib/expressir/model/concerns.rb +42 -0
- data/lib/expressir/model/data_types/aggregate.rb +8 -13
- data/lib/expressir/model/data_types/array.rb +15 -21
- data/lib/expressir/model/data_types/bag.rb +11 -15
- data/lib/expressir/model/data_types/binary.rb +9 -12
- data/lib/expressir/model/data_types/boolean.rb +7 -2
- data/lib/expressir/model/data_types/enumeration.rb +11 -15
- data/lib/expressir/model/data_types/enumeration_item.rb +5 -7
- data/lib/expressir/model/data_types/generic.rb +6 -8
- data/lib/expressir/model/data_types/generic_entity.rb +11 -13
- data/lib/expressir/model/data_types/integer.rb +7 -2
- data/lib/expressir/model/data_types/list.rb +13 -18
- data/lib/expressir/model/data_types/logical.rb +7 -2
- data/lib/expressir/model/data_types/number.rb +7 -2
- data/lib/expressir/model/data_types/real.rb +7 -9
- data/lib/expressir/model/data_types/select.rb +13 -18
- data/lib/expressir/model/data_types/set.rb +11 -15
- data/lib/expressir/model/data_types/string.rb +9 -12
- data/lib/expressir/model/data_types.rb +25 -0
- data/lib/expressir/model/declarations/attribute.rb +19 -28
- data/lib/expressir/model/declarations/constant.rb +10 -16
- data/lib/expressir/model/declarations/derived_attribute.rb +25 -0
- data/lib/expressir/model/declarations/entity.rb +39 -30
- data/lib/expressir/model/declarations/function.rb +32 -40
- data/lib/expressir/model/declarations/informal_proposition_rule.rb +25 -0
- data/lib/expressir/model/declarations/interface.rb +25 -16
- data/lib/expressir/model/declarations/interface_item.rb +9 -11
- data/lib/expressir/model/declarations/interfaced_item.rb +15 -19
- data/lib/expressir/model/declarations/inverse_attribute.rb +25 -0
- data/lib/expressir/model/declarations/parameter.rb +10 -16
- data/lib/expressir/model/declarations/procedure.rb +30 -37
- data/lib/expressir/model/declarations/remark_item.rb +11 -11
- data/lib/expressir/model/declarations/rule.rb +38 -43
- data/lib/expressir/model/declarations/schema.rb +162 -64
- data/lib/expressir/model/declarations/schema_version.rb +8 -11
- data/lib/expressir/model/declarations/schema_version_item.rb +8 -11
- data/lib/expressir/model/declarations/subtype_constraint.rb +14 -22
- data/lib/expressir/model/declarations/type.rb +18 -18
- data/lib/expressir/model/declarations/unique_rule.rb +8 -13
- data/lib/expressir/model/declarations/variable.rb +10 -16
- data/lib/expressir/model/declarations/where_rule.rb +8 -13
- data/lib/expressir/model/declarations.rb +31 -0
- data/lib/expressir/model/dependency_resolver.rb +268 -0
- data/lib/expressir/model/exp_file.rb +42 -0
- data/lib/expressir/model/expressions/aggregate_initializer.rb +8 -9
- data/lib/expressir/model/expressions/aggregate_initializer_item.rb +10 -12
- data/lib/expressir/model/expressions/binary_expression.rb +42 -36
- data/lib/expressir/model/expressions/entity_constructor.rb +10 -12
- data/lib/expressir/model/expressions/function_call.rb +10 -12
- data/lib/expressir/model/expressions/interval.rb +18 -23
- data/lib/expressir/model/expressions/query_expression.rb +11 -15
- data/lib/expressir/model/expressions/unary_expression.rb +13 -15
- data/lib/expressir/model/expressions.rb +18 -0
- data/lib/expressir/model/identifier.rb +18 -26
- data/lib/expressir/model/indexes/entity_index.rb +103 -0
- data/lib/expressir/model/indexes/item_graph.rb +185 -0
- data/lib/expressir/model/indexes/reference_index.rb +148 -0
- data/lib/expressir/model/indexes/type_index.rb +149 -0
- data/lib/expressir/model/indexes.rb +12 -0
- data/lib/expressir/model/interface_validator.rb +384 -0
- data/lib/expressir/model/literals/binary.rb +7 -9
- data/lib/expressir/model/literals/integer.rb +7 -9
- data/lib/expressir/model/literals/logical.rb +10 -12
- data/lib/expressir/model/literals/real.rb +7 -9
- data/lib/expressir/model/literals/string.rb +10 -12
- data/lib/expressir/model/literals.rb +13 -0
- data/lib/expressir/model/model_element.rb +286 -117
- data/lib/expressir/model/references/attribute_reference.rb +9 -12
- data/lib/expressir/model/references/group_reference.rb +9 -12
- data/lib/expressir/model/references/index_reference.rb +11 -15
- data/lib/expressir/model/references/simple_reference.rb +11 -14
- data/lib/expressir/model/references.rb +12 -0
- data/lib/expressir/model/remark_format.rb +17 -0
- data/lib/expressir/model/remark_info.rb +92 -0
- data/lib/expressir/model/remark_placement.rb +42 -0
- data/lib/expressir/model/repository.rb +472 -12
- data/lib/expressir/model/repository_validator.rb +293 -0
- data/lib/expressir/model/search_engine.rb +551 -0
- data/lib/expressir/model/statements/alias.rb +12 -16
- data/lib/expressir/model/statements/assignment.rb +12 -11
- data/lib/expressir/model/statements/case.rb +31 -14
- data/lib/expressir/model/statements/case_action.rb +9 -11
- data/lib/expressir/model/statements/compound.rb +10 -8
- data/lib/expressir/model/statements/escape.rb +10 -2
- data/lib/expressir/model/statements/if.rb +15 -14
- data/lib/expressir/model/statements/null.rb +10 -2
- data/lib/expressir/model/statements/procedure_call.rb +11 -11
- data/lib/expressir/model/statements/repeat.rb +21 -28
- data/lib/expressir/model/statements/return.rb +9 -8
- data/lib/expressir/model/statements/skip.rb +10 -2
- data/lib/expressir/model/statements.rb +20 -0
- data/lib/expressir/model/supertype_expressions/binary_supertype_expression.rb +13 -17
- data/lib/expressir/model/supertype_expressions/oneof_supertype_expression.rb +7 -9
- data/lib/expressir/model/supertype_expressions.rb +12 -0
- data/lib/expressir/model.rb +38 -78
- data/lib/expressir/package/builder.rb +231 -0
- data/lib/expressir/package/metadata.rb +79 -0
- data/lib/expressir/package/reader.rb +149 -0
- data/lib/expressir/package.rb +8 -0
- data/lib/expressir/schema_manifest.rb +159 -0
- data/lib/expressir/schema_manifest_entry.rb +15 -0
- data/lib/expressir/version.rb +6 -1
- data/lib/expressir.rb +79 -9
- data/lib/tasks/verify_remarks.rake +16 -0
- data/rakelib/native.rake +24 -0
- data/rakelib/oracle.rake +52 -0
- data/rakelib/verify_remarks.rake +16 -0
- metadata +431 -129
- data/.cross_rubies +0 -20
- data/.gitmodules +0 -6
- data/.yardopts +0 -11
- data/docs/development.md +0 -90
- data/exe/format +0 -18
- data/exe/generate-parser +0 -51
- data/lib/expressir/cli/ui.rb +0 -36
- data/lib/expressir/express/2.7/express_parser.so +0 -0
- data/lib/expressir/express/3.0/express_parser.so +0 -0
- data/lib/expressir/express/3.1/express_parser.so +0 -0
- data/lib/expressir/express/3.2/express_parser.so +0 -0
- data/lib/expressir/express/visitor.rb +0 -2588
- data/lib/expressir/model/data_type.rb +0 -9
- data/lib/expressir/model/declaration.rb +0 -9
- data/lib/expressir/model/expression.rb +0 -9
- data/lib/expressir/model/literal.rb +0 -9
- data/lib/expressir/model/reference.rb +0 -9
- data/lib/expressir/model/statement.rb +0 -9
- data/lib/expressir/model/supertype_expression.rb +0 -9
- data/rakelib/antlr4-native.rake +0 -161
- data/rakelib/cross-ruby.rake +0 -368
- data/spec/acceptance/version_spec.rb +0 -27
- data/spec/expressir/express/cache_spec.rb +0 -89
- data/spec/expressir/express/formatter_spec.rb +0 -173
- data/spec/expressir/express/parser_spec.rb +0 -141
- data/spec/expressir/model/model_element_spec.rb +0 -318
- data/spec/spec_helper.rb +0 -24
- data/spec/support/console_helper.rb +0 -29
- data/spec/syntax/multiple.exp +0 -23
- data/spec/syntax/multiple.yaml +0 -198
- data/spec/syntax/multiple_formatted.exp +0 -71
- data/spec/syntax/multiple_hyperlink_formatted.exp +0 -71
- data/spec/syntax/multiple_schema_head_hyperlink_formatted.exp +0 -13
- data/spec/syntax/remark.exp +0 -193
- data/spec/syntax/remark.yaml +0 -471
- data/spec/syntax/remark_formatted.exp +0 -228
- data/spec/syntax/single.exp +0 -4
- data/spec/syntax/single.yaml +0 -18
- data/spec/syntax/single_formatted.exp +0 -10
- data/spec/syntax/single_formatted.yaml +0 -36
- data/spec/syntax/syntax.exp +0 -333
- data/spec/syntax/syntax.yaml +0 -3509
- data/spec/syntax/syntax_formatted.exp +0 -902
- data/spec/syntax/syntax_hyperlink_formatted.exp +0 -902
- data/spec/syntax/syntax_schema_head_formatted.exp +0 -18
|
@@ -0,0 +1,301 @@
|
|
|
1
|
+
# frozen_string_literal: true
|
|
2
|
+
|
|
3
|
+
require "paint"
|
|
4
|
+
|
|
5
|
+
module Expressir
|
|
6
|
+
module Commands
|
|
7
|
+
class NonAsciiViolationCollection
|
|
8
|
+
# Pre-defined mapping of common Unicode math symbols to AsciiMath.
|
|
9
|
+
UNICODE_TO_ASCIIDOC_MAP = {
|
|
10
|
+
# Greek letters
|
|
11
|
+
"α" => "alpha", "β" => "beta", "γ" => "gamma", "Γ" => "Gamma",
|
|
12
|
+
"δ" => "delta", "Δ" => "Delta", "ε" => "epsilon", "ζ" => "zeta",
|
|
13
|
+
"η" => "eta", "θ" => "theta", "Θ" => "Theta", "ι" => "iota",
|
|
14
|
+
"κ" => "kappa", "λ" => "lambda", "Λ" => "Lambda", "μ" => "mu",
|
|
15
|
+
"ν" => "nu", "ξ" => "xi", "Ξ" => "Xi", "π" => "pi", "Π" => "Pi",
|
|
16
|
+
"ρ" => "rho", "σ" => "sigma", "Σ" => "Sigma", "τ" => "tau",
|
|
17
|
+
"υ" => "upsilon", "φ" => "phi", "Φ" => "Phi", "χ" => "chi",
|
|
18
|
+
"ψ" => "psi", "Ψ" => "Psi", "ω" => "omega", "Ω" => "Omega",
|
|
19
|
+
# Math operators
|
|
20
|
+
"×" => "xx", "÷" => "div", "±" => "pm", "∓" => "mp",
|
|
21
|
+
"∞" => "oo", "≤" => "le", "≥" => "ge", "≠" => "ne",
|
|
22
|
+
"≈" => "~~", "≅" => "cong", "≡" => "equiv", "∈" => "in",
|
|
23
|
+
"∉" => "notin", "⊂" => "subset", "⊃" => "supset", "∩" => "cap",
|
|
24
|
+
"∪" => "cup", "∧" => "and", "∨" => "or", "¬" => "neg",
|
|
25
|
+
"∀" => "forall", "∃" => "exists", "∄" => "nexists", "∇" => "grad",
|
|
26
|
+
"∂" => "del", "∑" => "sum", "∏" => "prod", "∫" => "int",
|
|
27
|
+
"∮" => "oint", "√" => "sqrt", "⊥" => "perp", "‖" => "norm",
|
|
28
|
+
"→" => "rarr", "←" => "larr", "↔" => "harr",
|
|
29
|
+
"⇒" => "rArr", "⇐" => "lArr", "⇔" => "hArr"
|
|
30
|
+
}.freeze
|
|
31
|
+
|
|
32
|
+
attr_reader :file_violations, :total_files
|
|
33
|
+
|
|
34
|
+
def initialize(check_remarks: false)
|
|
35
|
+
@file_violations = {} # Map of file paths to FileViolations objects
|
|
36
|
+
@total_files = 0
|
|
37
|
+
@unicode_to_asciimath = nil
|
|
38
|
+
@check_remarks = check_remarks
|
|
39
|
+
end
|
|
40
|
+
|
|
41
|
+
def process_file(file)
|
|
42
|
+
@total_files += 1
|
|
43
|
+
|
|
44
|
+
# Initialize the mapping once
|
|
45
|
+
@unicode_to_asciimath ||= UNICODE_TO_ASCIIDOC_MAP
|
|
46
|
+
|
|
47
|
+
file_violations = process_file_violations(file)
|
|
48
|
+
return if file_violations.violations.empty?
|
|
49
|
+
|
|
50
|
+
@file_violations[file] = file_violations
|
|
51
|
+
end
|
|
52
|
+
|
|
53
|
+
def files_with_violations
|
|
54
|
+
@file_violations.size
|
|
55
|
+
end
|
|
56
|
+
|
|
57
|
+
def total_violations
|
|
58
|
+
@file_violations.values.sum(&:violation_count)
|
|
59
|
+
end
|
|
60
|
+
|
|
61
|
+
def unique_character_count
|
|
62
|
+
# Get total unique characters across all files
|
|
63
|
+
all_chars = Set.new
|
|
64
|
+
@file_violations.each_value do |file_violation|
|
|
65
|
+
file_violation.unique_characters.each do |char|
|
|
66
|
+
all_chars.add(char.char)
|
|
67
|
+
end
|
|
68
|
+
end
|
|
69
|
+
all_chars.size
|
|
70
|
+
end
|
|
71
|
+
|
|
72
|
+
def total_occurrence_count
|
|
73
|
+
# Sum all occurrences of all characters across all files
|
|
74
|
+
@file_violations.values.sum do |file_violation|
|
|
75
|
+
file_violation.unique_characters.sum(&:occurrence_count)
|
|
76
|
+
end
|
|
77
|
+
end
|
|
78
|
+
|
|
79
|
+
def to_yaml_data
|
|
80
|
+
{
|
|
81
|
+
summary: {
|
|
82
|
+
total_files: @total_files,
|
|
83
|
+
files_with_violations: files_with_violations,
|
|
84
|
+
total_violations: total_violations,
|
|
85
|
+
total_unique_characters: unique_character_count,
|
|
86
|
+
total_occurrences: total_occurrence_count,
|
|
87
|
+
},
|
|
88
|
+
violations: @file_violations.transform_keys do |k|
|
|
89
|
+
File.expand_path(k)
|
|
90
|
+
end.transform_values(&:to_h),
|
|
91
|
+
}
|
|
92
|
+
end
|
|
93
|
+
|
|
94
|
+
def print_text_output
|
|
95
|
+
# Print each file's violations if any
|
|
96
|
+
unless @file_violations.empty?
|
|
97
|
+
@file_violations.each_value do |file_violation|
|
|
98
|
+
puts "\n#{Paint[file_violation.display_path, :cyan, :bold]}:"
|
|
99
|
+
|
|
100
|
+
file_violation.violations.each do |v|
|
|
101
|
+
puts " #{Paint['Line',
|
|
102
|
+
:blue]} #{Paint[v[:line_number],
|
|
103
|
+
:yellow]}, #{Paint['Column',
|
|
104
|
+
:blue]} #{Paint[v[:column],
|
|
105
|
+
:yellow]}:"
|
|
106
|
+
puts " #{v[:line]}"
|
|
107
|
+
puts " #{' ' * v[:column]}#{Paint['^' * v[:match].length,
|
|
108
|
+
:red]} #{Paint['Non-ASCII sequence',
|
|
109
|
+
:red]}"
|
|
110
|
+
|
|
111
|
+
v[:char_details].each do |cd|
|
|
112
|
+
character = file_violation.unique_characters.find do |c|
|
|
113
|
+
c.char == cd[:char]
|
|
114
|
+
end
|
|
115
|
+
next unless character
|
|
116
|
+
|
|
117
|
+
puts " #{Paint["\"#{cd[:char]}\"",
|
|
118
|
+
:yellow]} - Hex: #{Paint[cd[:hex],
|
|
119
|
+
:magenta]}, UTF-8 bytes: #{Paint[cd[:utf8],
|
|
120
|
+
:magenta]}"
|
|
121
|
+
puts " #{Paint['Replacement:',
|
|
122
|
+
:green]} #{character.replacement_text}"
|
|
123
|
+
end
|
|
124
|
+
puts ""
|
|
125
|
+
end
|
|
126
|
+
|
|
127
|
+
puts " #{Paint['Found',
|
|
128
|
+
:green]} #{Paint[file_violation.violation_count,
|
|
129
|
+
:red]} #{Paint['non-ASCII sequence(s) in',
|
|
130
|
+
:green]} #{Paint[file_violation.filename,
|
|
131
|
+
:cyan]}\n"
|
|
132
|
+
end
|
|
133
|
+
end
|
|
134
|
+
|
|
135
|
+
# Always print summary
|
|
136
|
+
validation_scope = @check_remarks ? "code and all remarks" : "code and tail remarks (embedded remarks excluded)"
|
|
137
|
+
puts "\n#{Paint['Summary:', :blue, :bold]}"
|
|
138
|
+
puts " #{Paint['Validation scope:',
|
|
139
|
+
:green]} #{Paint[validation_scope,
|
|
140
|
+
:cyan]}"
|
|
141
|
+
puts " #{Paint['Scanned',
|
|
142
|
+
:green]} #{Paint[@total_files,
|
|
143
|
+
:yellow]} #{Paint['EXPRESS file(s)',
|
|
144
|
+
:green]}"
|
|
145
|
+
puts " #{Paint['Found',
|
|
146
|
+
:green]} #{Paint[total_violations,
|
|
147
|
+
:red]} #{Paint['non-ASCII sequence(s) in',
|
|
148
|
+
:green]} #{Paint[files_with_violations,
|
|
149
|
+
:red]} #{Paint['file(s)',
|
|
150
|
+
:green]}"
|
|
151
|
+
end
|
|
152
|
+
|
|
153
|
+
def print_table_output
|
|
154
|
+
return if @file_violations.empty?
|
|
155
|
+
|
|
156
|
+
# Build rows array
|
|
157
|
+
rows = []
|
|
158
|
+
total_occurrences = 0
|
|
159
|
+
|
|
160
|
+
@file_violations.each_value do |file_violation|
|
|
161
|
+
file_violation.unique_characters.each do |character|
|
|
162
|
+
occurrence_count = character.occurrence_count
|
|
163
|
+
total_occurrences += occurrence_count
|
|
164
|
+
|
|
165
|
+
rows << {
|
|
166
|
+
file: file_violation.display_path,
|
|
167
|
+
symbol: "\"#{character.char}\" (#{character.hex})",
|
|
168
|
+
replacement: character.replacement_text,
|
|
169
|
+
occurrences: occurrence_count,
|
|
170
|
+
}
|
|
171
|
+
end
|
|
172
|
+
end
|
|
173
|
+
|
|
174
|
+
# Add total row
|
|
175
|
+
rows << {
|
|
176
|
+
file: "TOTAL",
|
|
177
|
+
symbol: "#{unique_character_count} unique",
|
|
178
|
+
replacement: "",
|
|
179
|
+
occurrences: total_occurrences,
|
|
180
|
+
}
|
|
181
|
+
|
|
182
|
+
# Use TableTennis to render
|
|
183
|
+
options = {
|
|
184
|
+
title: "Non-ASCII Characters Summary",
|
|
185
|
+
columns: %i[file symbol replacement occurrences],
|
|
186
|
+
headers: {
|
|
187
|
+
file: "File",
|
|
188
|
+
symbol: "Symbol",
|
|
189
|
+
replacement: "Replacement",
|
|
190
|
+
occurrences: "Occurrences",
|
|
191
|
+
},
|
|
192
|
+
mark: ->(row) { row[:file] == "TOTAL" },
|
|
193
|
+
}
|
|
194
|
+
|
|
195
|
+
puts "\n#{TableTennis.new(rows, options)}\n"
|
|
196
|
+
end
|
|
197
|
+
|
|
198
|
+
private
|
|
199
|
+
|
|
200
|
+
# Build a masked copy of `source` where every byte inside an embedded
|
|
201
|
+
# remark region is replaced with an ASCII space. Byte positions and the
|
|
202
|
+
# string's encoding are preserved, so masked lines still align 1:1 with
|
|
203
|
+
# the original file for reporting.
|
|
204
|
+
def mask_embedded_remarks(source)
|
|
205
|
+
remarks = Expressir::Express::RemarkScanner.new(source).scan
|
|
206
|
+
embedded = remarks.select(&:embedded?)
|
|
207
|
+
return source if embedded.empty?
|
|
208
|
+
|
|
209
|
+
masked = source.b.dup
|
|
210
|
+
embedded.each do |r|
|
|
211
|
+
(r.position...r.end_position).each { |i| masked.setbyte(i, 0x20) }
|
|
212
|
+
end
|
|
213
|
+
masked.force_encoding(source.encoding)
|
|
214
|
+
end
|
|
215
|
+
|
|
216
|
+
def scan_lines_for_non_ascii(file_violations, lines)
|
|
217
|
+
lines.each_with_index do |line, line_idx|
|
|
218
|
+
line_number = line_idx + 1
|
|
219
|
+
next unless /[^\x00-\x7F]/.match?(line)
|
|
220
|
+
|
|
221
|
+
line.chomp.scan(/([^\x00-\x7F]+)/) do |match|
|
|
222
|
+
match = match[0]
|
|
223
|
+
column = line.index(match)
|
|
224
|
+
|
|
225
|
+
char_details = match.chars.filter_map do |c|
|
|
226
|
+
process_non_ascii_char(c)
|
|
227
|
+
end
|
|
228
|
+
next if char_details.empty?
|
|
229
|
+
|
|
230
|
+
file_violations.add_violation(line_number, column, match,
|
|
231
|
+
char_details, line.chomp)
|
|
232
|
+
end
|
|
233
|
+
end
|
|
234
|
+
end
|
|
235
|
+
|
|
236
|
+
def process_file_violations(file)
|
|
237
|
+
file_violations = FileViolations.new(file)
|
|
238
|
+
source = File.read(file, encoding: "UTF-8")
|
|
239
|
+
|
|
240
|
+
# With --check-remarks: scan every line including embedded remarks.
|
|
241
|
+
# Without: scan code + tail remarks only — mask out embedded remark
|
|
242
|
+
# regions so non-ASCII inside `(* ... *)` documentation blocks is
|
|
243
|
+
# not flagged. Tail remarks (`--`) are part of code lines and stay
|
|
244
|
+
# in scope (issue #285).
|
|
245
|
+
scan_source = @check_remarks ? source : mask_embedded_remarks(source)
|
|
246
|
+
scan_lines_for_non_ascii(file_violations, scan_source.lines)
|
|
247
|
+
file_violations
|
|
248
|
+
end
|
|
249
|
+
|
|
250
|
+
def process_non_ascii_char(char)
|
|
251
|
+
# Skip ASCII characters
|
|
252
|
+
return nil if char.ord <= 0x7F
|
|
253
|
+
|
|
254
|
+
code_point = char.ord
|
|
255
|
+
hex = "0x#{code_point.to_s(16)}"
|
|
256
|
+
utf8 = code_point.chr(Encoding::UTF_8).bytes.map do |b|
|
|
257
|
+
"0x#{b.to_s(16)}"
|
|
258
|
+
end.join(" ")
|
|
259
|
+
|
|
260
|
+
# Check if it's a math symbol
|
|
261
|
+
if asciimath = @unicode_to_asciimath[char]
|
|
262
|
+
return {
|
|
263
|
+
char: char,
|
|
264
|
+
hex: hex,
|
|
265
|
+
utf8: utf8,
|
|
266
|
+
is_math: true,
|
|
267
|
+
replacement: asciimath,
|
|
268
|
+
replacement_type: "asciimath",
|
|
269
|
+
}
|
|
270
|
+
end
|
|
271
|
+
|
|
272
|
+
# Not a math symbol, use ISO encoding
|
|
273
|
+
{
|
|
274
|
+
char: char,
|
|
275
|
+
hex: hex,
|
|
276
|
+
utf8: utf8,
|
|
277
|
+
is_math: false,
|
|
278
|
+
replacement: encode_express_format(char),
|
|
279
|
+
replacement_type: "iso-10303-11",
|
|
280
|
+
}
|
|
281
|
+
end
|
|
282
|
+
|
|
283
|
+
def encode_express_format(char)
|
|
284
|
+
code_point = char.ord
|
|
285
|
+
|
|
286
|
+
# Format the encoded value with double quotes
|
|
287
|
+
if code_point < 0x10000
|
|
288
|
+
"\"#{sprintf('%08X', code_point)}\"" # e.g., "00000041" for 'A'
|
|
289
|
+
else
|
|
290
|
+
# For higher code points, use all four octets
|
|
291
|
+
group = (code_point >> 24) & 0xFF
|
|
292
|
+
plane = (code_point >> 16) & 0xFF
|
|
293
|
+
row = (code_point >> 8) & 0xFF
|
|
294
|
+
cell = code_point & 0xFF
|
|
295
|
+
|
|
296
|
+
"\"#{sprintf('%02X%02X%02X%02X', group, plane, row, cell)}\""
|
|
297
|
+
end
|
|
298
|
+
end
|
|
299
|
+
end
|
|
300
|
+
end
|
|
301
|
+
end
|