Browsable XPath Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: xmlware/xpath/xpath-1/w3c/w3c-19991116/extracted
Source used for this grammar: W3C, XML Path Language (XPath), Version 1.0, xmlspec-v20.dtd, 16 November 1999 [Source]

Summary

• Total 37 production rules with 118 top alternatives and 371 symbols.
• Vocabulary: 133 = 42 nonterminals + 54 terminals + 37 labels + 0 markers.
• Total 42 nonterminal symbols: 37 defined (LocationPath, AbsoluteLocationPath, RelativeLocationPath, Step, AxisSpecifier, AxisName, NodeTest, Predicate, PredicateExpr, AbbreviatedAbsoluteLocationPath, AbbreviatedRelativeLocationPath, AbbreviatedStep, AbbreviatedAxisSpecifier, Expr, PrimaryExpr, FunctionCall, Argument, UnionExpr, PathExpr, FilterExpr, OrExpr, AndExpr, EqualityExpr, RelationalExpr, AdditiveExpr, MultiplicativeExpr, UnaryExpr, ExprToken, Number, Operator, OperatorName, MultiplyOperator, VariableReference, NameTest, NodeType, ExprWhitespace, Digits), 0 root (—), 2 top (ExprToken, ExprWhitespace), 5 bottom (QName ², Literal ³, S, FunctionName ², NCName).
• Total 54 terminal symbols: 16 keywords ("ancestor", "attribute", "child", "descendant", "following", "namespace", "parent", "preceding", "self", "or" ², "and" ², "div" ², "mod" ², "comment", "text", "node"), 0 letters (—), 10 numerics ("0", "1", "2", "3", "4", "5", "6", "7", "8", "9"), 23 signs ("/" ⁴, "::" ², "(" ⁵, ")" ⁵, "[" ², "]" ², "//" ⁴, "." ⁴, ".." ², "@" ², "," ², "|" ², "=" ², "!=" ², "<" ², ">" ², "<=" ², ">=" ², "+" ², "-" ³, "*" ³, "$", ":").
• Total 37 labels: [NT-LocationPath], [NT-AbsoluteLocationPath], [NT-RelativeLocationPath], [NT-Step], [NT-AxisSpecifier], [NT-AxisName], [NT-NodeTest], [NT-Predicate], [NT-PredicateExpr], [NT-AbbreviatedAbsoluteLocationPath], [NT-AbbreviatedRelativeLocationPath], [NT-AbbreviatedStep], [NT-AbbreviatedAxisSpecifier], [NT-Expr], [NT-PrimaryExpr], [NT-FunctionCall], [NT-Argument], [NT-UnionExpr], [NT-PathExpr], [NT-FilterExpr], [NT-OrExpr], [NT-AndExpr], [NT-EqualityExpr], [NT-RelationalExpr], [NT-AdditiveExpr], [NT-MultiplicativeExpr], [NT-UnaryExpr], [NT-ExprToken], [NT-Number], [NT-Operator], [NT-OperatorName], [NT-MultiplyOperator], [NT-VariableReference], [NT-NameTest], [NT-NodeType], [NT-ExprWhitespace], [NT-Digits].

Syntax

LocationPath ::=
	[NT-LocationPath]::(RelativeLocationPath | AbsoluteLocationPath)

AbsoluteLocationPath ::=
	[NT-AbsoluteLocationPath]::("/" RelativeLocationPath? | AbbreviatedAbsoluteLocationPath)

RelativeLocationPath ::=
	[NT-RelativeLocationPath]::(Step | RelativeLocationPath "/" Step | AbbreviatedRelativeLocationPath)

Step ::=
	[NT-Step]::(AxisSpecifier NodeTest Predicate* | AbbreviatedStep)

AxisSpecifier ::=
	[NT-AxisSpecifier]::(AxisName "::" | AbbreviatedAxisSpecifier)

AxisName ::=
	[NT-AxisName]::("ancestor" | "ancestor-or-self" | "attribute" | "child" | "descendant" | "descendant-or-self" | "following" | "following-sibling" | "namespace" | "parent" | "preceding" | "preceding-sibling" | "self")

NodeTest ::=
	[NT-NodeTest]::(NameTest | NodeType "(" ")" | "processing-instruction" "(" Literal ")")

Predicate ::=
	[NT-Predicate]::("[" PredicateExpr "]")

PredicateExpr ::=
	[NT-PredicateExpr]::Expr

AbbreviatedAbsoluteLocationPath ::=
	[NT-AbbreviatedAbsoluteLocationPath]::("//" RelativeLocationPath)

AbbreviatedRelativeLocationPath ::=
	[NT-AbbreviatedRelativeLocationPath]::(RelativeLocationPath "//" Step)

AbbreviatedStep ::=
	[NT-AbbreviatedStep]::("." | "..")

AbbreviatedAxisSpecifier ::=
	[NT-AbbreviatedAxisSpecifier]::"@"?

Expr ::=
	[NT-Expr]::OrExpr

PrimaryExpr ::=
	[NT-PrimaryExpr]::(VariableReference | "(" Expr ")" | Literal | Number | FunctionCall)

FunctionCall ::=
	[NT-FunctionCall]::(FunctionName "(" (Argument ("," Argument)*)? ")")

Argument ::=
	[NT-Argument]::Expr

UnionExpr ::=
	[NT-UnionExpr]::(PathExpr | UnionExpr "|" PathExpr)

PathExpr ::=
	[NT-PathExpr]::(LocationPath | FilterExpr | FilterExpr "/" RelativeLocationPath | FilterExpr "//" RelativeLocationPath)

FilterExpr ::=
	[NT-FilterExpr]::(PrimaryExpr | FilterExpr Predicate)

OrExpr ::=
	[NT-OrExpr]::(AndExpr | OrExpr "or" AndExpr)

AndExpr ::=
	[NT-AndExpr]::(EqualityExpr | AndExpr "and" EqualityExpr)

EqualityExpr ::=
	[NT-EqualityExpr]::(RelationalExpr | EqualityExpr "=" RelationalExpr | EqualityExpr "!=" RelationalExpr)

RelationalExpr ::=
	[NT-RelationalExpr]::(AdditiveExpr | RelationalExpr "<" AdditiveExpr | RelationalExpr ">" AdditiveExpr | RelationalExpr "<=" AdditiveExpr | RelationalExpr ">=" AdditiveExpr)

AdditiveExpr ::=
	[NT-AdditiveExpr]::(MultiplicativeExpr | AdditiveExpr "+" MultiplicativeExpr | AdditiveExpr "-" MultiplicativeExpr)

MultiplicativeExpr ::=
	[NT-MultiplicativeExpr]::(UnaryExpr | MultiplicativeExpr MultiplyOperator UnaryExpr | MultiplicativeExpr "div" UnaryExpr | MultiplicativeExpr "mod" UnaryExpr)

UnaryExpr ::=
	[NT-UnaryExpr]::(UnionExpr | "-" UnaryExpr)

ExprToken ::=
	[NT-ExprToken]::("(" | ")" | "[" | "]" | "." | ".." | "@" | "," | "::" | NameTest | NodeType | Operator | FunctionName | AxisName | Literal | Number | VariableReference)

Number ::=
	[NT-Number]::(Digits ("." Digits?)? | "." Digits)

Operator ::=
	[NT-Operator]::(OperatorName | MultiplyOperator | "/" | "//" | "|" | "+" | "-" | "=" | "!=" | "<" | "<=" | ">" | ">=")

OperatorName ::=
	[NT-OperatorName]::("and" | "or" | "mod" | "div")

MultiplyOperator ::=
	[NT-MultiplyOperator]::"*"

VariableReference ::=
	[NT-VariableReference]::("$" QName)

NameTest ::=
	[NT-NameTest]::("*" | NCName ":" "*" | QName)

NodeType ::=
	[NT-NodeType]::("comment" | "text" | "processing-instruction" | "node")

ExprWhitespace ::=
	[NT-ExprWhitespace]::S

Digits ::=
	[NT-Digits]::("0" | "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9")+

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