expressir 2.4.31-arm-linux → 2.4.36-arm-linux

data/docs/_guides/reference/grammar-crosswalk.adoc

@@ -0,0 +1,299 @@
+= Grammar cross-walk
+
+// Generated by `rake reference:crosswalk` from
+// lib/expressir/express/grammar/parser.rb and the Annex A snapshot.
+// Do not edit by hand; the reference spec fails when this file is stale.
+
+== Purpose
+
+Every parsanol grammar rule is mapped to the ISO 10303-11:2004
+Annex A production it implements. Divergences from the standard
+grammar are classified with one of these statuses:
+
+* `aligned` — The grammar rule implements the same-named Annex production.
+* `decomposed` — The grammar rule is one piece of an Annex production that the PEG splits.
+* `token` — Literal operator/delimiter token; Annex A names keywords but not punctuation.
+* `lexical` — Character-class or whitespace handling inlined in the PEG (clause 7).
+* `internal` — PEG-internal rule with no Annex counterpart.
+* `support-code` — Handled by supporting Ruby code rather than a grammar rule.
+
+== Rules
+
+[cols="2,3,1,4", options="header"]
+|===
+| Parsanol rule | Annex A production | Status | Note
+
+| `abstractEntityDeclaration` | abstract_entity_declaration | aligned | 
+| `abstractSupertype` | abstract_supertype | aligned | 
+| `abstractSupertypeDeclaration` | abstract_supertype_declaration | aligned | 
+| `actualParameterList` | actual_parameter_list | aligned | 
+| `addLikeOp` | add_like_op | aligned | 
+| `aggregateInitializer` | aggregate_initializer | aligned | 
+| `aggregateSource` | aggregate_source | aligned | 
+| `aggregateType` | aggregate_type | aligned | 
+| `aggregationTypes` | aggregation_types | aligned | 
+| `algorithmHead` | algorithm_head | aligned | 
+| `aliasStmt` | alias_stmt | aligned | 
+| `anyKeyword` |  | internal | keyword guard that keeps identifiers from consuming reserved words
+| `arrayType` | array_type | aligned | 
+| `assignmentStmt` | assignment_stmt | aligned | 
+| `attributeDecl` | attribute_decl | aligned | 
+| `attributeId` | attribute_id | aligned | 
+| `attributeQualifier` | attribute_qualifier | aligned | 
+| `attributeRef` | attribute_ref | aligned | 
+| `bagType` | bag_type | aligned | 
+| `binaryLiteral` | binary_literal | aligned | 
+| `binaryType` | binary_type | aligned | 
+| `bit` | bit | aligned | 
+| `booleanType` | boolean_type | aligned | 
+| `bound1` | bound_1 | aligned | 
+| `bound2` | bound_2 | aligned | 
+| `boundSpec` | bound_spec | aligned | 
+| `builtInConstant` | built_in_constant | aligned | 
+| `builtInFunction` | built_in_function | aligned | 
+| `builtInProcedure` | built_in_procedure | aligned | 
+| `caseAction` | case_action | aligned | 
+| `caseLabel` | case_label | aligned | 
+| `caseStmt` | case_stmt | aligned | 
+| `compoundStmt` | compound_stmt | aligned | 
+| `concreteTypes` | concrete_types | aligned | 
+| `constantBody` | constant_body | aligned | 
+| `constantDecl` | constant_decl | aligned | 
+| `constantFactor` | constant_factor | aligned | 
+| `constantId` | constant_id | aligned | 
+| `constantRef` | constant_ref | aligned | 
+| `constructedTypes` | constructed_types | aligned | 
+| `declaration` | declaration | aligned | 
+| `delim` |  | lexical | the delimiter semicolon (7.3)
+| `deriveClause` | derive_clause | aligned | 
+| `derivedAttr` | derived_attr | aligned | 
+| `digit` | digit | aligned | 
+| `digits` | digits | aligned | 
+| `domainRule` | domain_rule | aligned | 
+| `element` | element | aligned | 
+| `embeddedRemark` | embedded_remark | aligned | 
+| `encodedCharacter` | encoded_character | aligned | 
+| `encodedStringLiteral` | encoded_string_literal | aligned | 
+| `entityBody` | entity_body | aligned | 
+| `entityConstructor` | entity_constructor | aligned | 
+| `entityDecl` | entity_decl | aligned | 
+| `entityHead` | entity_head | aligned | 
+| `entityId` | entity_id | aligned | 
+| `entityRef` | entity_ref | aligned | 
+| `enumerationExtension` | enumeration_extension | aligned | 
+| `enumerationId` | enumeration_id | aligned | 
+| `enumerationItem` | enumeration_items | decomposed | 
+| `enumerationItems` | enumeration_items | aligned | 
+| `enumerationRef` | enumeration_ref | aligned | 
+| `enumerationReference` | enumeration_reference | aligned | 
+| `enumerationType` | enumeration_type | aligned | 
+| `escapeStmt` | escape_stmt | aligned | 
+| `explicitAttr` | explicit_attr | aligned | 
+| `expression` | expression | aligned | 
+| `factor` | factor | aligned | 
+| `formalParameter` | formal_parameter | aligned | 
+| `functionCall` | function_call | aligned | 
+| `functionDecl` | function_decl | aligned | 
+| `functionHead` | function_head | aligned | 
+| `functionId` | function_id | aligned | 
+| `functionRef` | function_ref | aligned | 
+| `generalAggregationTypes` | general_aggregation_types | aligned | 
+| `generalArrayType` | general_array_type | aligned | 
+| `generalBagType` | general_bag_type | aligned | 
+| `generalListType` | general_list_type | aligned | 
+| `generalRef` | general_ref | aligned | 
+| `generalSetType` | general_set_type | aligned | 
+| `generalizedTypes` | generalized_types | aligned | 
+| `genericEntityType` | generic_entity_type | aligned | 
+| `genericType` | generic_type | aligned | 
+| `groupQualifier` | group_qualifier | aligned | 
+| `hexDigit` | hex_digit | aligned | 
+| `ifStmt` | if_stmt | aligned | 
+| `ifStmtElseStatements` | if_stmt | decomposed | 
+| `ifStmtStatements` | if_stmt | decomposed | 
+| `increment` | increment | aligned | 
+| `incrementControl` | increment_control | aligned | 
+| `index` | index | aligned | 
+| `index1` | index_1 | aligned | 
+| `index2` | index_2 | aligned | 
+| `indexQualifier` | index_qualifier | aligned | 
+| `instantiableType` | instantiable_type | aligned | 
+| `integerLiteral` | integer_literal | aligned | 
+| `integerType` | integer_type | aligned | 
+| `interfaceSpecification` | interface_specification | aligned | 
+| `interval` | interval | aligned | 
+| `intervalHigh` | interval_high | aligned | 
+| `intervalItem` | interval_item | aligned | 
+| `intervalLow` | interval_low | aligned | 
+| `intervalOp` | interval_op | aligned | 
+| `inverseAttr` | inverse_attr | aligned | 
+| `inverseAttrType` | inverse_attr | decomposed | 
+| `inverseClause` | inverse_clause | aligned | 
+| `letter` | letter | aligned | 
+| `listType` | list_type | aligned | 
+| `literal` | literal | aligned | 
+| `localDecl` | local_decl | aligned | 
+| `localVariable` | local_variable | aligned | 
+| `logicalExpression` | logical_expression | aligned | 
+| `logicalLiteral` | logical_literal | aligned | 
+| `logicalType` | logical_type | aligned | 
+| `multiplicationLikeOp` | multiplication_like_op | aligned | 
+| `namedTypeOrRename` | named_type_or_rename | aligned | 
+| `namedTypes` | named_types | aligned | 
+| `nullStmt` | null_stmt | aligned | 
+| `numberType` | number_type | aligned | 
+| `numericExpression` | numeric_expression | aligned | 
+| `octet` | octet | aligned | 
+| `oneOf` | one_of | aligned | 
+| `op_asterisk` |  | token | literal `*`
+| `op_colon` |  | token | literal `:`
+| `op_colon_equals_colon` |  | token | literal `:=:`
+| `op_colon_less_greater_colon` |  | token | literal `:<>:`
+| `op_comma` |  | token | literal `,`
+| `op_decl` |  | token | literal `:=`
+| `op_delim` |  | token | literal `;`
+| `op_double_asterisk` |  | token | literal `**`
+| `op_double_backslash` |  | token | literal `\`
+| `op_double_pipe` |  | token | literal `\|\|`
+| `op_equals` |  | token | literal `=`
+| `op_greater_equal` |  | token | literal `>=`
+| `op_greater_than` |  | token | literal `>`
+| `op_left_curly_brace` |  | token | literal `{`
+| `op_leftbracket` |  | token | literal `[`
+| `op_leftparen` |  | token | literal `(`
+| `op_less_equal` |  | token | literal `<=`
+| `op_less_greater` |  | token | literal `<>`
+| `op_less_than` |  | token | literal `<`
+| `op_minus` |  | token | literal `-`
+| `op_period` |  | token | literal `.`
+| `op_pipe` |  | token | literal `\|`
+| `op_plus` |  | token | literal `+`
+| `op_query_begin` |  | token | literal `<*`
+| `op_query_end` |  | token | literal `*>`
+| `op_question_mark` |  | token | literal `?`
+| `op_right_curly_brace` |  | token | literal `}`
+| `op_rightbracket` |  | token | literal `]`
+| `op_rightparen` |  | token | literal `)`
+| `op_slash` |  | token | literal `/`
+| `parameter` | parameter | aligned | 
+| `parameterId` | parameter_id | aligned | 
+| `parameterRef` | parameter_ref | aligned | 
+| `parameterType` | parameter_type | aligned | 
+| `population` | population | aligned | 
+| `precisionSpec` | precision_spec | aligned | 
+| `primary` | primary | aligned | 
+| `procedureCallStmt` | procedure_call_stmt | aligned | 
+| `procedureDecl` | procedure_decl | aligned | 
+| `procedureHead` | procedure_head | aligned | 
+| `procedureHeadParameter` | procedure_head | decomposed | 
+| `procedureId` | procedure_id | aligned | 
+| `procedureRef` | procedure_ref | aligned | 
+| `qualifiableFactor` | qualifiable_factor | aligned | 
+| `qualifiedAttribute` | qualified_attribute | aligned | 
+| `qualifier` | qualifier | aligned | 
+| `queryExpression` | query_expression | aligned | 
+| `realLiteral` | real_literal | aligned | 
+| `realType` | real_type | aligned | 
+| `redeclaredAttribute` | redeclared_attribute | aligned | 
+| `referenceClause` | reference_clause | aligned | 
+| `referencedAttribute` | referenced_attribute | aligned | 
+| `relOp` | rel_op | aligned | 
+| `relOpExtended` | rel_op_extended | aligned | 
+| `renameId` | rename_id | aligned | 
+| `repeatControl` | repeat_control | aligned | 
+| `repeatStmt` | repeat_stmt | aligned | 
+| `repetition` | repetition | aligned | 
+| `resourceOrRename` | resource_or_rename | aligned | 
+| `resourceRef` | resource_ref | aligned | 
+| `returnStmt` | return_stmt | aligned | 
+| `ruleDecl` | rule_decl | aligned | 
+| `ruleHead` | rule_head | aligned | 
+| `ruleId` | rule_id | aligned | 
+| `ruleLabelId` | rule_label_id | aligned | 
+| `ruleLabelRef` | rule_label_ref | aligned | 
+| `ruleRef` | rule_ref | aligned | 
+| `schemaBody` | schema_body | aligned | 
+| `schemaBodyDeclaration` | schema_body | decomposed | 
+| `schemaDecl` | schema_decl | aligned | 
+| `schemaId` | schema_id | aligned | 
+| `schemaRef` | schema_ref | aligned | 
+| `schemaVersionId` | schema_version_id | aligned | 
+| `selectExtension` | select_extension | aligned | 
+| `selectList` | select_list | aligned | 
+| `selectType` | select_type | aligned | 
+| `selector` | selector | aligned | 
+| `setType` | set_type | aligned | 
+| `sign` | sign | aligned | 
+| `simpleExpression` | simple_expression | aligned | 
+| `simpleFactor` | simple_factor | aligned | 
+| `simpleFactorExpression` | simple_factor | decomposed | 
+| `simpleFactorUnaryExpression` | simple_factor | decomposed | 
+| `simpleId` | simple_id | aligned | 
+| `simpleStringLiteral` | simple_string_literal | aligned | 
+| `simpleTypes` | simple_types | aligned | 
+| `skipStmt` | skip_stmt | aligned | 
+| `space` |  | lexical | whitespace between tokens (7.1)
+| `spaces` |  | lexical | whitespace between tokens (7.1)
+| `stmt` | stmt | aligned | 
+| `stringLiteral` | string_literal | aligned | 
+| `stringType` | string_type | aligned | 
+| `subsuper` | subsuper | aligned | 
+| `subtypeConstraint` | subtype_constraint | aligned | 
+| `subtypeConstraintBody` | subtype_constraint_body | aligned | 
+| `subtypeConstraintDecl` | subtype_constraint_decl | aligned | 
+| `subtypeConstraintHead` | subtype_constraint_head | aligned | 
+| `subtypeConstraintId` | subtype_constraint_id | aligned | 
+| `subtypeConstraintRef` | subtype_constraint_ref | aligned | 
+| `subtypeDeclaration` | subtype_declaration | aligned | 
+| `supertypeConstraint` | supertype_constraint | aligned | 
+| `supertypeExpression` | supertype_expression | aligned | 
+| `supertypeFactor` | supertype_factor | aligned | 
+| `supertypeRule` | supertype_rule | aligned | 
+| `supertypeTerm` | supertype_term | aligned | 
+| `syntax` | syntax | aligned | 
+| `tailRemark` | tail_remark | aligned | 
+| `term` | term | aligned | 
+| `totalOver` | total_over | aligned | 
+| `trivia` |  | lexical | whitespace and embedded remarks (7.1)
+| `typeDecl` | type_decl | aligned | 
+| `typeId` | type_id | aligned | 
+| `typeLabel` | type_label | aligned | 
+| `typeLabelId` | type_label_id | aligned | 
+| `typeLabelRef` | type_label_ref | aligned | 
+| `typeRef` | type_ref | aligned | 
+| `unaryOp` | unary_op | aligned | 
+| `underlyingType` | underlying_type | aligned | 
+| `uniqueClause` | unique_clause | aligned | 
+| `uniqueRule` | unique_rule | aligned | 
+| `untilControl` | until_control | aligned | 
+| `useClause` | use_clause | aligned | 
+| `variableId` | variable_id | aligned | 
+| `variableRef` | variable_ref | aligned | 
+| `whereClause` | where_clause | aligned | 
+| `whileControl` | while_control | aligned | 
+| `width` | width | aligned | 
+| `widthSpec` | width_spec | aligned | 
+|===
+
+== Annex A productions without a dedicated rule
+
+These productions are handled by supporting code rather than a
+grammar rule:
+
+[cols="3,1,5", options="header"]
+|===
+| Annex A production | Status | Handled by
+
+| `lparen_then_not_lparen_star` | lexical | embedded-remark lookahead in the PEG
+| `not_lparen_star` | lexical | embedded-remark lookahead in the PEG
+| `not_paren_star` | lexical | embedded-remark lookahead in the PEG
+| `not_paren_star_quote_special` | lexical | embedded-remark lookahead in the PEG
+| `not_paren_star_special` | lexical | embedded-remark lookahead in the PEG
+| `not_quote` | lexical | string-literal lookahead in the PEG
+| `not_rparen_star` | lexical | embedded-remark lookahead in the PEG
+| `not_rparen_star_then_rparen` | lexical | embedded-remark lookahead in the PEG
+| `remark` | support-code | remark scanning is performed by RemarkScanner/RemarkAttacher
+| `remark_ref` | support-code | remark scanning is performed by RemarkScanner/RemarkAttacher
+| `remark_tag` | support-code | remark scanning is performed by RemarkScanner/RemarkAttacher
+| `special` | lexical | character-class regex in the PEG (7.1)
+|===

data/docs/_guides/reference/index.adoc

@@ -0,0 +1,22 @@
+---
+title: Reference
+nav_order: 13
+has_children: true
+---
+
+= Reference
+
+== Purpose
+
+Citable, generated reference material. The grammar cross-walk and the
+checker note-id catalog are generated from the implementation and kept
+in sync by specs; the subsystem guides describe the architecture and
+the standard clauses each subsystem enforces.
+
+== Generating
+
+[source,shell]
+----
+bundle exec rake reference:crosswalk
+bundle exec rake reference:notes
+----

data/docs/_guides/reference/lsp.adoc

@@ -0,0 +1,41 @@
+---
+title: Language Server
+parent: Reference
+grand_parent: Guides
+nav_order: 7
+---
+
+= Language Server
+
+== Purpose
+
+`expressir-lsp` is a stdio language server (JSON-RPC 2.0, LSP 3.17)
+exposing the parser, checker and resolution machinery to editors.
+
+== Launch
+
+[source,shell]
+----
+bundle exec expressir-lsp
+----
+
+== Capabilities
+
+* full-sync documents (`didOpen`, `didChange`, `didSave`, `didClose`);
+* diagnostics from Checker notes, mapped through `NodePositionIndex`
+  and `LineMap` to UTF-16 ranges, plus parse-error diagnostics;
+* document symbols for schemas, entities, types, functions, procedures,
+  rules and attributes;
+* go-to-definition through the USE/REFERENCE ladder and its alias map;
+* references across all open documents;
+* hover with a PrettyFormatter excerpt;
+* rename across schemas, with edits applied in memory, every affected
+  document reparsed, SchemaCompare rejecting unrelated removals, and
+  the renamed schema re-emitted through the Formatter.
+
+== Incremental behaviour
+
+Changes reparse the document through the native/core parser path;
+identical text is a no-op and checker results are memoized per document
+set. Content-incremental parsing awaits an incremental API in the
+expressir-rs core.

data/docs/_guides/reference/p21.adoc

@@ -0,0 +1,30 @@
+---
+title: Part 21
+parent: Reference
+grand_parent: Guides
+nav_order: 4
+---
+
+= Part 21
+
+== Purpose
+
+`Expressir::P21` reads ISO 10303-21 exchange structures: header
+entities, simple and complex instances, nested lists, references,
+typed parameters, enumerations and binaries.
+
+== Validation
+
+`Expressir::P21::Validator.validate(population, schema, short_names:)`
+maps Part 21 records to EXPRESS attributes in clause 12 order —
+supertype attributes first, derived slots valued `*`, inverse
+attributes unmapped — and reports arity, unknown-entity,
+unknown-reference, enum-value and derived-slot notes. Short names from
+clause 12.3 are passed as a `{"CPT" => "cartesian_point"}` map.
+
+== Conformance corpus
+
+The annex examples from the ISO 10303-21 detachment live under
+`spec/fixtures/p21/conformance/`; the gate spec parses each positive
+fixture with zero notes and asserts the intended loud failure for
+ladder-excluded forms.

data/docs/_guides/reference/shtolo.adoc

@@ -0,0 +1,36 @@
+---
+title: SHTOLO and Annex G
+parent: Reference
+grand_parent: Guides
+nav_order: 5
+---
+
+= SHTOLO and Annex G
+
+== Purpose
+
+`Expressir::Express::Shtolo` converts a multi-schema shortform EXPRESS
+model into an ISO 10303-11:1994 longform. It implements the two stages
+of Annex G: multi-schema to an intermediate single artifact schema
+(stage 1), then artifact to 1994-only constructs (stage 2).
+
+== Rule coverage
+
+Every Annex G rule has a live worked example in
+`spec/expressir/express/shtolo_annex_g_rule_audit_spec.rb`. The
+extracted rule list, the fixture that exercises each rule and the
+eengine coverage verdict are in
+`spec/fixtures/shtolo/annex-g-rules.md`.
+
+Key rules: name munging (G.NM.1), USE wins over REFERENCE (G.1.2),
+original-name copying for aliases (G.1.3), dependently-instantiable
+rules (G.1.6), implicit interface closure (G.1.7), pruning (G.1.9),
+extensible enumeration/select folding (G.2.3/G.2.4) and subtype
+constraint removal (G.2.5). Where eeng and the annex disagree, the
+annex wins; eeng output is a comparison input, not the contract.
+
+== Structural safety
+
+`Expressir::Express::SchemaCompare`/`SchemaPatch` provide the
+declaration-level diff used to verify that a generated longform has
+exactly the expected structural deltas.

data/exe/expressir-lsp

@@ -0,0 +1,6 @@
+#!/usr/bin/env ruby
+# encoding: UTF-8
+
+require_relative "../lib/expressir"
+
+exit Expressir::Lsp::Server.new.run

data/expressir.gemspec

@@ -15,7 +15,7 @@ Gem::Specification.new do |spec|
   spec.license = "BSD-2-Clause"
 
   spec.bindir = "exe"
-  spec.executables   = %w[expressir]
+  spec.executables   = %w[expressir expressir-lsp]
   spec.require_paths = ["lib"]
 
   spec.metadata["homepage_uri"] = spec.homepage
@@ -47,7 +47,7 @@ Gem::Specification.new do |spec|
   spec.add_dependency "benchmark-ips"
   spec.add_dependency "csv"
   spec.add_dependency "liquid", "~> 5"
-  spec.add_dependency "lutaml-model", "~> 0.8.76"
+  spec.add_dependency "lutaml-model", "~> 0.8.114"
   spec.add_dependency "moxml"
   spec.add_dependency "nokogiri", "~> 1.19"
   spec.add_dependency "paint"

data/lib/expressir/cli.rb

@@ -111,6 +111,31 @@ module Expressir
       Expressir::Commands::Xsd.new(options).run(path)
     end
 
+    desc "export-json-schema PATH",
+         "Write a JSON Schema rendering of the first EXPRESS schema at PATH"
+    method_option :output, type: :string, aliases: "-o",
+                           desc: "Output file path (defaults to stdout)"
+    def export_json_schema(path)
+      Expressir::Commands::ExportJsonSchema.new(options).run(path)
+    end
+
+    desc "export-owl PATH",
+         "Write an OWL/Turtle rendering of the first EXPRESS schema at PATH"
+    method_option :output, type: :string, aliases: "-o",
+                           desc: "Output file path (defaults to stdout)"
+    method_option :base_iri, type: :string,
+                             desc: "Ontology IRI base (default: expressir.org/owl/<schema>#)"
+    def export_owl(path)
+      Expressir::Commands::ExportOwl.new(options).run(path)
+    end
+
+    desc "xml-index DIR", "Write the SMRL index XML for every EXPRESS schema under DIR"
+    method_option :output, type: :string, aliases: "-o",
+                           desc: "Output file path (defaults to stdout)"
+    def xml_index(path)
+      Expressir::Commands::SmrlXmlIndex.new(options).run(path)
+    end
+
     desc "validate SUBCOMMAND", "EXPRESS schema validation commands"
     subcommand "validate", Expressir::Commands::Validate
 

data/lib/expressir/commands/check.rb

@@ -25,7 +25,9 @@ module Expressir
           raise Thor::Error, "#{failed} file(s) failed to parse"
         end
 
-        result = Expressir::Express::Checker.new(repository).check
+        result = Expressir::Express::Checker.new(
+          repository, dialect: options[:dialect]
+        ).check
 
         if options[:json]
           say JSON.generate(

data/lib/expressir/commands/export_json_schema.rb

@@ -0,0 +1,29 @@
+# frozen_string_literal: true
+
+module Expressir
+  module Commands
+    # `expressir export-json-schema`: write the JSON Schema rendering of
+    # the first schema in PATH.
+    class ExportJsonSchema < Base
+      def run(path)
+        repository = Expressir::Express::Parser.from_file(path)
+        schema = repository.schemas.first
+        raise Thor::Error, "no schema in #{path}" unless schema
+
+        document = Expressir::Interop::JsonSchema.new(schema).to_json
+        write(document)
+      end
+
+      private
+
+      def write(document)
+        if options[:output]
+          File.write(options[:output], document)
+          say "written to #{options[:output]}"
+        else
+          $stdout.write(document)
+        end
+      end
+    end
+  end
+end

data/lib/expressir/commands/export_owl.rb

@@ -0,0 +1,26 @@
+# frozen_string_literal: true
+
+module Expressir
+  module Commands
+    # `expressir export-owl`: write the OWL/Turtle rendering of the
+    # first schema in PATH.
+    class ExportOwl < Base
+      def run(path)
+        repository = Expressir::Express::Parser.from_file(path)
+        schema = repository.schemas.first
+        raise Thor::Error, "no schema in #{path}" unless schema
+
+        document = Expressir::Interop::Owl.new(
+          schema,
+          base_iri: options[:base_iri],
+        ).export
+        if options[:output]
+          File.write(options[:output], document)
+          say "written to #{options[:output]}"
+        else
+          $stdout.write(document)
+        end
+      end
+    end
+  end
+end

data/lib/expressir/commands/smrl_xml_index.rb

@@ -0,0 +1,25 @@
+# frozen_string_literal: true
+
+require "thor"
+
+module Expressir
+  module Commands
+    # `expressir xml-index` (#276): write the SMRL index XML for a
+    # repository — one <schema> element per schema, the data layer of
+    # the STEP Module Resource Library document set.
+    class SmrlXmlIndex < Base
+      def run(path)
+        repo = Expressir::Express::Parser.from_files(Dir.glob(File.join(path, "**", "*.exp")), skip_references: true)
+        raise Thor::Error, "no schemas under #{path}" if repo.schemas.empty?
+
+        xml = Expressir::Express::SmrlXml.format(repo)
+        if options[:output]
+          File.write(options[:output], xml)
+          say "written to #{options[:output]}"
+        else
+          $stdout.write(xml)
+        end
+      end
+    end
+  end
+end

data/lib/expressir/commands/validate.rb

@@ -98,6 +98,9 @@ module Expressir
       method_option :stepmod, type: :string,
                               desc: "STEPmod checkout root — explicit opt-in to directory-" \
                                     "convention resolution as the fallback"
+      method_option :dialect, type: :string,
+                              desc: "ISO 10303-11 edition for dialect diagnostics: " \
+                                    "'1994' or '2004' (default: no edition notes)"
       def check(*paths)
         Check.new(options).run(*paths)
       end

data/lib/expressir/commands.rb

@@ -26,5 +26,8 @@ module Expressir
     autoload :Manifest, "#{__dir__}/commands/manifest"
     autoload :MappingValidate, "#{__dir__}/commands/mapping_validate"
     autoload :Xsd, "#{__dir__}/commands/xsd"
+    autoload :ExportJsonSchema, "#{__dir__}/commands/export_json_schema"
+    autoload :ExportOwl, "#{__dir__}/commands/export_owl"
+    autoload :SmrlXmlIndex, "#{__dir__}/commands/smrl_xml_index"
   end
 end