grammar versions added to help

Author: johnlumley

jTest/help/jwiXML-help.xhtml

@@ -67,30 +67,30 @@
             <a href="#d2e547">Notes on the XPath/XQuery 4 grammars</a>
             <ul>
                <li>
-                  <a href="#d2e577">Failures</a>
+                  <a href="#d2e606">Failures</a>
                </li>
                <li>
-                  <a href="#d2e596">Ambiguities</a>
+                  <a href="#d2e625">Ambiguities</a>
                </li>
                <li>
-                  <a href="#d2e621">The Set-subtraction operator</a>
+                  <a href="#d2e650">The Set-subtraction operator</a>
                </li>
             </ul>
          </li>
          <li>
-            <a href="#d2e658">Change history</a>
+            <a href="#d2e687">Change history</a>
             <ul>
                <li>
-                  <a href="#d2e662">Version 1.1 - 2022nov01</a>
+                  <a href="#d2e691">Version 1.1 - 2022nov01</a>
                </li>
                <li>
-                  <a href="#d2e680">Version 1.3 - 2023may27</a>
+                  <a href="#d2e709">Version 1.3 - 2023may27</a>
                </li>
                <li>
-                  <a href="#d2e698">Version 1.4 - 2024feb13</a>
+                  <a href="#d2e727">Version 1.4 - 2024feb13</a>
                </li>
                <li>
-                  <a href="#d2e765">Version 1.5 - 2024sep23</a>
+                  <a href="#d2e794">Version 1.5 - 2024sep23</a>
                </li>
             </ul>
          </li>
@@ -597,18 +597,35 @@ Multiple nodes may not be the final parse result:&lt;expression/&gt;,@compare,&l
             generate the specification grammars <a href="https://qt4cg.org/specifications/xquery-40/xpath-40.html#id-grammar">XPath
                EBNF</a> and <a href="https://qt4cg.org/specifications/xquery-40/xquery-40.html#id-grammar">XQuery
                EBNF</a>. (See my <a href="https://www.balisage.net/Proceedings/vol29/html/Lumley01/BalisageVol29-Lumley01.html">Balisage paper</a> for details of how these are constructed.)</p>
+         <p>The grammars are presented in three different versions of iXML:</p>
+         <ul>
+            <li>
+               <code>1.0</code>, the published standard,</li>
+            <li>
+               <code>1.1</code>, the current draft which noteably adds the ability to rename
+               nonterminals (<code>A&gt;b</code>). This is used in areas such as <code>QName</code>s to
+               accomodate both prefix and local parts as attributes, and</li>
+            <li>
+               <code>1.1+</code>, being the <code>1.1</code> version with the addition of a
+               set-subtraction operator (see below), which is used to exclude certain reserved
+               keywords from nome name concepts, such as <code>function</code> being reserved from
+               use a the name of a function call. As far as I'm aware, <b>this iXML feature is not
+                  currently supported by any other implementation</b> and whilst having been
+               proposed as an additional part of iXML, decisions on it have not yet been made.</li>
+         </ul>
          <p>For both these grammars, there is also a 'reduced tree' version which truncates the very
-            deep trees that normally result from parsing and a suitable moderately large expression
-            to be parsed is included for each grammar. Each of the (iXML) grammars contains a date-stamp in a
-            comment near the top which can be used to verify whether it is 'up to date', by
-            comparison with the history of the file: <a href="https://github.com/qt4cg/qtspecs/blob/master/specifications/grammar-40/xpath-grammar.xml">https://github.com/qt4cg/qtspecs/blob/master/specifications/grammar-40/xpath-grammar.xml</a>
+            deep trees that normally result from parsing. A suitable moderately large sample
+            expression to test parsing is included for each grammar.</p>
+         <p> Each of the (iXML) grammars contains a date-stamp in a comment near the top which can
+            be used to verify whether it is 'up to date', by comparison with the history of the
+            file: <a href="https://github.com/qt4cg/qtspecs/blob/master/specifications/grammar-40/xpath-grammar.xml">https://github.com/qt4cg/qtspecs/blob/master/specifications/grammar-40/xpath-grammar.xml</a>
          </p>
          <p>Whilst the grammars have been tested across the 35k expressions of the QT4 test sets,
             with only some 50 failures, there are known areas where the grammar fails or produces
             ambiguity. These notes are intended to explain.</p>
          <section>
             <h4>
-               <a id="d2e577">Failures</a>
+               <a id="d2e606">Failures</a>
             </h4>
             <ul>
                <li>The iXML grammars (which have to effectively act as their own tokenizers) are
@@ -627,7 +644,7 @@ Multiple nodes may not be the final parse result:&lt;expression/&gt;,@compare,&l
          </section>
          <section>
             <h4>
-               <a id="d2e596">Ambiguities</a>
+               <a id="d2e625">Ambiguities</a>
             </h4>
             <p>The grammars, lacking a tokenizer and the ability to look-ahead without consumption,
                retain a few ambiguities that are inhernet in the basic EBNF grammars (i.e. without
@@ -644,7 +661,7 @@ Multiple nodes may not be the final parse result:&lt;expression/&gt;,@compare,&l
          </section>
          <section>
             <h4>
-               <a id="d2e621">The Set-subtraction operator</a>
+               <a id="d2e650">The Set-subtraction operator</a>
             </h4>
             <p>The grammars use an experimental 'set-subtraction' operator <code>¬</code> to
                indicate certain reserved keywords such as limitations on function names: </p>
@@ -665,11 +682,11 @@ reservedFunctionNames: types |
       </section>
       <section>
          <h3>
-            <a id="d2e658">Change history</a>
+            <a id="d2e687">Change history</a>
          </h3>
          <section>
             <h4>
-               <a id="d2e662">Version 1.1 - 2022nov01</a>
+               <a id="d2e691">Version 1.1 - 2022nov01</a>
             </h4>
             <ul>
                <li>Improvements to error reporting.</li>
@@ -682,7 +699,7 @@ reservedFunctionNames: types |
          </section>
          <section>
             <h4>
-               <a id="d2e680">Version 1.3 - 2023may27</a>
+               <a id="d2e709">Version 1.3 - 2023may27</a>
             </h4>
             <ul>
                <li>Tooltip help boxes added.</li>
@@ -697,7 +714,7 @@ reservedFunctionNames: types |
          </section>
          <section>
             <h4>
-               <a id="d2e698">Version 1.4 - 2024feb13</a>
+               <a id="d2e727">Version 1.4 - 2024feb13</a>
             </h4>
             <ul>
                <li>Added syntax highlighting option to formatted iXML display</li>
@@ -728,7 +745,7 @@ reservedFunctionNames: types |
          </section>
          <section>
             <h4>
-               <a id="d2e765">Version 1.5 - 2024sep23</a>
+               <a id="d2e794">Version 1.5 - 2024sep23</a>
             </h4>
             <ul>
                <li>Corrected <a href="https://github.com/johnlumley/jwiXML/issues/10">issue#10</a>