Support validate type expression for built-in types

[CaiJimmy]

Adds initial support for XQuery validate type expressions using built-in XML Schema atomic types, such as xs:integer and xs:QName.

Because we already have a JSONiq validate type expression, with name ValidateIterator, with different runtime behaviour, I have renamed this one to JSONiqValidateIterator. And the one for XQuery is now called XQueryValidateIterator.

Most of the changes are moving codes and renaming to JSONiqValidateIterator

[github-actions]

QT3 Test Results - Parser: jsoniq

Regression baseline: run 32969703950

🎉 No regressions found for this build.

Summary of passed tests for jsoniq

Test Suite	Passing	Failing	Errors	Skipped	Total
app	1987	36	129	5	2157
array	208	0	1	0	209
fn	10008	375	366	386	11135
map	220	0	0	0	220
math	149	0	0	0	149
misc	705	86	30	50	871
op	4174	68	124	0	4366
prod	10409	648	942	208	12207
ser	321	21	1	0	343
xs	147	6	2	9	164
Total	28328	1240	1595	658	31821

Full analysis report: see analysis-jsoniq in artifacts.

Download detailed test results

[github-actions]

QT3 Test Results - Parser: xquery

Regression baseline: run 32969703950

🎉 No regressions found for this build.

✅ Improvement summary: 6 test(s) previously failing, errored, or skipped now pass.

Suite	Test file	Test case
array		array/sort.xml:array-sort-020
fn		fn/deep-equal.xml:K2-SeqDeepEqualFunc-37
prod		prod/FunctionCall.xml:FunctionCall-003
prod		prod/FunctionCall.xml:FunctionCall-007
prod		prod/FunctionCall.xml:FunctionCall-008
prod		prod/ValidateExpr.xml:validate-as-91011

Summary of passed tests for xquery

Test Suite	Passing	Failing	Errors	Skipped	Total
app	2027	35	90	5	2157
array	208	0	1	0	209
fn	10053	346	350	386	11135
map	220	0	0	0	220
math	149	0	0	0	149
misc	730	67	24	50	871
op	4266	19	81	0	4366
prod	10586	563	850	208	12207
ser	343	0	0	0	343
xs	153	0	2	9	164
Total	28735	1030	1398	658	31821

Full analysis report: see analysis-xquery in artifacts.

Download detailed test results