edn-abnf 0.3.1 → 0.3.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 0e8b236b54352f4702a4d5995eaaab5d7578addef93777e1a722c668ac1c6202
-  data.tar.gz: 3168853cab882f8db393a9e5921a527d788f658f63fb3877c45315f9cc078ca7
+  metadata.gz: e17fb20ba9bb383a9172ef8bb3f04e2c473ec1d215972711ecac235dbf3da7d6
+  data.tar.gz: a9908d2846aef7899ec5ff96b4c0613a69019650239d89aa63c7cac1e8773ed7
 SHA512:
-  metadata.gz: 5ae982135b96e6fa336b23a77d106a0d759cc112e2770cef7532dfd69ac0dee29342f5192c60ffa5aef927d0bad16960f9e9b174535200ebcf9ab568f1a030f2
-  data.tar.gz: a16821958a1e34e3cdd6dd1040440f9e964ea39adbd2af0a0f965a6246d2a8964fbeae17dcd39ad59376a43f50e7542d3085648356f66ee010d44f3346b74245
+  metadata.gz: cd4641f2f4cdf9a48d79ab41f9891f29578d2c0c6d277c468e4ed92c6ed32756611375db720e30fb39e097ee3819d18902e71a330e666b97bd55d551219255b4
+  data.tar.gz: 62586e9cc378e802565f3c2e746bad989b7803c9a38a336b2c88db480dcf8df00125f254e30eafe67d3e80d1dbe920a4a9db24418e6aa0379fb9890214fc7fda

data/bin/edn-abnf

@@ -83,7 +83,11 @@ if $options.lines
       result_diag = result.cbor_diagnostic
       puts "x #{ok}, #{ednin.inspect} / #{out} ➔ #{result_diag.inspect} / #{result_hex}" if $options.verbose
       if result_hex != out
+        if  CBOR.decode(out.xeh).to_cbor == result.to_cbor
+          puts "** x variant / #{ednin.inspect} / #{out} ≠ #{result_diag.inspect} / #{result_hex}"
+        else
           puts "** x / #{ednin.inspect} / #{out} ≠ #{result_diag.inspect} / #{result_hex}"
+        end
       end
       next
     end
@@ -96,7 +100,7 @@ if $options.lines
           puts "** ≠ / #{diag.inspect} / #{out.inspect}"
       end
       if out != diag && ok
-        outdiag = tree_from_edn_possibly_hex(out).cbor_diagnostic
+        outdiag = tree_from_edn_possibly_hex(out || "").cbor_diagnostic
         if outdiag != diag
           puts "** ≡ / #{ednin.inspect} #{diag.inspect} / #{out.inspect} #{outdiag.inspect}"
         end

data/edn-abnf.gemspec

@@ -1,6 +1,6 @@
 Gem::Specification.new do |s|
   s.name = "edn-abnf"
-  s.version = "0.3.1"
+  s.version = "0.3.2"
   s.summary = "CBOR Extended Diagnostic Notation (EDN) implemented in ABNF"
   s.description = %q{edn-abnf implements converters and miscellaneous tools for CBOR EDN's ABNF}
   s.author = "Carsten Bormann"

data/lib/cbor-diag-support.rb

@@ -0,0 +1,134 @@
+module CBOR
+  Box = Struct.new(:value, :options) do
+    def to_s
+      value.to_s
+    end
+    def inspect
+      "#<CBOR::Box #{self.class} value=#{value.inspect}, options=#{options.inspect}>"
+    end
+    def self.from_number(n, options={})
+      case n
+      when Box
+        n.class.new(n.value, n.options.merge(options))
+      when ::Integer
+        Ibox.new(n, options.dup)
+      when ::Float
+        Fbox.new(n, options.dup)
+      else
+        raise ArgumentError, "cbor-diagnostic: can't box number from #{n.inspect}':\n"
+      end
+    end
+    def to_cbor
+      CBOR.encode(value)
+    end
+  end
+
+  class Ibox < Box
+    INTEGER_EI = {
+      "i" => [23, 0],
+      "0" => [0xFF, 1],
+      "1" => [0xFFFF, 2],
+      "2" => [0xFFFFFFFF, 4],
+      "3" => [0xFFFFFFFFFFFFFFFF, 8]
+    }
+    def make_head(ib, plusbytes, d)
+      case plusbytes
+      when 0
+        [ib + d].pack("C")
+      when 1
+        [ib + 24, d].pack("CC")
+      when 2
+        [ib + 25, d].pack("Cn")
+      when 4
+        [ib + 26, d].pack("CN")
+      when 8
+        [ib + 27, d].pack("CQ>")
+      else
+        raise ArgumentError, "cbor-diagnostic: #{plusbytes} plusbytes when encoding head\n"
+      end
+    end
+
+    def to_cbor
+      if ei = options[:ei]
+        maxval, plusbytes = INTEGER_EI[ei]
+        raise ArgumentError, "cbor-diagnostic: unknown encoding indicator _#{ei} for Integer\n" unless maxval
+        d = value
+        ib = if d < 0
+               d = -1-d
+               0x20
+             else
+               0x00
+             end
+        raise ArgumentError, "cbor-diagnostic: #{value} doesn't fit into encoding indicator _#{ei}':\n" unless d <= maxval
+
+        make_head(ib, plusbytes, d)
+
+        # s = bignum_to_bytes(d)
+        # head(0xc0, TAG_BIGNUM_BASE + (ib >> 5))
+        # head(0x40, s.bytesize)
+      else
+        CBOR.encode(value)
+      end
+    end
+  end
+  class Fbox < Box
+    FLOAT_EI = {
+      "1" => 2,
+      "2" => 4,
+      "3" => 8
+    }
+    def make_float(plusbytes, fv)
+      ret =
+        if fv.nan?
+          # | Format   | Sign bit | Exponent | Significand | Zero
+          # | binary16 |        1 |        5 |          10 | 42
+          # | binary32 |        1 |        8 |          23 | 29
+          # | binary64 |        1 |       11 |          52 | 0
+          ds = [fv].pack("G")
+          firstword = ds.unpack("n").first
+          raise "NaN exponent error #{firstword}" unless firstword & 0x7FF0 == 0x7FF0
+          iv = ds.unpack("Q>").first
+          ret = case plusbytes
+                when 2
+                  if iv & 0x3ffffffffff == 0 # 42 zero, 10 bits fit in half
+                    [0xf9, (firstword & 0xFC00) + ((iv >> 42) & 0x3ff)].pack("Cn")
+                  end
+                when 4
+                  if iv & 0x1fffffff == 0 # 29 zero, 23 bits fit in single
+                    [0xfa, (ds.getbyte(0) << 24) + ((iv >> 29) & 0xffffff)].pack("CN")
+                  end
+                when 8
+                  "\xfb".b << ds
+                end
+        else
+          if plusbytes == 8
+            [0xfb, fv].pack("CG") # double-precision
+          else
+            ss = [fv].pack("g")         # single-precision
+            if ss.unpack("g").first == fv
+              if plusbytes == 4
+                "\xfa".b << ss
+              else
+                if hs = Half.encode_from_single(fv, ss)
+                  "\xf9".b << hs
+                end
+              end
+            end
+          end
+        end
+      raise ArgumentError, "cbor-diagnostic: make_float #{plusbytes.inspect} #{fv.inspect}" unless ret
+      ret
+    end
+
+    def to_cbor
+      if ei = options[:ei]
+        plusbytes = FLOAT_EI[ei]
+        raise ArgumentError, "cbor-diagnostic: unknown encoding indicator _#{ei} for Float':\n" unless plusbytes
+        make_float(plusbytes, value)
+      else
+        CBOR.encode(value)
+      end
+    end
+  end
+
+end

data/lib/edn-abnf.rb

@@ -1,4 +1,5 @@
 require_relative "parser/edn-util.rb"
+require_relative "cbor-diag-support.rb"
 
 class EDN
   @@parser = EDNGRAMMARParser.new

data/lib/parser/edngrammar.rb

@@ -464,10 +464,13 @@ module EDNGRAMMAR
 
   module Number1
     def ast
+      val = elements[0].ast
+  
       if ei = spec.text_value[1..-1]
-         warn "*** ignoring unimplemented encoding indicator #{ei.inspect} for #{elements[0].text_value}"
+         # warn "*** implementing encoding indicator #{ei.inspect} for #{elements[0].text_value}"
+         val = CBOR::Box.from_number(val, {ei: ei})
       end
-      elements[0].ast
+      val
     end
   end
 

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: edn-abnf
 version: !ruby/object:Gem::Version
-  version: 0.3.1
+  version: 0.3.2
 platform: ruby
 authors:
 - Carsten Bormann
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2024-08-26 00:00:00.000000000 Z
+date: 2024-08-27 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -104,6 +104,7 @@ extra_rdoc_files: []
 files:
 - bin/edn-abnf
 - edn-abnf.gemspec
+- lib/cbor-diag-support.rb
 - lib/cbor-diagnostic-app/b64.rb
 - lib/cbor-diagnostic-app/b64grammar.rb
 - lib/cbor-diagnostic-app/dt.rb