Re: [Cbor] CDDL 2.0 import and paths

[Carsten Bormann <[e-mail]>]

On 2023-02-06, at 21:04, Carsten Bormann <[e-mail]> wrote:
> 
>> ;# import rfc9052 as COSE
>> 
>> which would rename the names in the imported rules to start with COSE(*).
> 
> This is now implemented in cddlc 0.1.3.

We had a great CDDL2 Design Team meeting this morning.
Before I implement what we discussed there, I think I should be publishing some other recent code:

$ cddlc -2tcddl -icose=rfc9052 -scose.COSE_Key
➔
$.start.$ = cose.COSE_Key
cose.COSE_Key = {
  1 => tstr / int,
  ? 2 => bstr,
  ? 3 => tstr / int,
  ? 4 => [+ tstr / int],
  ? 5 => bstr,
  * cose.label => cose.values,
}
cose.label = int / tstr
cose.values = any


So what did this do?  Let’s try verbose mode and ignore the actual output:

$ cddlc -v -2tcddl -icose=rfc9052 -scose.COSE_Key >/dev/null
::: generated from options:
$.start.$ = cose.COSE_Key         ;; the -s option
;# import rfc9052 as cose         ;; the -i option
:::

** IMPORTING rfc9052.cddl
IMPORTED cose.COSE_Key from rfc9052.cddl
IMPORTED cose.label from rfc9052.cddl
IMPORTED cose.values from rfc9052.cddl

… well, OK, I added my own comments “;;” up there.


Help text:

$ cddlc
Usage: cddlc.rb [options] file.cddl
[…]
    -s, --start=RULE                 Start rule name
    -i, --import=IMPORT              Import [namespace=]reference
    -I, --include=INCLUDE            Include [namespace=]reference

Now in cddlc 0.1.4.  Get it with

  gem update cddlc

Grüße, Carsten