expressir 2.4.36-arm-linux → 2.4.37-arm-linux

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: c72783e8f6c513d4cfa15112815f3891bb6ed64ab91ba221bba567c8b030a48e
-  data.tar.gz: 5caf683d6e94958d32e77eecca618f264ba47d41108aafec2fbee50face6ec02
+  metadata.gz: 338318df9cdcf3b183a219e8a46e52dbbe16af84ad476f9897eb4934b56079a8
+  data.tar.gz: 8e4209a9594213d74dcac93943d120e29254548d3b3e9c4d448af2bc9d7ea203
 SHA512:
-  metadata.gz: 0676e389c413bb6ff53548d41c065f8da2dab6661fc5540b71a4819e8f983194365af904b8a6383c0af3ea31f07d233c5c6efadea24458674e97bc37f8d300f4
-  data.tar.gz: a038d633a4fc00ee2164e1f1e3453f5ef6477537ee1e40c3a9b1f67190d728e8a76a92f6a3081a75f8fc61f6a12e14c339b5dac8a7983b498f0291634c6a4124
+  metadata.gz: a3a92a528498b5f2e44f6d36fb791c265e4d322ad5c99c59a9203bf6cad43d73070b795d196c4cd48cbf19dfd2b155e94238294117c08242c5fa5f9fc3875810
+  data.tar.gz: a692014272ade39551293efde4b6af3bde833406243c27531e70f13e933c43ec566141439560f9ecff3a3c3a9589d84e79f95ad8aee8511b88582f5ce2e63a11

data/lib/expressir/mapping/refpath.rb

@@ -24,10 +24,16 @@ module Expressir
     #                                          is referenced)
     #   index      := "[" ("i" | DIGITS) "]"
     #   constraint := ["!"] "{" NAME [NAME "."] "=" STRING "}"
+    #   supertype  := "||" NAME "||"          (§5 supertype entity marker)
+    #   tree       := "*" NAME "*"            (§5 relationship tree marker)
     #   MARKER     := "{" | "}" | "[" | "]" | "(" | ")" | ":" | "|" | "!"
     #               | "," | "/" | "*" | "<" | ">" (grouping/annotation;
     #                                               never breaks a
-    #                                               pending link)
+    #                                               pending link; the §5
+    #                                               required-path marker
+    #                                               "<path>" is transparent
+    #                                               — its contents validate
+    #                                               in the running context)
     #
     # Validation (ELF 5006 §8): a running path context tracks the
     # entity a path is "at"; each step must connect to it, attribute
@@ -104,7 +110,7 @@ module Expressir
       EXPRESS_LINK_PATH = /\A<<express:([^,>]+)(?:,[^>]+)?>>\z/
       private_constant :EXPRESS_LINK_PATH
 
-      TOKEN = /<<express:[^,>]+(?:,[^>]+)?>>|->|<-|<=|=>|\*>|<\*|!?\{|[{}\[\]()=:|!,*\/<>]|'(?:''|[^'])*'|\w+(?:\.\w+)?/
+      TOKEN = /<<express:[^,>]+(?:,[^>]+)?>>|->|<-|<=|=>|\*>|<\*|\|\||!?\{|[{}\[\]()=:|!,*\/<>]|'(?:''|[^'])*'|\w+(?:\.\w+)?/
       MARKERS = ["{", "}", "[", "]", "(", ")", ":", "|", "!", ",", "/",
                  "*", "<", ">", "MAPPING_OF", "!{"].freeze
       LINKS = ["->", "<-", "<=", "=>", "*>", "<*"].freeze
@@ -140,13 +146,19 @@ module Expressir
         errors = []
         pending_link = nil
         pending_type_assign = false
-        false
         i = 0
         while i < tokens.length
           token = tokens[i]
           case token
+          when "||"
+            name_token = tokens[i + 1]
+            if name_token&.match?(/\A\w+\z/) && tokens[i + 2] == "||"
+              steps << Step.new(operator: "||", name: name_token)
+              i += 2
+            else
+              errors << "supertype marker '||' without an entity name"
+            end
           when "!{"
-            true
             step, consumed = parse_constraint(tokens[i..], negated: true)
             steps << step
             i += consumed
@@ -182,6 +194,14 @@ module Expressir
             else
               steps << Step.new(operator: "[")
             end
+          when "*"
+            name_token = tokens[i + 1]
+            if name_token&.match?(/\A\w+\z/) && tokens[i + 2] == "*"
+              steps << Step.new(operator: "*", name: name_token)
+              i += 2
+            else
+              steps << Step.new(operator: token)
+            end
           when *MARKERS
             steps << Step.new(operator: token)
           when /\A<<express:/
@@ -302,6 +322,14 @@ module Expressir
           when "*>", "<*"
             issues.concat(select_extension_issues(step, pos, ctx, by_name))
             ctx = step.name&.safe_downcase
+          when "||"
+            issues.concat(supertype_marker_issues(step, pos, ctx, by_name))
+            if step.name
+              seen[step.name.safe_downcase] = true
+              ctx = step.name.safe_downcase
+            end
+          when "*"
+            issues.concat(tree_marker_issues(step, pos, by_name))
           else
             issues.concat(check_step(step, pos, ctx, last_qualified, by_name))
             if step.name
@@ -495,6 +523,39 @@ module Expressir
         end
       end
 
+      # ELF 5006 §5 supertype entity marker: `||supertype||` names an
+      # entity that must exist and, when the path has a running
+      # context, be a supertype of (or equal to) that context entity.
+      def supertype_marker_issues(step, pos, ctx, by_name)
+        issues = []
+        entity = step.name
+        check_exists(issues, pos, entity, by_name)
+        return issues if entity.nil?
+
+        decl = by_name[entity.safe_downcase]&.last
+        return issues unless decl.is_a?(Model::Declarations::Entity)
+
+        context_decl = ctx && by_name[ctx]&.last
+        if context_decl.is_a?(Model::Declarations::Entity) &&
+            !entity_reaches?(context_decl, entity.safe_downcase, by_name,
+                             {}.compare_by_identity)
+          issues << Issue.new(step: pos,
+                              message: "'#{entity}' is not a supertype of " \
+                                       "'#{ctx}'")
+        end
+        issues
+      end
+
+      # ELF 5006 §5 relationship tree marker: `*relationship*` names an
+      # entity whose instances may assemble into a tree; the path
+      # between it and the related entities is implied, so only the
+      # entity's existence is checkable.
+      def tree_marker_issues(step, pos, by_name)
+        issues = []
+        check_exists(issues, pos, step.name, by_name)
+        issues
+      end
+
       # ELF 5006 §8 navigation validation with a running context: the
       # attribute must exist on the context entity, and its type must
       # be able to reference the step's target entity.

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.36".freeze
+    VERSION = "2.4.37".freeze
   end
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: expressir
 version: !ruby/object:Gem::Version
-  version: 2.4.36
+  version: 2.4.37
 platform: arm-linux
 authors:
 - Ribose Inc.