QT4 CG Dashboard

These are the open pull requests and current branches. Where possible, a summary of the changes between the pull request or branch and the latest drafts is provided with a DeltaXignia pipeline.

Open PRs:
#2545
#2543
#2541
#2540
#2539
#2538
#2534
#2533
#2532
#2531
#2530
#2529
#2516
#2470
#2350
#2345
#2266
#2247
#2160
#2071
#2019

Pull requests in descending order

PR #2545: 2544 Drop xsl:record-type/@extensible

Pull request #2545 by michaelhkay.

Fix #2544

Changed files
  • specifications/xslt-40/src/element-catalog.xml
  • specifications/xslt-40/src/schema-for-xslt40.rnc
  • specifications/xslt-40/src/schema-for-xslt40.xsd
  • specifications/xslt-40/src/xslt.xml

PR #2541: 2525 JNodes: map constructor

Pull request #2541 by ChristianGruen.

I decided to treat JNodes with and without roots differently. I believe this is the best analogy for node constructors, which return the same result for embedded document and element nodes: ```xquery let $doc := document { <xml/> } let $new1 := <new>{ $doc/. }</new> let $new2 := <new>{ $doc/xml }</new> return deep-equal($new1, $new2) ``` Closes #2525

Changed files
  • specifications/xquery-40/src/expressions.xml

PR #2538: QT4CG-156-02 Follow on from 2520, esp re non-XML characters

Pull request #2538 by michaelhkay.

With atomic types being based on XSD 1.1, this affects text that concerns the definition of strings and characters

Changed files
  • specifications/xpath-datamodel-40/src/xpath-datamodel.xml
  • specifications/xpath-functions-40/src/function-catalog.xml
  • specifications/xpath-functions-40/src/xpath-functions.xml
  • specifications/xquery-40/src/ebnf.xml
  • specifications/xquery-40/src/expressions.xml

PR #2534: 2408 More misc editorial changes

Pull request #2534 by michaelhkay.

See #2408

Changed files
  • specifications/xpath-functions-40/src/analyze-string.xsd
  • specifications/xpath-functions-40/src/function-catalog.xml
  • specifications/xpath-functions-40/src/xpath-functions.xml
  • specifications/xquery-40/src/introduction.xml
  • specifications/xslt-40/src/xslt.xml
  • specifications/xslt-streaming-40/src/xslt-streaming.xml
  • specifications/xslt-xquery-serialization-40/src/xslt-xquery-serialization.xml

PR #2533: 2528 Update RFC reference (7159 -> 8259) for JSON

Pull request #2533 by michaelhkay.

Fix #2527 Fix #2528

Changed files
  • specifications/image-sources/anyType.xml
  • specifications/xpath-functions-40/src/function-catalog.xml
  • specifications/xpath-functions-40/src/xpath-functions.xml
  • specifications/xslt-40/src/xslt.xml
  • specifications/xslt-streaming-40/src/xslt-streaming.xml
  • specifications/xslt-xquery-serialization-40/src/bibl.xml
  • specifications/xslt-xquery-serialization-40/src/xslt-xquery-serialization.xml

PR #2531: QT4CG-154-02 Revise rules for setting stylesheet parameters

Pull request #2531 by michaelhkay.

Looking at the issues raised by this action I decided to make a couple of changes that are not purely editorial. * Confirming that an xsl:param in the used package cannot be overridden by an xsl:param or xsl:variable in the using package, because it is private (the 3.0 spec contained conflicting statements here). * Allowing a non-static xsl:param in the used package to be initialised using a non-static expression in the using package (thus allowing parameter values to be passed through transitively).

Changed files
  • specifications/xslt-40/src/xslt.xml

PR #2470: 1310 Functions fn:regex and ?matching-substrings

Pull request #2470 by michaelhkay.

Fix #1310 This proposal meets the requirement expressed in the cited issue, but goes some way beyond it. First, it proposes a new function fn:regex which effectively compiles a regular expression and returns a number of function items using that regular expression, so you can do for example ``` let $regex := regex("[A-Z][0-9]") return //e[$regex?matches(@att)] ``` to give imlementations a better chance of optimising repeated use of the same regex. Secondly, it proposes a new sub-function `regex()?matching-segments()` which returns similar information to `analyze-string()`, but as a map rather than as XML. The proposal needs a bit more editorial work (more notes and examples) but I'm interested at this stage to get feedback on whether the general direction is sound.

Changed files
  • specifications/xpath-functions-40/src/function-catalog.xml
  • specifications/xpath-functions-40/src/xpath-functions.xml

PR #2350: 708 An alternative proposal for generators

Pull request #2350 by michaelhkay.

This proposal has two ingredients (a) a single function generate-sequence() that produces a sequence of states from an initial state and a function that computes one state from the previous state (b) a definition of pipelining (aka lazy evaluation) and (currently incomplete) rules requiring certain operations to have a pipelined implementation.

Changed files
  • specifications/xpath-functions-40/src/function-catalog.xml
  • specifications/xpath-functions-40/src/xpath-functions.xml

PR #2345: 2299 Expand pipeline to allow arrow expression in path expression

Pull request #2345 by ruv.

Fix #2299 Supersedes PR #2309 Allow an arrow expression in a path expression (and, by implication, in a simple map expression): ```xquery $x => B() / foo ! bar => C() ! baz / quz ``` This implementation does not change the relative precedence of `/` and `!`. --- In this implementation we divide `UnaryExpr` to `SignedUnaryExpr` (always with a leading unary sign) and `UnsignedUnaryExpr` (always without a leading unary sign). And the new feature is supported only in the latter case, since in the former case we cannot avoid ambiguity: - an expression `- aaa => B() / ccc => D()` can be parsed both: - as `(- aaa ) => B() / ccc => D()` - and as `- ( aaa => B() / ccc ) => D()` - because `aaa => B() ` is the left-hand side operand of `/`; see also a [comment](https://github.com/qt4cg/qtspecs/issues/2299#issuecomment-3544885512).

Changed files
  • specifications/grammar-40/xpath-grammar.xml
  • specifications/xquery-40/src/expressions.xml

PR #2247: 716 Deferred Evaluation in XPath - the f:generator record

Pull request #2247 by dnovatchev.

This PR introduces the notion of deferred evaluation and presents the tool to achieve this - the built-in named record type `f:generator`. - Two major use cases are presented. - The fields of `f:generator` are defined. - All system-provided methods of `f:generator` are defined. - Examples of using each of the methods of `f:generator` are provided. - The formal equivalents of each of the system-provided methods of `f:generator` are provided in a separate appendix. <img width="1920" height="1080" alt="image" src="https://github.com/user-attachments/assets/65d04952-794f-4a81-ae64-c96217a9812d" />

Changed files
  • schema/xsl-query.dtd
  • specifications/xpath-functions-40/src/function-catalog.xml
  • specifications/xpath-functions-40/src/xpath-functions.xml

PR #2160: 2073 data model changes for JNodes and Sequences

Pull request #2160 by michaelhkay.

This is a first draft of a PR, giving the data model changes only, for a change to the JNode model affecting maps and arrays with sequence-valued entries. A sequence of length 2 or more now has children representing the items in the sequence. Although there is still an asymmetry between sequences of length 1 and longer sequences, it is more manageable than i the previous model.

Changed files
  • specifications/xpath-datamodel-40/src/xpath-datamodel.xml

PR #2071: 77c deep update

Pull request #2071 by michaelhkay.

Proposes a new fn:update function that can handle both JNodes and XNodes. (this is a branch on a branch, so I don't know how well the diff'ing will work; but look in F&O for the fn:update function)

Changed files
  • specifications/grammar-40/xpath-grammar.xml
  • specifications/image-sources/item-types.xml
  • specifications/xpath-datamodel-40/src/xpath-datamodel.xml
  • specifications/xpath-functions-40/src/function-catalog.xml
  • specifications/xpath-functions-40/src/xpath-functions.xml
  • specifications/xquery-40/src/expressions.xml
  • specifications/xslt-xquery-serialization-40/src/xslt-xquery-serialization.xml

PR #2019: 1776: XSLT template rules for maps and array

Pull request #2019 by michaelhkay.

Currently work In progress, committed so that the draft can be reviewed. Changes in three main areas: - Pattern syntax: patterns such as `?item` and `?parent?item` are defined to match items in a map by their key - Built-in template rules for on-no-match="shallow-copy-all". Revisits the built in template rules for this scenario. - General revision of the processing model for xsl:apply-templates applied to a tree of maps and arrays.

Changed files
  • specifications/grammar-40/xpath-grammar.xml
  • specifications/xpath-functions-40/src/function-catalog.xml
  • specifications/xslt-40/src/xslt.xml