cddl 0.1.0 → 0.8.8

data/test-data/ifmap-base-2.2v9_fh-cabo.cddl

@@ -0,0 +1,149 @@
+messages = request / response
+
+request = new-session-request / end-session / renew-session / publish-request / search-request / subscribe-request / poll-request
+        / purge-publisher-request / $ExtendedRequestTypes
+
+error-code = "AccessDenied" / "Failure" / "InvalidIdentifier" / "InvalidIdentifierType" /
+             "IdentifierTooLong" / "InvalidMetadata" / "InvalidSchemaVersion" / "InvalidSessionID" /
+             "MetadataTooLong" / "SearchResultsTooBig" / "PollResultsTooBig" / "SystemError" / $ExtendedErrorCodeTypes
+
+error-result =
+  ("ifmap", "error-result",
+  [ ],
+  [ ? "name", ? tstr,
+    "error-code", error-code,
+    "error-string", tstr
+  ])
+
+poll-result = ("", "poll-result", [], [ *(search-result // error-result)])
+
+response-choice = (error-result // poll-result // search-result // subscribe-received //
+                  publish-received // purge-publisher-received // new-session-result //
+                  renew-session-result // end-session-result // $ExtendedResponses )
+
+purge-publisher-received =
+  ("", "purge-publisher-received", [], [])
+
+purge-publisher-request =
+  ["ifmap", "purge-publisher",
+    [ "ifmap-publisher-id", tstr,
+      session-attributes
+    ],
+    []]
+
+; needs to be constructed according to IF-MAP Filter syntax
+filter-type = tstr
+
+poll-request =
+  ["ifmap", "poll",
+    [ session-attributes,
+      validation-attributes
+    ],
+    []]
+
+subscribe-received =
+  ("", "subscribe-received", [], [])
+
+subscribe-request =
+  ["ifmap", "subscribe",
+    [ session-attributes,
+      validation-attributes
+    ],
+    [ 1*(subscribe-update // subscribe-delete)
+    ]]
+
+subscribe-delete =
+  ("", "delete",
+    [ "name", tstr,
+    ],
+    [])
+
+subscribe-update =
+  ("", "update",
+    [ "match-links", filter-type,
+      "max-depth", uint,
+      "terminal-identifier-type", tstr,
+      "max-size", uint,
+      "result-filter", filter-type,
+      "name", tstr,
+    ],
+    [ $$identifier ])
+search-request =
+  ["ifmap", "search",
+    [ session-attributes,
+      validation-attributes,
+      "match-links", filter-type,
+      "max-depth", uint,
+      "terminal-identifier-type", tstr,
+      "max-size", uint,
+      "result-filter", filter-type
+    ],
+    [ $$identifier
+    ]]
+
+search-result =
+  ("", "search-result",
+    ["name", tstr],
+    [ *result-item])
+
+result-item =
+  ("", "result-item",
+    [],
+    [ 1*2 $$identifier,
+      "metadata", metadata-list-type
+    ])
+
+publish-request =
+  ["ifmap", "publish",
+    [ session-attributes,
+    ? validation-attributes
+    ],
+    [+ (update-request // notify-request // delete-request) ]]
+
+update-request =
+  ("", "update", [ ? lifetime-attributes],
+                 [ 1*2 $$identifier, metadata-list-type ])
+notify-request = ("", "notify", [ ? lifetime-attributes], [ 1*2 $$identifier])
+delete-request = ("", "delete", [ "filter", tstr], [])
+
+publish-received =
+  ("", "publish-received", [], [])
+
+renew-session = ["ifmap", "renew-session", [ ? session-attributes ], []]
+renew-session-result = ("", "renew-session-result", [], [])
+
+end-session = ["ifmap", "end-session", [], []]
+end-session-result =
+  ("", "end-session-result", [], [])
+
+new-session-request =
+  ["ifmap", "new-session",
+    [ ? ("max-poll-result-size", uint)],
+    []]
+
+new-session-result =
+  ("", "new-session-result",
+    [ session-attributes,
+      "ifmap-publisher-id", tstr,
+      "max-poll-result-size", uint,
+    ],
+    [])
+
+session-attributes = (
+  "session-id", tstr
+)
+
+validation-attributes = (
+  "validation", ("None" / "BaseOnly" / "MetadataOnly" / "All")
+)
+
+lifetime-attributes = (
+  "lifetime", ("session" / "forever")
+  )
+
+response = 
+  ["ifmap", "response",
+    [ ? validation-attributes ],
+    [ response-choice ]]
+
+metadata-list-type = ["", "metadata", [], [ *$$metadata ]]

data/test-data/ifmap-metadata-2.2v9_fh-cabo.cddl

@@ -0,0 +1,239 @@
+
+
+$$metadata //= (access-request-device // access-request-ip // access-request-mac //
+    authenticated-as // authenticated-by // capability // device-attribute //
+    device-characteristic // device-ip // discovered-by // enforcement-report //
+    event // ip-mac // layer2-information // location // request-for-investigation //
+    role // unexpected-behavior // wlan-information)
+
+
+client-time = ("opmeta", "client-time",
+    [ single-value-metadata-attributes,
+      "current-time", tdate
+    ], [])
+
+; list every capability explicitly?
+server-capability = ("opmeta", "server-capability",
+    [ single-value-metadata-attributes,
+    ],
+    [
+    ["", "capability", [], tstr],
+    ]
+)
+$$metadata //= (client-time // server-capability)
+
+adm-dom = (
+  "administrative-domain", tstr,
+)
+
+access-request =
+  ("ifmap", "access-request",
+    [ ? adm-dom,
+     "name", tstr
+    ],
+    [])
+
+device = ("ifmap", "device", [], [device-type])
+device-type =( ("ifmap","aik-name", [], tstr) //
+  ("ifmap","name", [], tstr))
+
+identity = ("ifmap", "identity",
+    [ ? adm-dom,
+     "name", tstr,
+     "type", ("aik-name" / "distinguished-name" / "dns-name" / "email-address" /
+                "hip-hit" / "kerberos-principal" / "trusted-platform-module" /
+                "username" / "other"),
+     "other-type-definition", tstr
+    ],
+    [])
+
+ip-address = ("ifmap", "ip-address",
+    [ ? adm-dom,
+      "value", tstr,
+      "type", &("IPv4" / "IPv6")
+    ],
+    [])
+
+mac-address = ("ifmap", "mac-address",
+    [ ? adm-dom,
+      "value", tstr,
+    ],
+    [])
+
+$$identifier //= ( access-request // device // identity // ip-address // mac-address )
+
+metadata-attributes = (
+    "ifmap-publisher-id", tstr,
+    "ifmap-timestamp", tdate,
+    "ifmap-timestamp-fraction", tstr
+    )
+
+single-value-metadata-attributes = (
+    ? metadata-attributes,
+    "ifmap-cardinality", "singleValue"
+    )
+
+multi-value-metadata-attributes = (
+    ? metadata-attributes,
+    "ifmap-cardinality", "multiValue"
+    )
+
+access-request-device = ("meta", "access-request-device",
+    [ single-value-metadata-attributes ], [])
+
+access-request-ip = ("meta", "access-request-ip",
+    [ single-value-metadata-attributes ], [])
+
+access-request-mac = ("meta", "access-request-mac",
+    [ single-value-metadata-attributes ], [])
+
+authenticated-as = ("meta", "authenticated-as",
+    [ single-value-metadata-attributes ], [])
+
+authenticated-by = ("meta", "authenticated-by",
+    [ single-value-metadata-attributes ], [])
+
+capability = ("meta", "capability",
+    [ multi-value-metadata-attributes ],
+    [ ? adm-dom,
+      "name", tstr
+    ])
+
+device-attribute = ("meta", "device-attribute",
+    [ multi-value-metadata-attributes ], 
+    [ "name", tstr
+    ])
+
+administrative-domain = ("ifmap", "administrative-domain", [], tstr)
+manufacturer = ("", "manufacturer", [], tstr)
+model = ("", "model", [], tstr)
+os = ("", "os", [], tstr)
+os-version = ("", "os-version", [], tstr)
+type = ("", "type", [],
+     ("p2p" / "cve" / "botnet infection" / "worm infection" / "excessive flows" /
+      "behavioral change" / "policy violation" / "other"))
+discovered-time = ("", "discovered-time", [], tdate)
+discoverer-id = ("", "discoverer-id", [], tstr)
+discovery-method = ("", "discovery-method", [], tstr)
+name = ("", "name", [], tstr)
+magnitude = ("", "magnitude", [], 0..100)
+confidence = ("", "confidence", [], 0..100)
+significance = ("", "significance", [], ("critical" / "important" / "informational"))
+information = ("", "information", [], tstr)
+vulnerability-uri = ("", "vulnerability-uri", [], uri)
+enforcement-action = ("", "enforcement-action", [], tstr)
+other-type-definition = ("", "other-type-definition", [], tstr)
+enforcement-reason = ("", "enforcement-reason", [], tstr)
+start-time = ("", "start-time", [], tdate)
+end-time = ("", "end-time", [], tdate)
+dhcp-server = ("", "dhcp-server", [], tstr)
+vlan = ("", "vlan", [], uint)
+vlan-name = ("", "vlan-name", [], uint)
+port = ("", "port", [], uint)
+location-information = ("", "location-information",
+    ( "type", tstr,
+      "value", tstr), [])
+qualifier = ("", "qualifier", [], tstr)
+
+device-characteristic = ("meta", "device-characteristic",
+    [ multi-value-metadata-attributes ],
+    [ ? manufacturer,
+      ? model,
+      ? os,
+      ? os-version,
+      * type,
+      discovered-time,
+      discoverer-id,
+      + discovery-method
+    ])
+
+device-ip = ("meta", "device-ip",
+    [ single-value-metadata-attributes ], [ device, ip-address])
+
+discovered-by = ("meta", "discovered-by",
+    [ single-value-metadata-attributes ], [])
+
+enforcement-report = ("meta", "enforcement-report",
+    [ multi-value-metadata-attributes ],
+    [ enforcement-action,
+      other-type-definition,
+      enforcement-reason
+    ])
+
+event = ("meta", "event",
+    [ multi-value-metadata-attributes ],
+    [ name,
+      discovered-time,
+      discoverer-id,
+      magnitude,
+      confidence,
+      significance,
+      ? type,
+      ? other-type-definition,
+      ? information,
+      ? vulnerability-uri
+    ])
+
+ip-mac = ("meta", "ip-mac",
+    [ multi-value-metadata-attributes ],
+    [ ? start-time,
+      ? end-time,
+      ? dhcp-server
+    ])
+
+layer2-information = ("meta", "layer2-information",
+    [ multi-value-metadata-attributes ],
+    [ ? vlan,
+      ? vlan-name,
+      ? port,
+      ? adm-dom
+    ])
+
+location = ("meta", "location",
+    [ multi-value-metadata-attributes ],
+    [ discovered-time,
+      discoverer-id,
+      + location-information
+    ])
+
+request-for-investigation = ("meta", "request-for-investigation",
+    [ multi-value-metadata-attributes ],
+    [ ? qualifier ])
+
+role = ("meta", "role",
+    [ multi-value-metadata-attributes ],
+    [ ? administrative-domain,
+      name
+    ])
+
+unexpected-behavior = ("meta", "unexpected-behavior",
+    [ multi-value-metadata-attributes ],
+    [ discovered-time,
+      discoverer-id,
+      ? information,
+      magnitude,
+      ? confidence,
+      significance,
+      ? type
+    ])
+
+wlan-security-type = "open" / "wep" / "tkip" / "ccmp" / "bip" / "other"
+
+ssid = ("", "ssid", [], tstr)
+ssid-unicast-security = ("", "ssid-unicast-security",
+    [ ? other-type-definition ],
+    [ wlan-security-type ])
+ssid-group-security = ("", "ssid-group-security",
+    [ ? other-type-definition ],
+    [ wlan-security-type ])
+ssid-management-security = ("", "ssid-management-security",
+    [ ? other-type-definition ],
+    [ wlan-security-type ])
+
+wlan-information = ("meta", "wlan-information",
+    [ single-value-metadata-attributes ],
+    [ ? ssid,
+      + ssid-unicast-security,
+      ssid-group-security,
+      + ssid-management-security
+    ])

data/test-data/ifmap2.cddl

@@ -0,0 +1,21 @@
+response =
+  ["ifmap", "response",
+    [ ? validation-attributes ],
+    [ response-choice ]]
+
+response-choice = (
+    error-result // poll-result // search-result // subscribe-received //
+    publish-received // purge-publisher-received // new-session-result //
+    renew-session-result // end-session-result
+)
+
+error-result = 1
+poll-result = 2
+search-result = 3
+subscribe-received = 4
+publish-received = 5
+purge-publisher-received = 6
+new-session-result = 7
+renew-session-result = 8
+end-session-result = 9
+validation-attributes = (10, 11)

data/test-data/jcr-ex.cddl

@@ -0,0 +1,42 @@
+root = nameserver / entity ; just to root things here
+
+nameserver = {
+  name: fqdn,
+  ipAddresses: [* ipaddress],
+  common,
+}
+
+entity = {
+  names: [* string],
+  roles: [* string],
+  postalAddress: [* string],
+  emails: [* email],
+  phones: {
+      office: [* phone],
+      fax: [* phone],
+      mobile: [* phone],
+  },
+  common,
+}
+
+common = (
+  handle: string,
+  status: [* string],
+  remarks: [* string],
+  uris: [* { type: string, "uri": uri }],
+  port43: fqdn,
+  sponsoredBy: string,
+  resoldBy: string,
+  registrationBy: string,
+  registrationDate: tdate,
+  lastChangedDate: tdate,
+  lastChangedBy: string,
+)
+
+string = tstr
+email = tstr
+phone = tstr
+fqdn = tstr
+ipaddress = ip4 / ip6
+ip4 = bstr ; could pull a #2.4 here, but don't
+ip6 = bstr ; could pull a #2.16 here, but don't

data/test-data/kevin5.cddl

@@ -0,0 +1,5 @@
+   top = { topgroup }
+
+   topgroup = ( first: tstr, second: tstr,
+            (option1: uint //
+            option2: uint) )

data/test-data/map-group.cddl

@@ -0,0 +1,13 @@
+map = {
+ first_group,
+ ? second_group,
+}
+
+first_group = ( e1, e2,)
+second_group = (e3, e4, e5)
+
+e1 = (1: uint)
+e2 = (2: tstr)
+e3 = (3: tdate)
+e4 = (4: tstr)
+e5 = (5: uint)

data/test-data/mapkey.cddl

@@ -0,0 +1,2 @@
+foo = { foo: bool, "foob" => bar, * tstr => uint }
+bar = "blba"

data/test-data/minimal.cddl

@@ -0,0 +1 @@
+foo = #

data/test-data/patch1.cddl

@@ -0,0 +1,13 @@
+CellList = {
+  + CellID => {
+    SlotframeID: leafref
+    SlotOffset: uint
+    ChannelOffset: uint
+    LinkType: enumeration
+    CelType: enumeration
+  }
+}
+
+CellID = uint
+leafref = tstr ; TBD
+enumeration = uint ; TBD

data/test-data/reused_named_group.cddl

@@ -0,0 +1,14 @@
+info = (
+  age: int,
+  name: tstr,
+)
+person = {
+    info,
+    employer: tstr,
+    }
+dog = {
+    info,
+    collar: color,
+    }
+
+color = "blue"

data/test-data/structure.cddl

@@ -0,0 +1,9 @@
+Geography = [
+  city           : tstr
+  gpsCoordinates : GpsCoordinates
+]
+
+GpsCoordinates = {
+  longitude      : uint            ; multiplied by 10^7
+  latitude       : uint            ; multiplied by 10^7
+}

data/test-data/toerless0.cddl

@@ -0,0 +1,14 @@
+
+foo = { 1*relement }
+
+context-element = 4711
+
+relement = $$relement .within relement-generic
+
+relement-generic = ( relement-codepoint => relement-value ) ; [1]
+relement-codepoint = uint                            ; [1]
+relement-value     = any                             ; [1]
+
+$$relement //= ( &(sender-loop-count:1) => 1..255 )    ; [2]
+$$relement //= ( &(srv-element:2) => context-element ) ; [2]
+

data/test-data/toerless1.cddl

@@ -0,0 +1,11 @@
+foo = foo-specific .within foo-generic
+foo-specific = { 1*$$relement }
+foo-generic = { 1*relement-generic }
+
+relement-generic = ( relement-codepoint => relement-value ) ; [1]
+relement-codepoint = uint                            ; [1]
+relement-value     = any                             ; [1]
+
+$$relement //= ( &(sender-loop-count:1) => 1..255 )    ; [2]
+$$relement //= ( &(srv-element:2) => context-element ) ; [2]
+context-element = "and so on"

data/test-data/two_anonymous_groups.cddl

@@ -0,0 +1,13 @@
+person = {(
+  age: int,
+  name: tstr,
+  collar: color,
+  )}
+
+dog = {(
+  age: int,
+  name: tstr,
+  employer: tstr,
+  )}
+
+color = "red"

data/test-data/wrong1.cddl

@@ -0,0 +1,17 @@
+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
+  * any: any
+}

data/test-data/wrong1a.cddl

@@ -0,0 +1,23 @@
+reputation-object = {
+  application: tstr
+  ? confidence: float16
+  ? normal-rating: float16
+  ? sample-size: uint
+  ? generated: uint
+  ? expires: uint
+  * any: any
+  reputons: [* reputon]
+
+
+reputon = {
+  rater: tstr
+  assertion: tstr
+  rated: tstr
+  rating: float16
+  ? confidence: float16
+  ? normal-rating: float16
+  ? sample-size: uint
+  ? generated: uint
+  ? expires: uint
+  * any: any
+}

data/test-data/wrong2.cddl

@@ -0,0 +1,17 @@
+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
+  * any: any
+}

data/test-data/wrong2a.cddl

@@ -0,0 +1,17 @@
+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
+  * any: any
+

data/test-data/xmlmig.cddl

@@ -0,0 +1,15 @@
+element = [ns, gi, attr, elts]
+
+ns = text / nil
+; can be name syntax or URI
+
+gi = text ; name syntax
+
+attr = { * label => any }
+
+label = text / int
+
+elts = value / [* element]
+; could allow values inside array for mixed content
+
+value = int / text