From a0d6e1e311c4480e52262ea32266767b830afae8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20Gr=C3=BCn?= <cg@basex.org>
Date: Tue, 21 May 2024 14:18:07 +0200
Subject: [PATCH 1/3] Parsing Functions: Empty input. Closes #1193

---
 .../src/function-catalog.xml                   | 18 +++++++++++-------
 1 file changed, 11 insertions(+), 7 deletions(-)

diff --git a/specifications/xpath-functions-40/src/function-catalog.xml b/specifications/xpath-functions-40/src/function-catalog.xml
index 9ffcff85d..8128c788f 100644
--- a/specifications/xpath-functions-40/src/function-catalog.xml
+++ b/specifications/xpath-functions-40/src/function-catalog.xml
@@ -2672,8 +2672,8 @@ format-number(12345, '0,###^0', {
    </fos:function>
    <fos:function name="parse-integer" prefix="fn">
       <fos:signatures>
-         <fos:proto name="parse-integer" return-type="xs:integer">
-            <fos:arg name="value" type="xs:string" example="'12345'"/>
+         <fos:proto name="parse-integer" return-type="xs:integer?">
+            <fos:arg name="value" type="xs:string?" example="'12345'"/>
             <fos:arg name="radix" type="xs:integer?" default="10"/>
          </fos:proto>
       </fos:signatures>
@@ -2686,6 +2686,7 @@ format-number(12345, '0,###^0', {
          <p>Converts a string to an integer, recognizing any radix in the range 2 to 36.</p>
       </fos:summary>
       <fos:rules>
+         <p>If <code>$value</code> is an empty sequence, the result is an empty sequence.</p>
          
          <p>The supplied <code>$radix</code> must be in the range 2 to 36 inclusive.</p>
          <p>The string <code>$value</code> is preprocessed by stripping all whitespace characters (including internal whitespace)
@@ -11461,8 +11462,8 @@ else QName("", $value)</eg>
    </fos:function>
    <fos:function name="parse-QName" prefix="fn" diff="add" at="B">
       <fos:signatures>
-         <fos:proto name="parse-QName" return-type="xs:QName">
-            <fos:arg name="value" type="xs:string"/>
+         <fos:proto name="parse-QName" return-type="xs:QName?">
+            <fos:arg name="value" type="xs:string?"/>
          </fos:proto>
       </fos:signatures>
       <fos:properties>
@@ -11474,8 +11475,9 @@ else QName("", $value)</eg>
          <p>Returns an <code>xs:QName</code> value formed by parsing an EQName.</p>
       </fos:summary>
       <fos:rules>
+            <p>If <code>$value</code> is an empty sequence, the result is an empty sequence.</p>
 
-            <p>Leading and trailing whitespace in <code>$value</code> is stripped.</p>
+            <p>Otherwise, leading and trailing whitespace in <code>$value</code> is stripped.</p>
             <p>If the resulting <code>$value</code> is castable to <code>xs:NCName</code>,
                the result is <code>fn:QName("", $value)</code>: that is, a QName in no namespace.</p>
             <p>Otherwise, if the resulting <code>$value</code> is in the lexical space of <code>xs:QName</code>
@@ -30480,8 +30482,8 @@ fold-left($input, false(), fn($result, $item, $pos) {
 
    <fos:function name="parse-uri" prefix="fn" diff="add">
       <fos:signatures>
-         <fos:proto name="parse-uri" return-type-ref="uri-structure-record">
-            <fos:arg name="uri" type="xs:string"/>
+         <fos:proto name="parse-uri" return-type-ref="uri-structure-record?">
+            <fos:arg name="uri" type="xs:string?"/>
             <fos:arg name="options" type="map(*)?" default="{}"/>
          </fos:proto>
       </fos:signatures>
@@ -30496,6 +30498,8 @@ fold-left($input, false(), fn($result, $item, $pos) {
       </fos:summary>
 
       <fos:rules>
+         <p>If <code>$uri</code> is an empty sequence, the result is an empty sequence.</p>
+
          <p>The function parses the <code>$uri</code> provided,
          returning a map containing its constituent parts: scheme,
          authority components, path, etc.

From ab52397c68a3d3fbc0a0a31793706f61e278356e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20Gr=C3=BCn?= <cg@basex.org>
Date: Tue, 21 May 2024 14:39:36 +0200
Subject: [PATCH 2/3] =?UTF-8?q?fn:parse-uri:=20$uri=20=E2=86=92=20$value?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .../xpath-functions-40/src/function-catalog.xml        | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/specifications/xpath-functions-40/src/function-catalog.xml b/specifications/xpath-functions-40/src/function-catalog.xml
index 8128c788f..72c0e07c2 100644
--- a/specifications/xpath-functions-40/src/function-catalog.xml
+++ b/specifications/xpath-functions-40/src/function-catalog.xml
@@ -30483,7 +30483,7 @@ fold-left($input, false(), fn($result, $item, $pos) {
    <fos:function name="parse-uri" prefix="fn" diff="add">
       <fos:signatures>
          <fos:proto name="parse-uri" return-type-ref="uri-structure-record?">
-            <fos:arg name="uri" type="xs:string?"/>
+            <fos:arg name="value" type="xs:string?"/>
             <fos:arg name="options" type="map(*)?" default="{}"/>
          </fos:proto>
       </fos:signatures>
@@ -30498,9 +30498,9 @@ fold-left($input, false(), fn($result, $item, $pos) {
       </fos:summary>
 
       <fos:rules>
-         <p>If <code>$uri</code> is an empty sequence, the result is an empty sequence.</p>
+         <p>If <code>$value</code> is an empty sequence, the result is an empty sequence.</p>
 
-         <p>The function parses the <code>$uri</code> provided,
+         <p>The function parses the <code>$value</code> provided,
          returning a map containing its constituent parts: scheme,
          authority components, path, etc.
          In addition to parsing URIs as defined by <bibref ref="rfc3986"/>
@@ -30553,7 +30553,7 @@ fold-left($input, false(), fn($result, $item, $pos) {
          components is case insensitive.</p>
 
          <p>Processing begins with a <emph>string</emph> that is equal
-         to the <code>$uri</code>. If the <emph>string</emph> contains
+         to the <code>$value</code>. If the <emph>string</emph> contains
          any backslashes (<code>\</code>), replace them with forward
          slashes (<code>/</code>).</p>
 
@@ -30836,7 +30836,7 @@ fold-left($input, false(), fn($result, $item, $pos) {
          <p>The following map is returned:</p>
 
          <eg>{
-  "uri": $uri,
+  "uri": $value,
   "scheme": <emph>scheme</emph>,
   "hierarchical": <emph>hierarchical</emph>,
   "authority": <emph>authority</emph>,

From 05101a0f1d3c2af3b8570eece76f2646d3cd0eee Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20Gr=C3=BCn?= <cg@basex.org>
Date: Mon, 12 Aug 2024 13:50:28 +0200
Subject: [PATCH 3/3] Use 'return-type-ref-occurs'

---
 specifications/xpath-functions-40/src/function-catalog.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/specifications/xpath-functions-40/src/function-catalog.xml b/specifications/xpath-functions-40/src/function-catalog.xml
index 72c0e07c2..10387e649 100644
--- a/specifications/xpath-functions-40/src/function-catalog.xml
+++ b/specifications/xpath-functions-40/src/function-catalog.xml
@@ -30482,7 +30482,7 @@ fold-left($input, false(), fn($result, $item, $pos) {
 
    <fos:function name="parse-uri" prefix="fn" diff="add">
       <fos:signatures>
-         <fos:proto name="parse-uri" return-type-ref="uri-structure-record?">
+         <fos:proto name="parse-uri" return-type-ref="uri-structure-record" return-type-ref-occurs="?">
             <fos:arg name="value" type="xs:string?"/>
             <fos:arg name="options" type="map(*)?" default="{}"/>
          </fos:proto>