intrep-key changes to follow convention

Changed intrep-key to follow internal representation convention that uses text keys instead of numeric.
ietf-rats-wg · Dec 11, 2024 · 984e952 · 984e952
1 parent e3e5bb2
commit 984e952
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/cddl/examples/intrep-3.diag b/cddl/examples/intrep-3.diag
@@ -17,12 +17,12 @@
         ] ],
         / intrep-key / 65534 : [
           / typed-crypto-key / {
-            / key / 0 : 556("base64_cert_path_X"),
-            / key-type / 1 : 1
+            "key": 556("base64_cert_path_X"),
+            "key-type": 1
           },
           / typed-crypto-key / {
-            / key / 0 : 554("base64_key_Y"),
-            / key-type / 1 : 2
+            "key": 554("base64_key_Y"),
+            "key-type": 2
           }
         ]
       }

diff --git a/cddl/intrep-key.cddl b/cddl/intrep-key.cddl
@@ -3,8 +3,8 @@ $$measurement-values-map-extension //= (
 )
 
 typed-crypto-key = {
-  &(key: 0) => $crypto-key-type-choice
-  ? &(key-type: 1) => uint .bits key-type
+  key: $crypto-key-type-choice
+  ? key-type: uint .bits key-type
 }
 
 key-type = &(