On 2022-08-23, at 14:27, Toerless Eckert <t...@cs.fau.de> wrote: > > How about any of this in array context ?
message = [foo, bar, +baz, *option] option = known-option / [label .feature "Unrecognized Option", *any] known-option = $option .within ([label, *any]) ; replace by meaningful definitions: $option /= ["special", 9193] $option /= ["old", 793] foo = 4711 bar = "0815" baz = [] label = text (For readability, added empty lines between the six generated examples:) $ cddl 3.cddl gp 6 ** Features potentially used (): Unrecognized Option: ["overaccuracy"] /message/ [4711, /bar/ "0815", /baz/ [], /baz/ [], /option/ ["old", 793], /option/ ["overaccuracy", /any/ "staphyloplasty"], /option/ ["special", 9193]] /message/ [4711, /bar/ "0815", /baz/ [], /baz/ [], /baz/ [], /baz/ [], /option/ ["special", 9193]] ** Features potentially used (): Unrecognized Option: ["pancreaticoduodenostomy"] /message/ [4711, /bar/ "0815", /baz/ [], /option/ ["old", 793], /option/ ["pancreaticoduodenostomy", /any/ “nowhat"]] /message/ [4711, /bar/ "0815", /baz/ []] ** Features potentially used (): Unrecognized Option: ["symposiarch", "reticuloramose", "certificate"] /message/ [4711, /bar/ "0815", /baz/ [], /option/ ["special", 9193], /option/ ["symposiarch"], /option/ ["reticuloramose"], /option/ ["certificate", /any/ "carrousel", /any/ "nonallegorical", /any/ "Sri"]] /message/ [4711, /bar/ "0815", /baz/ []] Grüße, Carsten _______________________________________________ Anima mailing list Anima@ietf.org https://www.ietf.org/mailman/listinfo/anima
