mbt-gen 0.0.5 → 0.0.6

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: a54d348906008ce6b4363e78fb932f411e716748d14c615bb1bba2e14aa1bc0e
-  data.tar.gz: 1c6779aef3da52e98c909cc769c342ff4bdb59cdd674db4f0080093578fde366
+  metadata.gz: d73853b99bf4d38c5c621765537531713eca02dcf357d2b2c004514c66fa78f7
+  data.tar.gz: 99b8a8490a1a33662b5a044cb466fdb95875dfe2e1ba8f031065d6a58dc170c7
 SHA512:
-  metadata.gz: c64276ea379dcac7af7200ac65e6ebfc60dc21a35cf53595dcacf9d5a0bb5bb7690fe711761720c4779cca8c14fd36b6124835e9a704689a156aed2b6b534203
-  data.tar.gz: 77d97a37495b5acd8b95d1479ca3243398fa94c04b6d071d1bd7744fc0798839de49727b1078f4c32fe7eeaf518289741d8c04e4b1ef79440984877d3cbbf3cd
+  metadata.gz: 11787320c7d53d3f0d14686f0d1224daee62522e6298175a02c3c1ad11f30f8ed564526fa773599125b2ea9c5cffd647298ac50449495661ef5d5f3d078ba5ce
+  data.tar.gz: 45aef9d1c6c316aa145c1cc50a88319ae50390d676df64bb5abf7b86a5baf0612f19b27c347e44efeba1bf5c1f15c3f76e1e5fae0779f84df4145b13561ee92b

data/lib/mbt-gen.rb

@@ -455,6 +455,12 @@ def resolve_field_path(path, relative_to_struct, prefix)
       if prefix
         result = "#{prefix}/#{result}"
       end
+    elsif field_def[:type] == :objlist then
+      current = nil
+      result = segment
+      if prefix
+        result = "#{prefix}/#{result}"
+      end
     end
   end
   return result
@@ -624,7 +630,16 @@ def translate_validation_rule_to_SMTLIB(rule, context_struct, prefix, config, op
                     end
                     "(or #{terms.join(" ")})"
                   end
-                  .gsub(/LIST_VALUE_FIRST_ELEMENT\[[^\]]*\]/) do |m|
+                  .gsub(/LIST_VALUE\[[^\]]*,[^\]]*\]/) do |m|
+                    unless m =~ /LIST_VALUE\[([^\]]*),([^\]]*)\]/ then
+                      raise RuntimeError.new("could not parse LIST_VALUE_FIRST_ELEMENT[...]: #{m.inspect} in validation rule #{rule_name}")
+                    end
+                    xpath = $1
+                    index = Integer($2)
+                    l = resolve_field_path(xpath, context_struct, prefix)
+                    value_var_for_list(l, index)
+                  end
+                  .gsub(/LIST_VALUE_FIRST_ELEMENT\[[^\]]*\]/) do |m|  # DEPRECATED! Please use LIST_VALUE[...] instead.
                     unless m =~ /LIST_VALUE_FIRST_ELEMENT\[([^\]]*)\]/ then
                       raise RuntimeError.new("could not parse LIST_VALUE_FIRST_ELEMENT[...]: #{m.inspect} in validation rule #{rule_name}")
                     end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: mbt-gen
 version: !ruby/object:Gem::Version
-  version: 0.0.5
+  version: 0.0.6
 platform: ruby
 authors:
 - FM-enthusiast
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2026-07-28 00:00:00.000000000 Z
+date: 2026-07-31 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: nokogiri