Auth48

auth48/check-abnf

@@ -0,0 +1,9 @@
+kramdown-rfc-extract-sourcecode -tfiles -dextract rfc9535.xml
+# check consistency of collected ABNF
+diff extract/abnf/collected-abnf-of-jsonpath-.abnf extract/abnf/jsonpath-collected.abnf
+diff extract/abnf/collected-abnf-of-jsonpath-n.abnf extract/abnf/normalized-path-collected.abnf
+# check whether there was any substantive change with I-D ABNF
+bap extract/abnf/jsonpath-collected.abnf >/tmp/jc.abnf
+bap ../sourcecode/abnf/jsonpath-collected.abnf | diff - /tmp/jc.abnf
+bap extract/abnf/normalized-path-collected.abnf >/tmp/njc.abnf
+bap ../sourcecode/abnf/normalized-path-collected.abnf | diff - /tmp/njc.abnf

auth48/extract/application:jsonpath/count-function-extension.application:jsonpath

@@ -0,0 +1 @@
+$[?count(@.*.author) >= 5]

auth48/extract/application:jsonpath/jsonpath-and-xpath.application:jsonpath

@@ -0,0 +1 @@
+$.store.book[[email protected] < 10].title

auth48/extract/application:jsonpath/length-function-extension.application:jsonpath

@@ -0,0 +1 @@
+$[?length(@.authors) >= 5]

auth48/extract/application:jsonpath/match-function-extension.application:jsonpath

@@ -0,0 +1 @@
+$[?match(@.date, "1974-05-..")]

auth48/extract/application:jsonpath/search-function-extension.application:jsonpath

@@ -0,0 +1 @@
+$[?search(@.author, "[BR]ob")]

auth48/extract/application:jsonpath/segments-b.application:jsonpath

@@ -0,0 +1 @@
+$.store.book[0].title

auth48/extract/application:jsonpath/segments.application:jsonpath

@@ -0,0 +1 @@
+$['store']['book'][0]['title']

auth48/extract/application:jsonpath/selectors.application:jsonpath

@@ -0,0 +1 @@
+$.store.book[[email protected] < 10].title

auth48/extract/application:jsonpath/value-function-extension.application:jsonpath

@@ -0,0 +1 @@
+$[?value(@..color) == "red"]

auth48/extract/json/example-json-value.json

@@ -0,0 +1,31 @@
+{ "store": {
+    "book": [
+      { "category": "reference",
+        "author": "Nigel Rees",
+        "title": "Sayings of the Century",
+        "price": 8.95
+      },
+      { "category": "fiction",
+        "author": "Evelyn Waugh",
+        "title": "Sword of Honour",
+        "price": 12.99
+      },
+      { "category": "fiction",
+        "author": "Herman Melville",
+        "title": "Moby Dick",
+        "isbn": "0-553-21311-3",
+        "price": 8.99
+      },
+      { "category": "fiction",
+        "author": "J. R. R. Tolkien",
+        "title": "The Lord of the Rings",
+        "isbn": "0-395-19395-8",
+        "price": 22.99
+      }
+    ],
+    "bicycle": {
+      "color": "red",
+      "price": 399
+    }
+  }
+}

auth48/extract/json/examples-2.json

@@ -0,0 +1,4 @@
+{
+  "o": {"j j": {"k.k": 3}},
+  "'": {"@": 2}
+}

auth48/extract/json/examples-3.json

@@ -0,0 +1,4 @@
+{
+  "o": {"j": 1, "k": 2},
+  "a": [5, 3]
+}

auth48/extract/json/examples-4.json

@@ -0,0 +1 @@
+["a","b"]

auth48/extract/json/examples-5.json

@@ -0,0 +1 @@
+["a", "b", "c", "d", "e", "f", "g"]

auth48/extract/json/examples-6-b.json

@@ -0,0 +1,10 @@
+{
+  "a": [3, 5, 1, 2, 4, 6,
+        {"b": "j"},
+        {"b": "k"},
+        {"b": {}},
+        {"b": "kilo"}
+       ],
+  "o": {"p": 1, "q": 2, "r": 3, "s": 5, "t": {"u": 6}},
+  "e": "f"
+}

auth48/extract/json/examples-6.json

@@ -0,0 +1,4 @@
+{
+  "obj": {"x": "y"},
+  "arr": [2, 3]
+}

auth48/extract/json/examples-7.json

@@ -0,0 +1 @@
+["a", "b", "c", "d", "e", "f", "g"]

auth48/extract/json/examples-8.json

@@ -0,0 +1,4 @@
+{
+  "o": {"j": 1, "k": 2},
+  "a": [5, 3, [{"j": 4}, {"k": 6}]]
+}

auth48/extract/json/examples-9.json

@@ -0,0 +1 @@
+{"a": null, "b": [null], "c": [{}], "null": 1}

auth48/extract/json/examples.json

@@ -0,0 +1 @@
+{"k": "v"}

auth48/extract/pseudocode/normative-semantics-b.pseudocode

@@ -0,0 +1,13 @@
+FUNCTION Bounds(start, end, step, len):
+  n_start = Normalize(start, len)
+  n_end = Normalize(end, len)
+
+  IF step >= 0 THEN
+    lower = MIN(MAX(n_start, 0), len)
+    upper = MIN(MAX(n_end, 0), len)
+  ELSE
+    upper = MIN(MAX(n_start, -1), len-1)
+    lower = MIN(MAX(n_end, -1), len-1)
+  END IF
+
+  RETURN (lower, upper)

auth48/extract/pseudocode/normative-semantics-c.pseudocode

@@ -0,0 +1,17 @@
+IF step > 0 THEN
+
+  i = lower
+  WHILE i < upper:
+    SELECT a(i)
+    i = i + step
+  END WHILE
+
+ELSE if step < 0 THEN
+
+  i = upper
+  WHILE lower < i:
+    SELECT a(i)
+    i = i + step
+  END WHILE
+
+END IF

auth48/extract/pseudocode/normative-semantics.pseudocode

@@ -0,0 +1,6 @@
+FUNCTION Normalize(i, len):
+  IF i >= 0 THEN
+    RETURN i
+  ELSE
+    RETURN len + i
+  END IF

auth48/extract/xpath/inspired-by-xpath-b.xpath

@@ -0,0 +1 @@
+x.store.book[0].title

auth48/extract/xpath/inspired-by-xpath-c.xpath

@@ -0,0 +1 @@
+x['store']['book'][0]['title']

auth48/extract/xpath/inspired-by-xpath.xpath

@@ -0,0 +1 @@
+/store/book[1]/title