expressir 2.4.14 → 2.4.15

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: ad3043a3dd1ac401e841249e3e081a7b3b6b3c3da99f6a9dbc136a127619ba49
-  data.tar.gz: '085e25b6e9b97d53fc5207aa651b37b080557626c6971b60029b98749ff4db82'
+  metadata.gz: 714b13d808744a329002460e108fdb35f4a8fcf0d3095517cd241d411bce215e
+  data.tar.gz: 8cf66567212cc463ab351cd6e0cbb70ee63ec11ae2c0b31036cd3d0aff264384
 SHA512:
-  metadata.gz: e92cca737def4e8432f30b98162262f83df7d81c719c7a1dd916173f65ff788c1145843e46131bfe7da5ef97e76c00a155215f7c4893befe7748601711438d93
-  data.tar.gz: 88d3f1008222838323a843a1b9a7117bf1b09465fa453de4bfd21868137b16439a680165e527555099ae67884cb8a77c8a2068e92b113f34408444c314482583
+  metadata.gz: 1c13e1c4cdb0a551e86e2d557c6df01fc2a1b36e1ff536cd4afc6a2255c922d0bcb8252debdc600479514963b38b8482d41de118fb55933472ed173cca77e2aa
+  data.tar.gz: 3f4107ac13feea2a5fdc9d5659312e44af1c7288d957132a119fb1799df396f709ed5c9d82c970669ceda5e64238506abe412a4850c310b4e173f347c67cc31d

data/lib/expressir/commands/parity_inputs.rb

@@ -1,4 +1,5 @@
 require "find"
+require "thor"
 
 module Expressir
   module Commands
@@ -42,8 +43,9 @@ module Expressir
           end
         end
         unless missing.empty?
-          warn "expressir: schema(s) not found: #{missing.uniq.join(', ')}" \
-               "#{resolver_hint(manifest, stepmod)}"
+          raise Thor::Error,
+                "expressir: schema(s) not found: #{missing.uniq.join(', ')}" \
+                "#{resolver_hint(manifest, stepmod)}"
         end
         seen.values.compact.uniq
       end
@@ -90,14 +92,37 @@ module Expressir
         return manifest_index(manifest) if manifest
         return stepmod_index(stepmod) if stepmod
 
-        same_dir_index(root_path)
+        # Default: the file's own directory plus, when the root sits
+        # inside a STEPmod checkout, its enclosing `schemas/` tree —
+        # the layout wg12-step modules live in.
+        index = same_dir_index(root_path)
+        ancestor = ancestor_schemas_dir(root_path)
+        index.update(stepmod_index(File.dirname(ancestor))) if ancestor
+        index
+      end
+
+      # Nearest ancestor directory NAMED `schemas`, or nil.
+      def ancestor_schemas_dir(root_path)
+        dir = File.dirname(File.expand_path(root_path))
+        until dir == "/"
+          return dir if File.basename(dir) == "schemas"
+
+          dir = File.dirname(dir)
+        end
+        nil
       end
 
       def same_dir_index(root_path)
         dir = File.dirname(File.expand_path(root_path))
-        Dir.glob(File.join(dir, "*.exp")).to_h do |p|
-          [File.basename(p, ".exp").downcase, p]
+        h = {}
+        Dir.glob(File.join(dir, "*.exp")).each do |path|
+          # index by DECLARED schema name first (a file named arm.exp
+          # may declare schema m_arm), basename as fallback
+          declared = File.read(path)[/\bSCHEMA\s+(\w+)/i, 1]
+          h[declared.downcase] = path if declared
+          h[File.basename(path, ".exp").downcase] ||= path
         end
+        h
       end
 
       # Interface names declared by +source+. Remark text is stripped

data/lib/expressir/express/checker.rb

@@ -290,7 +290,7 @@ module Expressir
         end
       end
 
-      def each_reference(node, &)
+      def each_reference(node, &block)
         case node
         when Model::References::SimpleReference then yield node
         when Model::ModelElement
@@ -299,8 +299,8 @@ module Expressir
 
             value = node.public_send(attr)
             case value
-            when Array then value.each { |item| each_reference(item, &) }
-            when Model::ModelElement then each_reference(value, &)
+            when Array then value.each { |item| each_reference(item, &block) }
+            when Model::ModelElement then each_reference(value, &block)
             end
           end
         end
@@ -407,7 +407,7 @@ module Expressir
         end
       end
 
-      def each_string(node, &)
+      def each_string(node, &block)
         case node
         when Model::Literals::String then yield node, node.value
         when Model::ModelElement
@@ -416,8 +416,8 @@ module Expressir
 
             value = node.public_send(attr)
             case value
-            when Array then value.each { |item| each_string(item, &) }
-            when Model::ModelElement then each_string(value, &)
+            when Array then value.each { |item| each_string(item, &block) }
+            when Model::ModelElement then each_string(value, &block)
             end
           end
         end

data/lib/expressir/express/shtolo.rb

@@ -351,13 +351,17 @@ module Expressir
         end
       end
 
-      # Every identifier a call site names, across the artifact's
-      # surviving declarations: FunctionCall for functions and
-      # ProcedureCall statements for procedures. (A zero-argument
-      # function reference written bare is not represented as a
-      # FunctionCall by the parser and is counted via any SimpleReference
-      # miss — accepted v1 blind spot, see tranche notes.)
+      # Every identifier a call site or reference names, across the
+      # artifact's surviving declarations: FunctionCall for functions,
+      # ProcedureCall statements for procedures, and ANY SimpleReference
+      # naming a schema function/procedure — a zero-argument function
+      # used bare (`v < limit_value`) parses as a plain reference, not
+      # a FunctionCall, and dropping it would leave the longform with a
+      # dangling call. Over-retaining is safe: prune only decides what
+      # may be dropped.
       def called_ids(schema)
+        invocable = (schema.functions.to_a + schema.procedures.to_a)
+          .map { |d| d.id.safe_downcase }
         called = {}
         each_node(schema) do |node|
           id = nil
@@ -366,8 +370,10 @@ module Expressir
             id = node.function.is_a?(String) ? node.function : node.function&.id
           when Expressir::Model::Statements::ProcedureCall
             id = node.procedure.is_a?(String) ? node.procedure : node.procedure&.id
+          when Model::References::SimpleReference
+            id = node.id
           end
-          called[id.safe_downcase] = true if id
+          called[id.safe_downcase] = true if id && invocable.include?(id.safe_downcase)
         end
         called
       end

data/lib/expressir/version.rb

@@ -3,6 +3,6 @@ module Expressir
   # autoload it (Ruby autoload only works for module/class constants, not
   # for string constants like `Expressir::VERSION`).
   module Version
-    VERSION = "2.4.14".freeze
+    VERSION = "2.4.15".freeze
   end
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: expressir
 version: !ruby/object:Gem::Version
-  version: 2.4.14
+  version: 2.4.15
 platform: ruby
 authors:
 - Ribose Inc.