Browsable XSLT Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: xmlware/xquery/rosendal/extracted
Source used for this grammar: Peter Rosendal, XQuery 1.1, XQuery.ecore, 2005/06/13 [Atlantic]

Summary

Total 32 production rules with 33 top alternatives and 165 symbols.
Vocabulary: 41 = 21 nonterminals + 2 terminals + 18 labels + 0 markers.
Total 21 nonterminal symbols: 21 defined (XQueryProgram, Expression, ExecutableExpression, Node, FLWOR, FunctionCall, FunctionDeclaration, ElementNode, AttributeNode, TextNode, ReturnXPath, XPath, BooleanExp, For, Let, Where, OrderBy, Return, Boolean, Integer, String), 0 root (—), 2 top (Boolean, Integer), 0 bottom (—).
Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
Total 18 labels: [expressions]², [parentNode], [returnEx], [xQueryProgram], [functionDeclaration], [name]³, [for]², [let]², [where]², [orderBy], [return], [parameters], [expression]⁴, [nodes]², [value]², [functionCall], [var]², [flwor]⁵.

XQueryProgram ::=
	[expressions]::ExecutableExpression+

Expression ::=
	ExecutableExpression

Expression ::=
	Node

Expression ::=
	ReturnXPath

Expression ::=
	[parentNode]::ElementNode [returnEx]::Return

ExecutableExpression ::=
	FLWOR

ExecutableExpression ::=
	FunctionCall

ExecutableExpression ::=
	FunctionDeclaration

ExecutableExpression ::=
	[xQueryProgram]::XQueryProgram [functionDeclaration]::FunctionDeclaration

Node ::=
	ElementNode

Node ::=
	AttributeNode

Node ::=
	[name]::String

FLWOR ::=
	[for]::For [let]::Let [where]::Where [orderBy]::OrderBy [return]::Return

FunctionCall ::=
	[name]::String [parameters]::XPath+

FunctionDeclaration ::=
	[name]::String [expression]::ExecutableExpression+

ElementNode ::=
	TextNode

ElementNode ::=
	[nodes]::Expression+

AttributeNode ::=
	[value]::String

TextNode ::=
	[nodes]::Expression+

ReturnXPath ::=
	XPath

ReturnXPath ::=
	[value]::String

XPath ::=
	BooleanExp

XPath ::=
	[functionCall]::FunctionCall [for]::For [let]::Let

BooleanExp ::=
	[where]::Where

For ::=
	[var]::String [flwor]::FLWOR [expression]::XPath

Let ::=
	[var]::String [flwor]::FLWOR [expression]::XPath

Where ::=
	[flwor]::FLWOR [expression]::BooleanExp

OrderBy ::=
	[flwor]::FLWOR

Return ::=
	[flwor]::FLWOR [expressions]::Expression+

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

String ::=
	string

Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated in September 2015. [↑]