cddl 0.1.0 → 0.8.8

data/test-data/7071-concise-cut.cddl

@@ -0,0 +1,48 @@
+reputation-object = {
+  application: tstr
+  reputons: [* reputon]
+}
+
+reputon = {
+  rater: tstr
+  assertion: tstr
+  rated: tstr
+  rating: float16
+  ? confidence: float16
+  ? normal-rating: float16
+  ? sample-size: uint
+  ? generated: uint
+  ? expires: uint
+  * tstr => any
+}
+
+#
+# a = b / c / d
+# a = b / (c / d)
+# b = "foo" ^ bar
+# c = "bar" ^ baz
+
+# foo: bar
+# "foo" ^ => bar
+
+
+# (rater: tstr // rater: uint)
+# (rater: tstr / uint)
+
+# (
+#  * tstr => uint
+#  rater: float16
+# )
+
+# a = b / c
+# c = e / f
+# a = b / (e / f)
+
+# a = ( a // b )
+# a = ( b // a )
+
+# a = (uint .size 3) .le 100000
+
+# name = uint .size 3
+# reserved_name = name .le 100000
+

data/test-data/7071-concise.cddl

@@ -13,5 +13,5 @@ reputon = {
   ? sample-size: uint
   ? generated: uint
   ? expires: uint
-  * any: any
+  * tstr => any
 }

data/test-data/7071-verbose.cddl

@@ -37,6 +37,6 @@ normal-value = ( normal-rating: float16 )
 sample-value = ( sample-size: uint )
 gen-value = ( generated: uint )
 expire-value = ( expires: uint )
-ext-value = ( any: any )
+ext-value = ( tstr => any )
 
 

data/test-data/a.cddl

@@ -0,0 +1,9 @@
+col = {color}
+color = 
+(  black: 0,
+  red: 1,
+  green: 2,)
+//
+(  foo: 4,
+  bar: 5,
+  baz: 6,)

data/test-data/ambig.cddl

@@ -0,0 +1,2 @@
+b = [ a ]
+a = uint

data/test-data/b.cddl

@@ -0,0 +1,3 @@
+x = (a, b)
+a = ()
+b = //

data/test-data/badaddr.cddl

@@ -0,0 +1 @@
+badaddr = text .regexp "[0-9A-Fa-f][0-9A-Fa-f]:[0-9A-Fa-f][0-9A-Fa-f]:[0-9A-Fa-f][0-9A-Fa-f]:[0-9A-Fa-f][0-9A-Fa-f]:[0-9A-Fa-f][0-9A-Fa-f]:[0-9A-Fa-f][0-9A-Fa-f]"

data/test-data/basic_syntax_example.cddl

@@ -0,0 +1,7 @@
+; This is a comment
+person = { g }
+
+g = (
+  name: tstr,
+  age: int,
+)

data/test-data/cdni-ct.cddl

@@ -0,0 +1,72 @@
+; draft-ietf-cdni-control-triggers-06.txt
+
+CIT-object = CIT-command / Trigger-Status-Resource / Trigger-Collection
+
+CIT-command ; use media type application/cdni.ci.TriggerCommand+json
+ = {
+  ? trigger: Triggerspec
+  ? cancel: [* URI]
+  cdn-path: [* Cdn-PID]
+}
+
+Trigger-Status-Resource ; application/cdni.ci.TriggerStatus+json.
+ = {
+  trigger: Triggerspec
+  ctime: Absolute-Time
+  mtime: Absolute-Time
+  ? etime: Absolute-Time
+  status: Trigger-Status
+  ? errors: [* Error-Description]
+}
+
+Trigger-Collection ; application/cdni.ci.TriggerCollection+json
+ = {
+  triggers: [* URI]
+  ? staleresourcetime: int ; time in seconds
+  ? coll-all: URI
+  ? coll-pending: URI
+  ? coll-active: URI
+  ? coll-complete: URI
+  ? coll-failed: URI
+  ? cdn-id: Cdn-PID
+}
+
+Triggerspec = { ; 5.2.1
+  type: Trigger-Type
+  ? metadata.urls: [* URI]
+  ? content.urls: [* URI]
+  ? content.ccid: [* Ccid]
+  ? metadata.patterns: [* Pattern-Match]
+  ? content.patterns: [* Pattern-Match]
+}
+
+Trigger-Type = "preposition" / "invalidate" / "purge" ; 5.2.2
+
+Trigger-Status = "pending" / "active" / "complete" / "processed"
+   / "failed" / "cancelling" / "cancelled" ; 5.2.3
+
+Pattern-Match = { ; 5.2.4
+  pattern: tstr
+  ? case-sensitive: bool
+  ? match-query-string: bool
+}
+
+Absolute-Time = number ; seconds since UNIX epoch, 5.2.5
+
+Error-Description = { ; 5.2.6
+  error: Error-Code
+  ? metadata.urls: [* URI]
+  ? content.urls: [* URI]
+  ? metadata.patterns: [* Pattern-Match]
+  ? content.patterns: [* Pattern-Match]
+  ? description: tstr
+}
+
+Error-Code = "emeta" / "econtent" / "eperm" / "ereject" 
+   / "ecdn" / "ecancelled"  ; 5.2.7
+
+Ccid = tstr ; see I-D.ietf-cdni-metadata
+
+Cdn-PID = tstr .regexp "AS[0-9]+:[0-9]+"
+
+URI = tstr

data/test-data/cose.cddl

@@ -0,0 +1,68 @@
+COSE_MSG = [ 1, COSE_Sign ] / [2, COSE_encrypt] / [3, COSE_mac]
+
+
+COSE_Sign = (
+    headers,
+    payload : opt<bstr>,
+    signatures: ([+[COSE_signature]] / [COSE_signature])
+)
+
+COSE_SignMessage = #6.999([ COSE_Sign ])
+
+keys = int / tstr
+header_map = {+ keys => any}
+
+opt<t> = t / nil
+
+headers = (
+    protected: opt<bstr>,
+    unprotected: opt<header_map>
+)
+
+COSE_signature =  (
+    headers,
+    signaturne : bstr
+)
+
+Sig_structure = [
+    headers,
+    payload : bstr
+]
+
+COSE_encrypt = (
+  headers,
+  iv : opt<bstr>,
+  aad : opt<bstr>,
+  ciphertext : opt<bstr>,
+  recipients : ([+COSE_encrypt_a] / [COSE_encrypt] / nil)
+)
+
+COSE_encrypt_a = [COSE_encrypt]
+
+Enc_structure = [
+   protected : opt<bstr>,
+   aad : opt<bstr>
+]
+
+COSE_mac = (
+   headers,
+   payload : bstr,
+   tag : bstr,
+   recipients : ([+COSE_encrypt_a] / [COSE_encrypt] / nil)
+)
+
+MAC_structure = [
+   protected : opt<bstr>
+   payload : bstr
+]
+
+COSE_Key = {
+    "kty" : tstr,
+    ? "use" : tstr,
+    ? "key_ops" : [+tstr],
+    ? "alg" : tstr,
+    ? "kid" : tstr,
+    * keys => values
+}
+
+COSE_KeySet = [+COSE_Key]

data/test-data/dcaf.cddl

@@ -0,0 +1,58 @@
+dcaf-msg = sam-information-msg
+         / access-request-msg
+         / ticket-transfer-msg
+         / ticket-grant-msg
+
+sam-information-msg = { sam, ? full-timestamp, ? accepted-formats,
+                        ? piggybacked }
+
+access-request-msg = { sam, sam-ai, full-timestamp }
+
+ticket-transfer-msg = { face-or-encrypted, verifier }
+face-or-encrypted = ( face // encrypted-face )
+face = ( F => { sam-ai, limited-timestamp, lifetime, psk-gen } )
+verifier = ( V => shared-secret )
+shared-secret = bstr
+F   = 8
+V   = 9
+
+encrypted-face = ( E => bstr, K => tstr )
+E   = 3
+K   = 4
+
+ticket-grant-msg    = { face-or-encrypted, verifier, ? client-info }
+client-info = ( cam-ai, full-timestamp, lifetime)
+
+sam = (SAM => abs-uri)
+SAM = 0
+abs-uri = tstr ; .regexp "______"
+
+sam-ai = ( SAI => [* auth-info])
+SAI = 1
+auth-info = ( uri : tstr, mask : 0..15 )
+
+cam-ai = ( CAI => [* auth-info])
+CAI = 2
+
+full-timestamp = ( TS => date)
+TS  = 5
+date = tdate / localdate
+localdate = uint
+limited-timestamp = ( TS => localdate)
+
+accepted-formats = ( A => [+ content-format] )
+content-format = uint ; valid entry from CoAP content format registry
+A=10
+
+piggybacked = ( data, lifetime, nonce )
+data = ( D => bstr )
+nonce = ( N => bstr )
+lifetime = ( L => period)
+period = uint ; in seconds
+L   = 6
+D   = 11
+N   = 12
+
+psk-gen = ( G => mac-algorithm)
+G   = 7
+mac-algorithm = &( hmac-sha256: 0, hmac-sha384: 1, hmac-sha512: 2 )

data/test-data/dcaf1.cddl

@@ -0,0 +1,48 @@
+dcaf-msg = sam-information-msg
+         / access-request-msg
+         / ticket-transfer-msg
+         / ticket-grant-msg
+
+sam-information-msg = { sam, ? full-timestamp }
+
+access-request-msg = { sam, sam-ai, full-timestamp }
+
+ticket-transfer-msg = { face, verifier }
+face = (F => { sam-ai, limited-timestamp, lifetime, psk-gen } )
+verifier = (V => shared-secret )
+shared-secret = bstr
+F   = 8
+V   = 9
+
+ticket-grant-msg    = { face, verifier, ? client-info }
+client-info = (cam-ai, full-timestamp, lifetime)
+
+sam = (SAM => abs-uri)
+SAM = 0
+abs-uri = tstr ; .regexp "______"
+
+sam-ai = (SAI => [* auth-info])
+SAI = 1
+auth-info = (uri : tstr, mask : 0..15 )
+
+cam-ai = (CAI => [* auth-info])
+CAI = 2
+
+full-timestamp = (TS => date)
+TS  = 5
+date = tdate / localdate
+localdate = uint
+limited-timestamp = (TS => localdate)
+
+lifetime = (L => period)
+period = uint ; in seconds
+L   = 6
+
+psk-gen = (G => mac-algorithm)
+G   = 7
+mac-algorithm = &( hmac-sha256: 0, hmac-sha384: 1, hmac-sha512: 2 )
+
+; TO DO???
+E   = 3
+K   = 4
+

data/test-data/dotsize.cddl

@@ -0,0 +1,7 @@
+foo = [a, b, c]
+
+a = uint .size 4
+
+b = bytes .size 4
+
+c = text .size (0..30)

data/test-data/extractor-demo.cddl

@@ -0,0 +1,14 @@
+message = [mtype,
+           beer: enum1, wine: bytes, ? optional: text, cantindex: int]
+
+M_ONE = 1
+M_TWO = 2
+M_THREE = 3
+
+mtype = M_ONE / M_TWO / M_THREE
+
+enum1 = &(
+      one: 1
+      two: 2
+      three: 3
+)

data/test-data/grasp-01-extract.cddl

@@ -0,0 +1,91 @@
+
+   grasp-message = message
+
+   session-id = 0..16777215
+   ; that is up to 24 bits
+
+   message /= discovery-message
+   discovery-message = [M_DISCOVERY, session-id, objective]
+
+   message /= response-message
+   response-message = [M_RESPONSE, session-id,
+                      (+locator-option // divert-option // objective)]
+
+   message /= request-message
+   request-message = [M_REQUEST, 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-option]
+
+   divert-option = [O_DIVERT, +locator-option]
+
+   accept-option = [O_ACCEPT]
+
+   decline-option = [O_DECLINE]
+
+   waiting-time-option = [O_WAITING, option-waiting-time]
+   option-waiting-time = 0..4294967295 ; in milliseconds
+
+   option-device-id = [O_DEVICE_ID, bytes]
+
+   locator-option /= ipv4-locator-option
+   ipv4-locator-option = bytes .size 4
+   ; this is simpler than [O_IPv4_LOCATOR, bytes .size 4]
+
+   locator-option /= ipv6-locator-option
+   ipv6-locator-option = bytes .size 16
+
+   locator-option /= fqdn-locator-option
+   fqdn-locator-option = [O_FQDN_LOCATOR, text]
+
+   locator-option /= url-locator-option
+   url-locator-option = [O_URL_LOCATOR, text]
+
+   objective-flags = uint .bits objective-flag
+
+   objective-flag = &(
+   D: 0
+   N: 1
+   S: 2
+   )
+
+   ; D means valid for discovery only
+   ; N means valid for discovery and negotiation
+   ; S means valid for discovery and synchronization
+
+   objective /= generic-obj
+   generic-obj = [objective-name, objective-flags, loop-count, ?any]
+
+   objective /= vendor-obj
+   vendor-obj = [{"PEN":pen}, objective-name, objective-flags,
+                 loop-count, ?any]
+
+   ; A PEN is used to distinguish vendor-specific options.
+
+   pen = 0..4294967295
+   objective-name = tstr
+   loop-count = 0..255
+
+   ; Constants
+
+   M_DISCOVERY = 1
+   M_RESPONSE = 2
+   M_REQUEST = 3
+   M_NEGOTIATE = 4
+   M_END = 5
+   M_WAIT = 6
+
+   O_DIVERT = 100
+   O_ACCEPT = 101
+   O_DECLINE = 102
+   O_WAITING = 103
+   O_DEVICE_ID = 104
+   O_FQDN_LOCATOR = 105
+   O_URL_LOCATOR = 106
+

data/test-data/grasp-01-test.cddl

@@ -0,0 +1,90 @@
+   grasp-message = message
+
+   session-id = 0..16777215
+   ; that is up to 24 bits
+
+   message /= discovery-message
+   discovery-message = [M_DISCOVERY, session-id, objective]
+
+   message /= response-message
+   response-message = [M_RESPONSE, session-id,
+                      (+locator-option // divert-option // objective)]
+
+   message /= request-message
+   request-message = [M_REQUEST, session-id, objective]
+
+   message /= negotiation-message
+   negotiation-message = [M_NEGOTIATE, sid: 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-option]
+
+   divert-option = [O_DIVERT, +locator-option]
+
+   accept-option = [O_ACCEPT]
+
+   decline-option = [O_DECLINE]
+
+   waiting-time-option = [O_WAITING, option-waiting-time]
+   option-waiting-time = 0..4294967295 ; in milliseconds
+
+   option-device-id = [O_DEVICE_ID, bytes]
+
+   locator-option /= ipv4-locator-option
+   ipv4-locator-option = bytes .size 4
+   ; this is simpler than [O_IPv4_LOCATOR, bytes .size 4]
+
+   locator-option /= ipv6-locator-option
+   ipv6-locator-option = bytes .size 16
+
+   locator-option /= fqdn-locator-option
+   fqdn-locator-option = [O_FQDN_LOCATOR, text]
+
+   locator-option /= url-locator-option
+   url-locator-option = [O_URL_LOCATOR, text]
+
+   objective-flags = uint .bits objective-flag
+
+   objective-flag = &(
+   D: 0
+   N: 1
+   S: 2
+   )
+
+   ; D means valid for discovery only
+   ; N means valid for discovery and negotiation
+   ; S means valid for discovery and synchronization
+
+   objective /= generic-obj
+   generic-obj = [objective-name, objective-flags, loop-count, ?any]
+
+   objective /= vendor-obj
+   vendor-obj = [{"PEN":pen}, objective-name, objective-flags,
+                 loop-count, ?any]
+
+   ; A PEN is used to distinguish vendor-specific options.
+
+   pen = 0..4294967295
+   objective-name = tstr
+   loop-count = 0..255
+
+   ; Constants
+
+   M_DISCOVERY = 1
+
+   M_RESPONSE = 2
+   M_REQUEST = 3
+   M_NEGOTIATE = 4
+   M_END = 5
+   M_WAIT = 6
+
+   O_DIVERT = 100
+   O_ACCEPT = 101
+   O_DECLINE = 102
+   O_WAITING = 103
+   O_DEVICE_ID = 104
+   O_FQDN_LOCATOR = 105
+   O_URL_LOCATOR = 106

data/test-data/grasp-01.cddl

@@ -0,0 +1,90 @@
+   grasp-message = message
+
+   session-id = 0..16777215
+   ; that is up to 24 bits
+
+   message /= discovery-message
+   discovery-message = [M_DISCOVERY, session-id, objective]
+
+   message /= response-message
+   response-message = [M_RESPONSE, session-id,
+                      (+locator-option // divert-option // objective)]
+
+   message /= request-message
+   request-message = [M_REQUEST, 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-option]
+
+   divert-option = [O_DIVERT, +locator-option]
+
+   accept-option = [O_ACCEPT]
+
+   decline-option = [O_DECLINE]
+
+   waiting-time-option = [O_WAITING, option-waiting-time]
+   option-waiting-time = 0..4294967295 ; in milliseconds
+
+   option-device-id = [O_DEVICE_ID, bytes]
+
+   locator-option /= ipv4-locator-option
+   ipv4-locator-option = bytes .size 4
+   ; this is simpler than [O_IPv4_LOCATOR, bytes .size 4]
+
+   locator-option /= ipv6-locator-option
+   ipv6-locator-option = bytes .size 16
+
+   locator-option /= fqdn-locator-option
+   fqdn-locator-option = [O_FQDN_LOCATOR, text]
+
+   locator-option /= url-locator-option
+   url-locator-option = [O_URL_LOCATOR, text]
+
+   objective-flags = uint .bits objective-flag
+
+   objective-flag = &(
+   D: 0
+   N: 1
+   S: 2
+   )
+
+   ; D means valid for discovery only
+   ; N means valid for discovery and negotiation
+   ; S means valid for discovery and synchronization
+
+   objective /= generic-obj
+   generic-obj = [objective-name, objective-flags, loop-count, ?any]
+
+   objective /= vendor-obj
+   vendor-obj = [{"PEN":pen}, objective-name, objective-flags,
+                 loop-count, ?any]
+
+   ; A PEN is used to distinguish vendor-specific options.
+
+   pen = 0..4294967295
+   objective-name = tstr
+   loop-count = 0..255
+
+   ; Constants
+
+   M_DISCOVERY = 1
+
+   M_RESPONSE = 2
+   M_REQUEST = 3
+   M_NEGOTIATE = 4
+   M_END = 5
+   M_WAIT = 6
+
+   O_DIVERT = 100
+   O_ACCEPT = 101
+   O_DECLINE = 102
+   O_WAITING = 103
+   O_DEVICE_ID = 104
+   O_FQDN_LOCATOR = 105
+   O_URL_LOCATOR = 106