XSLT 4.0 Patterns Grammar

Pattern::=(PredicatePattern | TypePattern | GNodePattern)
AbbrevForwardStepP::=(("@" NodeTest) | SimpleNodeTest)
AbbreviatedStep::=(".." | ("@" NodeTest) | SimpleNodeTest)
AbsolutePathExpr::=(("/" RelativePathExpr) | ("//" RelativePathExpr))
AdditiveExpr::=MultiplicativeExpr (("+" | "-") MultiplicativeExpr)
AndExpr::=ComparisonExpr ("and" ComparisonExpr)
AnyArrayType::="array" "(" "*" ")"
AnyFunctionType::=("function" | "fn") "(" "*" ")"
AnyItemTest::="item" "(" ")"
AnyMapType::="map" "(" "*" ")"
AnyNodeKindTest::="node" "(" ")"
AposStringLiteral::=("'" (EscapeApos | [']) "'")
Argument::=(ExprSingle | ArgumentPlaceholder)
ArgumentList::="(" ((PositionalArguments ("," KeywordArguments)) | KeywordArguments) ")"
ArgumentListP::="(" ArgumentP ")"
ArgumentP::=(VarRef | Constant)
ArgumentPlaceholder::="?"
ArrayConstructor::=(SquareArrayConstructor | CurlyArrayConstructor)
ArrayType::=(AnyArrayType | TypedArrayType)
ArrowExpr::=UnaryExpr (SequenceArrowTarget | MappingArrowTarget)
ArrowTarget::=(FunctionCall | RestrictedDynamicCall)
AttributeName::=EQName
AttributeTest::="attribute" "(" (NameTestUnion ("," TypeName)) ")"
Axis::=("ancestor" | "ancestor-or-self" | "attribute" | "child" | "descendant" | "descendant-or-self" | "following" | "following-or-self" | "following-sibling" | "following-sibling-or-self" | "namespace" | "parent" | "preceding" | "preceding-or-self" | "preceding-sibling" | "preceding-sibling-or-self" | "self") "::"
AxisStep::=(AbbreviatedStep | FullStep) Predicate
AxisStepP::=ForwardStepP Predicate
BaseChar::=[AA–ZZ aa–zz ÀÀ–ÖÖ ØØ–öö øø–ÿÿ ĀĀ–ıı ĴĴ–ľľ ŁŁ–ňň ŊŊ–žž ƀƀ–ǃǃ ǍǍ–ǰǰ ǴǴ–ǵǵ ǺǺ–ȗȗ ɐɐ–ʨʨ ʻʻ–ˁˁ ΆΆ ΈΈ–ΊΊ ΌΌ ΎΎ–ΡΡ ΣΣ–ώώ ϐϐ–ϖϖ ϚϚ ϜϜ ϞϞ ϠϠ ϢϢ–ϳϳ ЁЁ–ЌЌ ЎЎ–яя ёё–ќќ ўў–ҁҁ ҐҐ–ӄӄ ӇӇ–ӈӈ ӋӋ–ӌӌ ӐӐ–ӫӫ ӮӮ–ӵӵ ӸӸ–ӹӹ ԱԱ–ՖՖ ՙՙ աա–ֆֆ אא–תת װװ–ײײ ءء–غغ فف–يي ٱٱ–ڷڷ ںں–ھھ ۀۀ–ێێ ېې–ۓۓ ەە ۥۥ–ۦۦ अअ–हह ऽऽ क़क़–ॡॡ অঅ–ঌঌ এএ–ঐঐ ওও–নন পপ–রর লল শশ–হহ ড়ড়–ঢ়ঢ় য়য়–ৡৡ ৰৰ–ৱৱ ਅਅ–ਊਊ ਏਏ–ਐਐ ਓਓ–ਨਨ ਪਪ–ਰਰ ਲਲ–ਲ਼ਲ਼ ਵਵ–ਸ਼ਸ਼ ਸਸ–ਹਹ ਖ਼ਖ਼–ੜੜ ਫ਼ਫ਼ ੲੲ–ੴੴ અઅ–ઋઋ ઍઍ એએ–ઑઑ ઓઓ–નન પપ–રર લલ–ળળ વવ–હહ ઽઽ ૠૠ ଅଅ–ଌଌ ଏଏ–ଐଐ ଓଓ–ନନ ପପ–ରର ଲଲ–ଳଳ ଶଶ–ହହ ଽଽ ଡ଼ଡ଼–ଢ଼ଢ଼ ୟୟ–ୡୡ அஅ–ஊஊ எஎ–ஐஐ ஒஒ–கக ஙங–சச ஜஜ ஞஞ–டட ணண–தத நந–பப மம–வவ ஷஷ–ஹஹ అఅ–ఌఌ ఎఎ–ఐఐ ఒఒ–నన పప–ళళ వవ–హహ ౠౠ–ౡౡ ಅಅ–ಌಌ ಎಎ–ಐಐ ಒಒ–ನನ ಪಪ–ಳಳ ವವ–ಹಹ ೞೞ ೠೠ–ೡೡ അഅ–ഌഌ എഎ–ഐഐ ഒഒ–നന പപ–ഹഹ ൠൠ–ൡൡ กก–ฮฮ ะะ าา–ำำ เเ–ๅๅ ກກ–ຂຂ ຄຄ ງງ–ຈຈ ຊຊ ຍຍ ດດ–ທທ ນນ–ຟຟ ມມ–ຣຣ ລລ ວວ ສສ–ຫຫ ອອ–ຮຮ ະະ າາ–ຳຳ ຽຽ ເເ–ໄໄ ཀཀ–ཇཇ ཉཉ–ཀྵཀྵ ႠႠ–ჅჅ აა–ჶჶ ᄀᄀ ᄂᄂ–ᄃᄃ ᄅᄅ–ᄇᄇ ᄉᄉ ᄋᄋ–ᄌᄌ ᄎᄎ–ᄒᄒ ᄼᄼ ᄾᄾ ᅀᅀ ᅌᅌ ᅎᅎ ᅐᅐ ᅔᅔ–ᅕᅕ ᅙᅙ ᅟᅟ–ᅡᅡ ᅣᅣ ᅥᅥ ᅧᅧ ᅩᅩ ᅭᅭ–ᅮᅮ ᅲᅲ–ᅳᅳ ᅵᅵ ᆞᆞ ᆨᆨ ᆫᆫ ᆮᆮ–ᆯᆯ ᆷᆷ–ᆸᆸ ᆺᆺ ᆼᆼ–ᇂᇂ ᇫᇫ ᇰᇰ ᇹᇹ ḀḀ–ẛẛ ẠẠ–ỹỹ ἀἀ–ἕἕ ἘἘ–ἝἝ ἠἠ–ὅὅ ὈὈ–ὍὍ ὐὐ–ὗὗ ὙὙ ὛὛ ὝὝ ὟὟ–ώώ ᾀᾀ–ᾴᾴ ᾶᾶ–ᾼᾼ ιι ῂῂ–ῄῄ ῆῆ–ῌῌ ῐῐ–ΐΐ ῖῖ–ΊΊ ῠῠ–ῬῬ ῲῲ–ῴῴ ῶῶ–ῼῼ ΩΩ KK–ÅÅ ℮℮ ↀↀ–ↂↂ ぁぁ–ゔゔ ァァ–ヺヺ ㄅㄅ–ㄬㄬ 가가–힣힣 ]
BinaryDigit::=[01]
BinaryDigits::=(BinaryDigit ((BinaryDigit | "_") BinaryDigit))
BinaryIntegerLiteral::=("0b" BinaryDigits)
BracedAction::=EnclosedExpr
BracedURILiteral::="Q" "{" ([{}]) "}"
CastableExpr::=CastExpr ("castable" "as" CastTarget "?")
CastExpr::=PipelineExpr ("cast" "as" CastTarget "?")
CastTarget::=TypeName
Char::=[	 
 
   –� ]
ChoiceItemType::="(" ItemType ")"
CombiningChar::=[̀–ͅ ͠–͡ ҃–҆ ֑–֡ ֣–ֹ ֻ–ֽ ֿ ׁ–ׂ ׄ ً–ْ ٰ ۖ–ۜ ۝–۟ ۠–ۤ ۧ–ۨ ۪–ۭ ँ–ः ़ ा–ौ ् ॑–॔ ॢ–ॣ ঁ–ঃ ় া ি ী–ৄ ে–ৈ ো–্ ৗ ৢ–ৣ ਂ ਼ ਾ ਿ ੀ–ੂ ੇ–ੈ ੋ–੍ ੰ–ੱ ઁ–ઃ ઼ ા–ૅ ે–ૉ ો–્ ଁ–ଃ ଼ ା–ୃ େ–ୈ ୋ–୍ ୖ–ୗ ஂ–ஃ ா–ூ ெ–ை ொ–் ௗ ఁ–ః ా–ౄ ె–ై ొ–్ ౕ–ౖ ಂ–ಃ ಾ–ೄ ೆ–ೈ ೊ–್ ೕ–ೖ ം–ഃ ാ–ൃ െ–ൈ ൊ–് ൗ ั ิ–ฺ ็–๎ ັ ິ–ູ ົ–ຼ ່–ໍ ༘–༙ ༵ ༷ ༹ ༾ ༿ ཱ–྄ ྆–ྋ ྐ–ྕ ྗ ྙ–ྭ ྱ–ྷ ྐྵ ⃐–⃜ ⃡ 〪–〯 ゙ ゚ ]
Comment::=CommentStart (CommentContents | Comment) CommentEnd
CommentContent::=Char
CommentContents::=CommentContent
CommentEnd::=":)"
CommentStart::="(:"
CommentTest::="comment" "(" ")"
ComparisonExpr::=OtherwiseExpr ((ValueComp | GeneralComp | NodeComp) OtherwiseExpr)
Constant::=(StringLiteral | ("-" NumericLiteral) | QNameLiteral | ("true" "(" ")") | ("false" "(" ")"))
ContextValueRef::="."
CurlyArrayConstructor::="array" EnclosedExpr
DecDigit::=[0–9]
DecimalLiteral::=(("." Digits) | (Digits "." Digits))
Digit::=[00–99 ٠٠–٩٩ ۰۰–۹۹ ००–९९ ০০–৯৯ ੦੦–੯੯ ૦૦–૯૯ ୦୦–୯୯ ௧௧–௯௯ ౦౦–౯౯ ೦೦–೯೯ ൦൦–൯൯ ๐๐–๙๙ ໐໐–໙໙ ༠༠–༩༩ ]
Digits::=(DecDigit ((DecDigit | "_") DecDigit))
DocumentTest::="document-node" "(" (ElementTest | SchemaElementTest | NameTestUnion) ")"
DoubleLiteral::=(("." Digits) | (Digits ("." Digits))) [eE] [+-] Digits
DynamicFunctionCall::=PostfixExpr PositionalArgumentList
ElementName::=EQName
ElementTest::="element" "(" (NameTestUnion ("," TypeName "?")) ")"
EnclosedExpr::="{" Expr "}"
EnumerationType::="enum" "(" StringLiteral ")"
EQName::=(QName | URIQualifiedName)
EscapeApos::="''"
EscapeQuot::=""""
Expr::=ExprSingle
ExprSingle::=(ForExpr | LetExpr | QuantifiedExpr | IfExpr)
Extender::=[·· ːː ˑˑ ·· ــ ๆๆ ໆໆ 々々 〱〱–〵〵 ゝゝ–ゞゞ ーー–ヾヾ ]
FieldDeclaration::=FieldName "?" ("as" SequenceType)
FieldName::=(NCName | StringLiteral)
FilterExpr::=PostfixExpr Predicate
FilterExprAM::=PostfixExpr "?[" Expr "]"
ForBinding::=(ForItemBinding | ForMemberBinding | ForEntryBinding)
ForClause::="for" ForBinding
ForEntryBinding::=((ForEntryKeyBinding ForEntryValueBinding) | ForEntryValueBinding) PositionalVar "in" ExprSingle
ForEntryKeyBinding::="key" VarNameAndType
ForEntryValueBinding::="value" VarNameAndType
ForExpr::=ForClause ForLetReturn
ForItemBinding::=VarNameAndType PositionalVar "in" ExprSingle
ForLetReturn::=(ForExpr | LetExpr | ("return" ExprSingle))
ForMemberBinding::="member" VarNameAndType PositionalVar "in" ExprSingle
ForwardAxisP::=(("child" "::") | ("descendant" "::") | ("attribute" "::") | ("self" "::") | ("descendant-or-self" "::") | ("namespace" "::"))
ForwardStepP::=((ForwardAxisP NodeTest) | AbbrevForwardStepP)
FullStep::=Axis NodeTest
FunctionBody::=EnclosedExpr
FunctionCall::=EQName ArgumentList
FunctionCallP::=OuterFunctionName ArgumentListP
FunctionItemExpr::=(NamedFunctionRef | InlineFunctionExpr)
FunctionSignature::="(" ParamList ")" TypeDeclaration
FunctionType::=(AnyFunctionType | TypedFunctionType)
GeneralComp::=("=" | "!=" | "<" | "<=" | ">" | ">=")
GNodePattern::=UnionExprP
GNodeType::="gnode" "(" ")"
HexDigit::=[0–9a–fA–F]
HexDigits::=(HexDigit ((HexDigit | "_") HexDigit))
HexIntegerLiteral::=("0x" HexDigits)
Ideographic::=[&#x4e00;一–&#x9fa5;龥 &#x3007;〇 &#x3021;〡–&#x3029;〩 ]
IfExpr::="if" "(" Expr ")" (UnbracedActions | BracedAction)
ImplicitlyAllowedWhitespace::=WhitespaceChar
InlineFunctionExpr::=("function" | "fn") FunctionSignature FunctionBody
InstanceofExpr::=TreatExpr ("instance" "of" SequenceType)
IntegerLiteral::=Digits
IntersectExceptExpr::=InstanceofExpr (("intersect" | "except") InstanceofExpr)
IntersectExceptExprP::=PathExprP (("intersect" | "except") PathExprP)
ItemType::=(RegularItemType | FunctionType | TypeName | ChoiceItemType)
JNodeType::="jnode" "(" (("*" | NCName | Constant) ("," ("*" | SequenceType))) ")"
KeySpecifier::=(NCName | Literal | ContextValueRef | VarRef | ParenthesizedExpr | LookupWildcard)
KeywordArgument::=EQName ":=" Argument
KeywordArguments::=KeywordArgument
LetArrayBinding::="$" "[" VarNameAndType "]" TypeDeclaration ":=" ExprSingle
LetBinding::=(LetValueBinding | LetSequenceBinding | LetArrayBinding | LetMapBinding)
LetClause::="let" LetBinding
LetExpr::=LetClause ForLetReturn
LetMapBinding::="$" "{" VarNameAndType "}" TypeDeclaration ":=" ExprSingle
LetSequenceBinding::="$" "(" VarNameAndType ")" TypeDeclaration ":=" ExprSingle
Letter::=(BaseChar | Ideographic)
LetValueBinding::=VarNameAndType ":=" ExprSingle
Literal::=(NumericLiteral | StringLiteral | QNameLiteral)
LocalPart::=NCNameToken
Lookup::="?" KeySpecifier
LookupExpr::=PostfixExpr Lookup
LookupWildcard::="*"
MapConstructor::="map" "{" MapConstructorEntry "}"
MapConstructorEntry::=ExprSingle (":" ExprSingle)
MappingArrowTarget::="=!>" ArrowTarget
MapType::=(AnyMapType | TypedMapType)
MethodCall::=PostfixExpr "=?>" NCName PositionalArgumentList
MultiplicativeExpr::=UnionExpr (("*" | "×" | "div" | "÷" | "idiv" | "mod") UnionExpr)
NamedFunctionRef::=EQName "#" IntegerLiteral
NamespaceNodeTest::="namespace-node" "(" ")"
NameTest::=(EQName | Wildcard)
NameTestUnion::=NameTest
NCName::=QName
NCNameColonStar::=NCNameToken ":" "*"
NCNameToken::=Nmstart Nmchar
Nmchar::=(Letter | CombiningChar | Extender | Digit | "." | "-" | "_")
Nmstart::=(Letter | "_")
NodeComp::=("is" | "is-not" | NodePrecedes | NodeFollows | "precedes-or-is" | "follows-or-is")
NodeFollows::=(">>" | "follows")
NodeKindTest::=(DocumentTest | ElementTest | AttributeTest | SchemaElementTest | SchemaAttributeTest | PITest | CommentTest | TextTest | NamespaceNodeTest | AnyNodeKindTest)
NodePrecedes::=("<<" | "precedes")
NodeTest::=(UnionNodeTest | SimpleNodeTest)
NumericLiteral::=(IntegerLiteral | HexIntegerLiteral | BinaryIntegerLiteral | DecimalLiteral | DoubleLiteral)
OccurrenceIndicator::=("?" | "*" | "+")
OrExpr::=AndExpr ("or" AndExpr)
OtherwiseExpr::=StringConcatExpr ("otherwise" StringConcatExpr)
OuterFunctionName::=EQName
ParamList::=VarNameAndType
ParenthesizedExpr::="(" Expr ")"
ParenthesizedPattern::="(" Pattern ")"
PathExpr::=(AbsolutePathExpr | RelativePathExpr)
PathExprP::=(RootedPath | ("/" RelativePathExprP) | ("//" RelativePathExprP) | RelativePathExprP)
PipelineExpr::=ArrowExpr ("->" ArrowExpr)
PITest::="processing-instruction" "(" (NCName | StringLiteral) ")"
PositionalArgumentList::="(" PositionalArguments ")"
PositionalArguments::=Argument
PositionalVar::="at" VarName
PostfixExpr::=(PrimaryExpr | FilterExpr | DynamicFunctionCall | LookupExpr | MethodCall | FilterExprAM)
PostfixExprP::=(FunctionCallP | ParenthesizedPattern) Predicate
Predicate::="[" Expr "]"
PredicatePattern::="." Predicate
PrimaryExpr::=(Literal | VarRef | ParenthesizedExpr | ContextValueRef | FunctionCall | FunctionItemExpr | MapConstructor | ArrayConstructor | StringTemplate | UnaryLookup)
QName::=(NCNameToken ":") LocalPart
QNameLiteral::="#" EQName
QuantifiedExpr::=("some" | "every") QuantifierBinding "satisfies" ExprSingle
QuantifierBinding::=VarNameAndType "in" ExprSingle
QuotStringLiteral::=(""" (EscapeQuot | ["]) """)
RangeExpr::=AdditiveExpr ("to" AdditiveExpr)
RecordType::="record" "(" FieldDeclaration ")"
RegularItemType::=(AnyItemTest | NodeKindTest | GNodeType | JNodeType | MapType | ArrayType | RecordType | EnumerationType)
RelativePathExpr::=StepExpr (("/" | "//") StepExpr)
RelativePathExprP::=StepExprP (("/" | "//") StepExprP)
RestrictedDynamicCall::=(VarRef | ParenthesizedExpr | FunctionItemExpr | MapConstructor | ArrayConstructor) PositionalArgumentList
RootedPath::=VarRef Predicate (("/" | "//") RelativePathExprP)
SchemaAttributeTest::="schema-attribute" "(" AttributeName ")"
SchemaElementTest::="schema-element" "(" ElementName ")"
Selector::=(EQName | Wildcard | ("get" "(" ExprSingle ")"))
SequenceArrowTarget::="=>" ArrowTarget
SequenceType::=(("empty-sequence" "(" ")") | (ItemType OccurrenceIndicator))
SimpleMapExpr::=PathExpr ("!" PathExpr)
SimpleNodeTest::=(TypeTest | Selector)
SquareArrayConstructor::="[" ExprSingle "]"
StarColonNCName::="*" ":" NCNameToken
StepExpr::=(PostfixExpr | AxisStep)
StepExprP::=(PostfixExprP | AxisStepP)
StringConcatExpr::=RangeExpr ("||" RangeExpr)
StringLiteral::=(AposStringLiteral | QuotStringLiteral)
StringTemplate::="`" (StringTemplateFixedPart | StringTemplateVariablePart) "`"
StringTemplateFixedPart::=(Char | "{{" | "}}" | "``")
StringTemplateVariablePart::=EnclosedExpr
TextTest::="text" "(" ")"
TreatExpr::=CastableExpr ("treat" "as" SequenceType)
TypedArrayType::="array" "(" SequenceType ")"
TypeDeclaration::="as" SequenceType
TypedFunctionParam::=("$" EQName "as") SequenceType
TypedFunctionType::=("function" | "fn") "(" TypedFunctionParam ")" "as" SequenceType
TypedMapType::="map" "(" ItemType "," SequenceType ")"
TypeName::=EQName
TypePattern::="~" ItemType Predicate
TypeTest::=(NodeKindTest | JNodeType)
UnaryExpr::=("-" | "+") ValueExpr
UnaryLookup::=Lookup
UnbracedActions::="then" ExprSingle "else" ExprSingle
UnionExpr::=IntersectExceptExpr (("union" | "|") IntersectExceptExpr)
UnionExprP::=IntersectExceptExprP (("union" | "|") IntersectExceptExprP)
UnionNodeTest::="(" SimpleNodeTest ")"
URIQualifiedName::=BracedURILiteral (NCNameToken ":") NCNameToken
URIQualifiedStar::=BracedURILiteral "*"
ValueComp::=("eq" | "ne" | "lt" | "le" | "gt" | "ge")
ValueExpr::=(SimpleMapExpr)
VarName::="$" EQName
VarNameAndType::="$" EQName TypeDeclaration
VarRef::="$" EQName
WhitespaceChar::=[&#x0009; &#x000D; &#x000A; &#x0020; ]
Wildcard::=("*" | NCNameColonStar | StarColonNCName | URIQualifiedStar)