Expr
consists of one or more occurrences of ExprSingle, separated by commas:
- xs:integer) and function types
xs:integer) and function types
An xs:string
@@ -4629,13 +4587,8 @@ declare variable $orange-fruit as my:fruit := "orange";
-
@@ -4964,13 +4915,8 @@ in the following two situations:
-
@@ -5216,12 +5160,7 @@ name.
The &language; operator that has lowest precedence is the
Comments may be used to provide information relevant to programmers who read
A
&language; provides the following operators for combining sequences of nodes:
@@ -13088,11 +12877,7 @@ the results are the same. multiplication, division, and modulus, in their usual binary and unary forms.A subtraction operator must be preceded by whitespace if
it could otherwise be interpreted as part of the previous token. For
@@ -13266,8 +13051,7 @@ course to the use of parentheses. Therefore, the following two examples have dif
String concatenation expressions allow the string representations of values to be
concatenated. In &language;, String templates provide an alternative way of constructing strings. For example,
the expression $a || $b is equivalent to
@@ -13287,11 +13071,7 @@ course to the use of parentheses. Therefore, the following two examples have dif
`Pi is { round(math:pi(), 4) }` returns the string "Pi is 3.1416".
true or false.
The first step in evaluating a logical expression is to find the
Constructors are provided for element, attribute, document, text, comment, and processing instruction nodes. Two kinds of constructors are provided:
A direct processing instruction constructor creates a processing instruction node whose An alternative way to create nodes is by using a
@@ -15708,11 +15446,7 @@ element {
A computed attribute constructor creates a new attribute node,
@@ -16031,9 +15765,7 @@ attribute {
All document node constructors are computed constructors. The result of a document node constructor is a new document node, with its own node identity. All text node constructors are computed constructors. The result of a text node constructor is a new text node, with its own node identity. A computed processing instruction constructor ( A computed comment constructor ( The complete syntax of a FLWOR expression is shown here, and relevant parts
- of the syntax are repeated in subsequent sections of this document. The overall syntax of a FLWOR expression is shown here, and relevant parts
+ of the syntax are expanded in subsequent sections. XPath provides two closely-related expressions, called For and Let
- expressions, that can be used to bind variables to values. The complete syntax is shown
- here, and relevant parts
- of the syntax are repeated in subsequent sections of this document. The semantics of FLWOR expressions are based on a concept called a A The purpose of a If a Like a A A The purpose of a The purpose of an An The A XPath allows a variable to be declared and bound to a value using a A let expression is evaluated as follows: A map can be created using a An array is created using an
@@ -19707,14 +19333,7 @@ processing with JSON processing. A Maps and arrays can be filtered using the construct &language; allows conditional expressions to be written in several different ways. The braced expression The
The Quantified expressions support existential and universal quantification. The
value of a quantified expression is always A The boolean
operator The Sometimes
it is necessary to convert a value to a specific datatype. For this
@@ -21811,14 +21389,11 @@ The result of a cast expression is one of the following:
&language;
provides an expression that tests whether a given value
is castable into a given target type.
@@ -21976,10 +21551,11 @@ usa:zipcode?). &language; provides an
expression called
@@ -22306,17 +21881,7 @@ return string-join($chopped, '; ')
left-hand expression as the first argument to the function. The arrow syntax is particularly helpful when applying multiple
@@ -22547,10 +22112,7 @@ return $rectangle =?> area()
A An extension expression consists of one or more The productions should be read as follows: A function call consists of an A query can be assembled from one or more fragments called
@@ -168,8 +158,7 @@
@@ -307,9 +292,7 @@
The ordering mode declaration is retained from earlier XQuery versions,
@@ -356,9 +337,7 @@
@@ -417,9 +393,7 @@ declaration">A
@@ -509,10 +483,7 @@ return (
@@ -999,9 +965,7 @@ return $node/xx:bing]]>
XQuery uses annotations to declare properties associated with functions (inline or declared
@@ -1195,20 +1155,12 @@ return $node/xx:bing]]>
A function declaration specifies whether the implementation of the function
@@ -1945,10 +1887,7 @@ local:depth(doc("partlist.xml"))
the An item type declaration adds a The syntax is as follows: A named record declaration serves as both a Typically, a particular option will be recognized by some implementations and not by others.
The syntax is designed so that option declarations can be successfully parsed by all
implementations. The Where an attribute is defined to contain a The grammar for patterns uses the notation defined in The complete grammar for patterns is listed in The lexical rules for patterns are the same as the lexical rules
for XPath expressions, as defined in Patterns fall into three groups: A Node Patterns are used to match XDM nodes. The The The An alternative solution to this requirement is to use map constructors: see
- target property is let, where, order by,
and return, which introduce some of the clauses used in FLWOR expressions
(but this is not a complete list of such clauses.)for clause is used for iteration. Each variable in a for clause iterates over a
sequence, an array, or a map.let clause is to bind values to one or more variables. Each variable is bound to the result of evaluating an expression.let clause contains multiple variables, it is semantically equivalent to multiple let clauses, each containing a single variable. For example, the clausefor clause, a window clause
@@ -17832,8 +17490,7 @@ group by $symbol]]>
where clause serves as a filter for the tuples in its input tuple stream. The expression in the where clause, called the while clause serves as a filter for the tuples
@@ -17963,8 +17619,7 @@ return $x]]>
count clause is to enhance the tuple
@@ -18036,10 +17691,7 @@ return <product rank="{ $rank }">{ $p/name, $p/sales }</product>
order by clause is to impose a value-based ordering on the tuples in the tuple stream. The output tuple stream of the order by clause contains the same tuples as its input tuple stream, but the tuples may be in a different order.order by clause contains one or more ordering specifications, called return clause is the final clause of a FLWOR expression. The return clause is evaluated once for each tuple in its input tuple stream, using the variable bindings in the respective tuples, in the order in which these tuples appear in the input tuple stream. The results of these evaluations are concatenated, as if by the for expression is evaluated as follows:Lookup has two parts: the KeySpecifier
@@ -20003,12 +19622,7 @@ processing with JSON processing.INPUT?[FILTER].
@@ -20667,10 +20280,7 @@ return $map?[?key ge 2]
if (C) then {T} is equivalent to the
@@ -20816,8 +20419,7 @@ else
otherwise expression returns the value of its first operand, unless this is an empty
@@ -20858,13 +20460,7 @@ else
true or false.some or every,
followed by one or more in-clauses that are used to bind variables,
@@ -21172,14 +20767,7 @@ raised by the XQuery implementation and errors explicitly raised in a
query using the fn:error() function.instance of
@@ -21548,12 +21135,7 @@ matching; otherwise it returns false. For example:treat that can be used to modify the
validate expression can be used to validate a
@@ -22869,10 +22431,7 @@ so that fallback behavior can be defined for implementations that do not
recognize a particular extension.version="1.0" otherwise.version="1.0" otherwise.(: ... :). All other provisions of the XPath grammar apply
where relevant, for example the rules for whitespace handling and
extra-grammatical constraints.version="1.0" otherwise.version="1.0" otherwise.version="1.0" otherwise.version="1.0" otherwise.item()*.
The
A Map Constructor is a new kind of expression added to the syntax of XPath.
-Map Constructors are defined in XPath 3.1. They are available in XSLT 3.0 whether - or not XPath 3.1 is supported. The specification given here is intended to be - identical to the specification in XPath 3.1.
-The syntax of MapConstructor as an additional alternative.
In some circumstances, it is necessary to include whitespace
- before or after the colon to ensure that this grammar is correctly parsed; this
- arises for example when the KeyExpr ends with a name and the
- ValueExpr starts with a name.
The value of the expression is a map whose entries correspond to the key-value pairs
- obtained by evaluating the successive KeyExpr and ValueExpr
- expressions.
Each KeyExpr expression is evaluated and atomized; a type error xs:untypedAtomic it is converted to xs:string. The
- associated value is the result of evaluating the corresponding
- ValueExpr. If two or more entries have the
For example, the following expression constructs a map with seven entries:
-Unlike the
This appendix gives the grammar for XSLT patterns. The top-level rule for
+ patterns is
This is an extension of the grammar for XPath expressions.
+ The extended BNF notation is explained at
Productions that are identical to their counterparts in XPath 4.0 are suffixed
+ XP and link to the corresponding production in the XPath 4.0 specification.
+ Productions whose names end with P are restrictions of the corresponding
+ XPath production: for example, ArgumentListP is a restricted form of the
+ XPath production ArgumentList.
The following symbols represent portions of terminal symbols; they are not + themselves terminal symbols referenced in the grammar.
+This appendix provides a summary of XSLT language features whose effect is explicitly
diff --git a/specifications/xslt-40/style/convert-grammar.xsl b/specifications/xslt-40/style/convert-grammar.xsl
index 541d86140b..3cac9b9872 100644
--- a/specifications/xslt-40/style/convert-grammar.xsl
+++ b/specifications/xslt-40/style/convert-grammar.xsl
@@ -52,27 +52,5 @@
An [member,member, ... ]. The members, which in general are sequences,
-are serialized in the form (item,item, ...) where the items are serialized by
+of a [member, member, ... ]. The members, which in general are sequences,
+are serialized in the form (item, item, ...) where the items are serialized by
applying these rules recursively. The items are separated by commas
-(not by the item-separator character). The enclosing parentheses are optional if the sequence
+(not by the item-separator character). The enclosing parentheses are optional if the sequence
has length one.
The serializer should avoid outputting the parentheses if it is able
to determine the length of the sequence before serializing the first item; but it is allowed
diff --git a/style/assemble-spec.xsl b/style/assemble-spec.xsl
index 1617c6a707..c163557709 100644
--- a/style/assemble-spec.xsl
+++ b/style/assemble-spec.xsl
@@ -13,9 +13,10 @@
-->
-
+
+
+
+
diff --git a/style/xmlspec-override.xsl b/style/xmlspec-override.xsl
index c9503c2ae5..8b8f6c1d50 100644
--- a/style/xmlspec-override.xsl
+++ b/style/xmlspec-override.xsl
@@ -14,12 +14,6 @@
... which see for decls of 'show-markup', 'show.diff.markup', etc.
-->
-
-