From a9f90e955172fbb147139248038fbb4bf1e3ff96 Mon Sep 17 00:00:00 2001 From: Henry Andrews Date: Wed, 27 Dec 2017 10:18:25 -0800 Subject: [PATCH] Fix positive -> non-negative in text This was correct in the syntax/behavioral description, just named incorrectly. Outdented the ABNF to avoid warnings about it being outdented automatically. --- relative-json-pointer.xml | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/relative-json-pointer.xml b/relative-json-pointer.xml index 1e5f9a17..8c9aedf5 100644 --- a/relative-json-pointer.xml +++ b/relative-json-pointer.xml @@ -82,7 +82,7 @@
A Relative JSON Pointer is a Unicode string (see RFC 4627, - Section 3), comprising a positive integer, + Section 3), comprising a non-negative integer, followed by either a '#' (%x23) character or a JSON Pointer (RFC 6901). @@ -98,10 +98,10 @@ @@ -121,8 +121,8 @@ integer value representing an array index. - Evaluation begins by processing the positive-integer prefix. This - can be found by taking the longest continuous sequence of decimal + Evaluation begins by processing the non-negative-integer prefix. + This can be found by taking the longest continuous sequence of decimal digits available, starting from the beginning of the string, taking the decimal numerical value. If this value is more than zero, then the following steps are repeated that number of times: