cddlc 0.1.3 → 0.1.4

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: c0fb30da3097b44521e7c3fe12d6e061f7d4f64d9faa3c1239c22a8e76b629e5
-  data.tar.gz: 7cc5c141bd3833d11efb95ab25dd7649666ee6398efb3c01d95dc7cd8a220802
+  metadata.gz: 000da759c9346bf077d53d94e0d303e6a60e2384ca81fe8a2e746a0f3a058ebc
+  data.tar.gz: 93a2e95d3ab753726aa62f97e036e554bf2ca4c008eb7189dca1c87e63b53dd3
 SHA512:
-  metadata.gz: d119b506cf51407c66e882df9bcc59e2019926c3843d8ad5acb0a5dede020f6ecb099284eded1a6cae912db42347edafabb3be79a789d4afd2153015258abe6c
-  data.tar.gz: b30fb2251c6daaba6fe3c20a85800b64af61a1908a4ab80596891bf88687f7ec2e441649d9f05d4268e24c9a77c0818cd188a8deada0642ba20fc75961445abd
+  metadata.gz: 2e501521ac303e9a8aba48198037a3f941f2ff3b6e4c875ea42bc64e8052c4a78516c0d7cb2c5a1a7efc1827295f5c446e349c51782ac6f52e9c009d341a8bd0
+  data.tar.gz: f9ae3b76b1bbd807816b959e02d8ddaf7d79be417dfe3c3d56eb0fca3496eafd2d50f2b4496a8bd8abffb3fb539e3fb3702c140679cd25329d0a9cfe4c9af55d

data/bin/cddlc

@@ -64,6 +64,17 @@ begin
     opts.on("-tFMT", "--to=FMT", [:basic, :neat, :json, :yaml, :enum, :cddl], "Target format") do |v|
       $options.target = v
     end
+    opts.on("-sRULE", "--start=RULE", String, "Start rule name") do |v|
+      $options.start = v
+    end
+    opts.on("-iIMPORT", "--import=IMPORT", String, "Import [namespace=]reference") do |v|
+      $options.import ||= []
+      $options.import << v
+    end
+    opts.on("-IINCLUDE", "--include=INCLUDE", String, "Include [namespace=]reference") do |v|
+      $options.include ||= []
+      $options.include << v
+    end
   end
   op.parse!
 rescue Exception => e
@@ -71,11 +82,40 @@ rescue Exception => e
   exit 1
 end
 
+cddl_file = ""
+if $options.start
+  cddl_file << "$.start.$ = #{$options.start}\n"
+end
+
+[[$options.include, "include"], [$options.import, "import"]].each do |arr, directive|
+  if arr
+    arr.each do |ref|
+      asname, refname = ref.split("=", 2)
+      unless refname
+        refname = asname
+        asname = nil
+      end
+      cddl_file << ";# #{directive} #{refname}"
+      cddl_file << " as #{asname}" if asname
+      cddl_file << "\n"
+    end
+  end
+end
+
+if $options.verbose
+  warn "::: generated from options:"
+  warn cddl_file
+  warn ":::\n\n"
+end
+
 if ARGV == []
-  puts op
-  exit 1
+  if cddl_file == ""
+    puts op
+    exit 1
+  end
+else
+  cddl_file << ARGF.read
 end
-cddl_file = ARGF.read
 
 cddl = CDDL.from_cddl(cddl_file)
 result = if $options.rules

data/cddlc.gemspec

@@ -1,6 +1,6 @@
 Gem::Specification.new do |s|
   s.name = "cddlc"
-  s.version = "0.1.3"
+  s.version = "0.1.4"
   s.summary = "CDDL (Concise Data Definition Language) converters and miscellaneous tools"
   s.description = %q{cddlc implements converters and miscellaneous tools for CDDL, RFC 8610}
   s.author = "Carsten Bormann"

data/data/rfc8990-cleaned.cddl

@@ -0,0 +1,213 @@
+
+grasp-message = (message .within message-structure) / noop-message
+
+message-structure = [MESSAGE_TYPE, session-id, ?initiator,
+                     *grasp-option]
+
+MESSAGE_TYPE = 0..255
+session-id = 0..4294967295 ; up to 32 bits
+grasp-option = any
+
+
+discovery-message = [M_DISCOVERY, session-id, initiator, objective]
+
+
+response-message = [M_RESPONSE, session-id, initiator, ttl,
+                    (+locator-option // divert-option), ?objective]
+
+ttl = 0..4294967295 ; in milliseconds
+
+
+request-negotiation-message = [M_REQ_NEG, session-id, objective]
+
+request-synchronization-message = [M_REQ_SYN, session-id, objective]
+
+
+negotiation-message = [M_NEGOTIATE, session-id, objective]
+
+
+end-message = [M_END, session-id, accept-option / decline-option]
+
+
+wait-message = [M_WAIT, session-id, waiting-time]
+waiting-time = 0..4294967295 ; in milliseconds
+
+
+synch-message = [M_SYNCH, session-id, objective]
+
+
+flood-message = [M_FLOOD, session-id, initiator, ttl,
+                 +[objective, (locator-option / [])]]
+
+ttl = 0..4294967295 ; in milliseconds
+
+
+invalid-message = [M_INVALID, session-id, ?any]
+
+
+noop-message = [M_NOOP]
+
+
+divert-option = [O_DIVERT, +locator-option]
+
+
+accept-option = [O_ACCEPT]
+
+
+decline-option = [O_DECLINE, ?reason]
+reason = text  ; optional UTF-8 error message
+
+
+ipv6-locator-option = [O_IPv6_LOCATOR, ipv6-address,
+                       transport-proto, port-number]
+ipv6-address = bytes .size 16
+
+transport-proto = IPPROTO_TCP / IPPROTO_UDP
+IPPROTO_TCP = 6
+IPPROTO_UDP = 17
+port-number = 0..65535
+
+
+ipv4-locator-option = [O_IPv4_LOCATOR, ipv4-address,
+                       transport-proto, port-number]
+ipv4-address = bytes .size 4
+
+
+fqdn-locator-option = [O_FQDN_LOCATOR, text,
+                       transport-proto, port-number]
+
+
+uri-locator-option = [O_URI_LOCATOR, text,
+                      transport-proto / null, port-number / null]
+
+
+objective = [objective-name, objective-flags,
+             loop-count, ?objective-value]
+
+objective-name = text
+objective-value = any
+loop-count = 0..255
+
+
+objective-flags = uint .bits objective-flag
+objective-flag = &(
+  F_DISC: 0    ; valid for discovery
+  F_NEG: 1     ; valid for negotiation
+  F_SYNCH: 2   ; valid for synchronization
+  F_NEG_DRY: 3 ; negotiation is a dry run
+)
+
+
+grasp-message = (message .within message-structure) / noop-message
+
+message-structure = [MESSAGE_TYPE, session-id, ?initiator,
+                     *grasp-option]
+
+MESSAGE_TYPE = 0..255
+session-id = 0..4294967295 ; up to 32 bits
+grasp-option = any
+
+message /= discovery-message
+discovery-message = [M_DISCOVERY, session-id, initiator, objective]
+
+message /= response-message ; response to Discovery
+response-message = [M_RESPONSE, session-id, initiator, ttl,
+                    (+locator-option // divert-option), ?objective]
+
+message /= synch-message ; response to Synchronization request
+synch-message = [M_SYNCH, session-id, objective]
+
+message /= flood-message
+flood-message = [M_FLOOD, session-id, initiator, ttl,
+                 +[objective, (locator-option / [])]]
+
+message /= request-negotiation-message
+request-negotiation-message = [M_REQ_NEG, session-id, objective]
+
+message /= request-synchronization-message
+request-synchronization-message = [M_REQ_SYN, session-id, objective]
+
+message /= negotiation-message
+negotiation-message = [M_NEGOTIATE, session-id, objective]
+
+message /= end-message
+end-message = [M_END, session-id, accept-option / decline-option]
+
+message /= wait-message
+wait-message = [M_WAIT, session-id, waiting-time]
+
+message /= invalid-message
+invalid-message = [M_INVALID, session-id, ?any]
+
+noop-message = [M_NOOP]
+
+divert-option = [O_DIVERT, +locator-option]
+
+accept-option = [O_ACCEPT]
+
+decline-option = [O_DECLINE, ?reason]
+reason = text  ; optional UTF-8 error message
+
+waiting-time = 0..4294967295 ; in milliseconds
+ttl = 0..4294967295 ; in milliseconds
+
+locator-option /= [O_IPv4_LOCATOR, ipv4-address,
+                   transport-proto, port-number]
+ipv4-address = bytes .size 4
+
+locator-option /= [O_IPv6_LOCATOR, ipv6-address,
+                   transport-proto, port-number]
+ipv6-address = bytes .size 16
+
+locator-option /= [O_FQDN_LOCATOR, text, transport-proto,
+                   port-number]
+
+locator-option /= [O_URI_LOCATOR, text,
+                   transport-proto / null, port-number / null]
+
+transport-proto = IPPROTO_TCP / IPPROTO_UDP
+IPPROTO_TCP = 6
+IPPROTO_UDP = 17
+port-number = 0..65535
+
+initiator = ipv4-address / ipv6-address
+
+objective-flags = uint .bits objective-flag
+
+objective-flag = &(
+  F_DISC: 0    ; valid for discovery
+  F_NEG: 1     ; valid for negotiation
+  F_SYNCH: 2   ; valid for synchronization
+  F_NEG_DRY: 3 ; negotiation is a dry run
+)
+
+objective = [objective-name, objective-flags,
+             loop-count, ?objective-value]
+
+objective-name = text ; see section "Format of Objective Options"
+
+objective-value = any
+
+loop-count = 0..255
+
+; Constants for message types and option types
+
+M_NOOP = 0
+M_DISCOVERY = 1
+M_RESPONSE = 2
+M_REQ_NEG = 3
+M_REQ_SYN = 4
+M_NEGOTIATE = 5
+M_END = 6
+M_WAIT = 7
+M_SYNCH = 8
+M_FLOOD = 9
+M_INVALID = 99
+
+O_DIVERT = 100
+O_ACCEPT = 101
+O_DECLINE = 102
+O_IPv6_LOCATOR = 103
+O_IPv4_LOCATOR = 104
+O_FQDN_LOCATOR = 105
+O_URI_LOCATOR = 106

data/lib/cddlc.rb

@@ -40,6 +40,7 @@ class CDDL
   end
 
   SAFE_FN = /\A[-._a-zA-Z0-9]+\z/
+  IMPINC = /\A(?:import|include)\z/
 
   def self.from_cddl(s)
     ast = @@parser.parse s
@@ -56,16 +57,10 @@ class CDDL
       ret.directives.each do |di|
         preferred_tag = nil
         case di
-        in ["include" => dir, docref]
-        in ["include" => dir, docref, "as", preferred_tag]
-        in ["import" => dir, docref]
-        in ["import" => dir, docref, "as", preferred_tag]
+        in [IMPINC => dir, SAFE_FN => docref]
+        in [IMPINC => dir, SAFE_FN => docref, "as", SAFE_FN => preferred_tag]
         else
-          warn "** Can't parse include directive #{di.inspect}"
-          next
-        end
-        unless docref =~ SAFE_FN
-          warn "** skipping unsafe filename #{docref}"
+          warn "** Can't parse directive »#{di.join(" ")}«"
           next
         end
         puts "PREFERRED_TAG #{preferred_tag}" if $options.verbose

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: cddlc
 version: !ruby/object:Gem::Version
-  version: 0.1.3
+  version: 0.1.4
 platform: ruby
 authors:
 - Carsten Bormann
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2023-02-06 00:00:00.000000000 Z
+date: 2023-03-02 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -78,6 +78,7 @@ files:
 - data/prelude.cddl
 - data/rfc8727.cddl
 - data/rfc8927.cddl
+- data/rfc8990-cleaned.cddl
 - data/rfc8990.cddl
 - data/rfc9052.cddl
 - data/rfc9053.cddl
@@ -122,7 +123,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.4.2
+rubygems_version: 3.4.6
 signing_key:
 specification_version: 4
 summary: CDDL (Concise Data Definition Language) converters and miscellaneous tools