mbt-gen 0.0.5 → 0.0.7

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: a54d348906008ce6b4363e78fb932f411e716748d14c615bb1bba2e14aa1bc0e
-  data.tar.gz: 1c6779aef3da52e98c909cc769c342ff4bdb59cdd674db4f0080093578fde366
+  metadata.gz: 60f33b703c44710c8f3fd4ac743eda550f72af721e6480beb9c62d4e7d1258c7
+  data.tar.gz: 53f6012841f8572350c02cffa8fb841ae7de411985c15c21f7c7e02465e191f5
 SHA512:
-  metadata.gz: c64276ea379dcac7af7200ac65e6ebfc60dc21a35cf53595dcacf9d5a0bb5bb7690fe711761720c4779cca8c14fd36b6124835e9a704689a156aed2b6b534203
-  data.tar.gz: 77d97a37495b5acd8b95d1479ca3243398fa94c04b6d071d1bd7744fc0798839de49727b1078f4c32fe7eeaf518289741d8c04e4b1ef79440984877d3cbbf3cd
+  metadata.gz: 9143a6315fa8e359420862a2e0d8d6dbaf08efb2ae9f749d3f51a178f55ffc619602d098dba6e518cfb606a92fb5f730d2fb627216320817d37aa38a2dc706fd
+  data.tar.gz: 292e6fa9e9dc391c906b6d3ee305edc8c7c8a74b39e345380813014177c4d7c68753dfe46eb37ce64ff6ec8aa24f8da261ab97f797d44430fe72aa0ba363934d

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
@@ -590,6 +596,15 @@ def translate_validation_rule_to_SMTLIB(rule, context_struct, prefix, config, op
                     field = resolve_field_path($1, context_struct, prefix)
                     filled_var_for_field(field)
                   end
+                  .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(/VALUE\[[^\]]*\]/) do |m|
                     unless m =~ /VALUE\[([^\]]*)\]/ then
                       raise RuntimeError.new("could not parse VALUE[...]: #{m.inspect} in validation rule #{rule_name}")
@@ -624,7 +639,7 @@ 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_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
@@ -1708,7 +1723,13 @@ def validate_model(message, prefix=nil)
         end
       elsif value[:type] == :list then
         unless value[:datatype] then
-          raise RuntimeError.new("Model Problem: encountered list without a :datatype (key=#{key.inspect}, value=#{value.inspect})")
+          raise RuntimeError.new("Model Problem: encountered list without :datatype property (key=#{key.inspect}, value=#{value.inspect})")
+        end
+        unless value[:model_maxLength] then
+          raise RuntimeError.new("Model Problem: encountered list without :model_maxLength property (key=#{key.inspect}, value=#{value.inspect})")
+        end
+        unless value[:xpath_element] then
+          raise RuntimeError.new("Model Problem: encountered list without :xpath_element property (key=#{key.inspect}, value=#{value.inspect})")
         end
         if value[:datatype] == :enum then
           unless value[:values] then

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: mbt-gen
 version: !ruby/object:Gem::Version
-  version: 0.0.5
+  version: 0.0.7
 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