%% %% %CopyrightBegin% %% %% Copyright Ericsson AB 2003-2011. All Rights Reserved. %% %% The contents of this file are subject to the Erlang Public License, %% Version 1.1, (the "License"); you may not use this file except in %% compliance with the License. You should have received a copy of the %% Erlang Public License along with this software. If not, it can be %% retrieved online at http://www.erlang.org/. %% %% Software distributed under the License is distributed on an "AS IS" %% basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See %% the License for the specific language governing rights and limitations %% under the License. %% %% %CopyrightEnd% %% %% Description : Yecc spec for XPATH grammar %% This version of the parser is based on the XPATH spec: %% http://www.w3.org/TR/1999/REC-xpath-19991116 (XPATH version 1.0) Nonterminals 'LocationPath' 'AbsoluteLocationPath' 'RelativeLocationPath' 'Step' %% 'AxisSpecifier' 'NodeTest' 'Predicate' 'PredicateExpr' 'AbbreviatedAbsoluteLocationPath' 'AbbreviatedRelativeLocationPath' 'AbbreviatedStep' %% 'AbbreviatedAxisSpecifier' 'Expr' 'PrimaryExpr' 'FunctionCall' 'Argument' 'UnionExpr' 'PathExpr' 'FilterExpr' 'OrExpr' 'AndExpr' 'EqualityExpr' 'RelationalExpr' 'AdditiveExpr' 'MultiplicativeExpr' 'UnaryExpr' %% 'Operator' %% 'OperatorName' 'MultiplyOperator' 'NameTest' '<PredicateList>' '<PredicateMember>' '<ArgumentList>' '<ArgumentMember>' . Terminals 'number' 'axis' 'node_type' 'literal' 'prefix_test' 'var_reference' 'function_name' 'name' 'processing-instruction' 'wildcard' '(' ')' '[' ']' '.' '..' '@' ',' '::' 'and' 'or' 'mod' 'div' '/' '//' '|' '+' '-' '=' '!=' '<' '<=' '>' '>=' '*' . Rootsymbol 'Expr'. Endsymbol '$end' . Left 100 'or' . Left 200 'and' . Left 300 '=' . Left 300 '!=' . Left 400 '<' . Left 400 '>=' . Left 400 '>' . Left 400 '<=' . Unary 500 '-' . Expect 2. %%------------------------------------------------------------ %% Clauses %% %% [1] 'LocationPath' -> 'RelativeLocationPath' : {path, rel, '$1'} . 'LocationPath' -> 'AbsoluteLocationPath' : {path, abs, '$1'}. %% [2] 'AbsoluteLocationPath' -> '/' 'RelativeLocationPath' : '$2' . 'AbsoluteLocationPath' -> '/' : '/' . %% [3] 'RelativeLocationPath' -> 'AbbreviatedAbsoluteLocationPath' : '$1' . 'RelativeLocationPath' -> 'Step' : '$1' . 'RelativeLocationPath' -> 'RelativeLocationPath' '/' 'Step' : {refine, '$1', '$3'} . 'RelativeLocationPath' -> 'AbbreviatedRelativeLocationPath' : '$1' . %% [4] 'Step' -> 'axis' '::' 'NodeTest' '<PredicateList>' : {step, {value('$1'), '$3', '$4'}} . 'Step' -> 'axis' '::' 'NodeTest' : {step, {value('$1'), '$3', []}} . 'Step' -> '@' 'name' '<PredicateList>' : {step, {value('$1'), '$2', '$3'}} . 'Step' -> '@' 'name' : {step, {'attribute', '$2', []}} . 'Step' -> 'NodeTest' '<PredicateList>' : {step, {'child', '$1', '$2'}} . 'Step' -> 'NodeTest' : {step, {'child', '$1', []}} . 'Step' -> 'AbbreviatedStep' : {abbrev_step, '$1'} . '<PredicateList>' -> '<PredicateMember>' : lists:reverse('$1') . '<PredicateMember>' -> '<PredicateMember>' 'Predicate' : ['$2'|'$1'] . '<PredicateMember>' -> 'Predicate' : ['$1'] . %% [5] %% 'AxisSpecifier' -> 'axis' '::' : '$1' . %% 'AxisSpecifier' -> 'AbbreviatedAxisSpecifier' : '$1' . %% [7] 'NodeTest' -> 'NameTest' : '$1' . 'NodeTest' -> 'node_type' '(' ')' : {node_type, value('$1')} . 'NodeTest' -> 'processing-instruction' '(' ')' : {node_type, value('$1')} . 'NodeTest' -> 'processing-instruction' '(' 'literal' ')' : {processing_instruction, value('$3')} . %% [8] 'Predicate' -> '[' 'PredicateExpr' ']' : {pred, '$2'} . %% [9] 'PredicateExpr' -> 'Expr' : '$1' . %% [10] 'AbbreviatedAbsoluteLocationPath' -> '//' 'RelativeLocationPath' : {'//', '$2'} . %% [11] 'AbbreviatedRelativeLocationPath' -> 'RelativeLocationPath' '//' 'Step' : {'$1', '//', '$3'} . %% [12] 'AbbreviatedStep' -> '.' : '$1' . 'AbbreviatedStep' -> '..' : '$1' . %% [13] %% 'AbbreviatedAxisSpecifier' -> '$empty' : 'child' . %% 'AbbreviatedAxisSpecifier' -> '@' : '$1' . %% [14] 'Expr' -> 'OrExpr' : '$1' . %% [15] 'PrimaryExpr' -> 'var_reference' : {variable_reference, value('$1')} . 'PrimaryExpr' -> '(' Expr ')' : '$2' . 'PrimaryExpr' -> 'literal' : {literal, value('$1')} . 'PrimaryExpr' -> 'number' : {number, value('$1')} . 'PrimaryExpr' -> 'FunctionCall' : '$1' . %% [16] 'FunctionCall' -> 'function_name' '(' ')' : {function_call, value('$1'), []} . 'FunctionCall' -> 'function_name' '(' '<ArgumentList>' ')' : {function_call, value('$1'), '$3'} . '<ArgumentList>' -> '<ArgumentMember>' : lists:reverse('$1') . '<ArgumentMember>' -> '<ArgumentMember>' ',' 'Argument' : ['$3'|'$1'] . '<ArgumentMember>' -> 'Argument' : ['$1'] . %% [17] 'Argument' -> 'Expr' : '$1' . %% [18] 'UnionExpr' -> 'PathExpr' : '$1' . 'UnionExpr' -> 'UnionExpr' '|' 'PathExpr' : {path, union, {'$1', '$3'}} . %% [19] 'PathExpr' -> 'LocationPath' : '$1' . 'PathExpr' -> 'FilterExpr' : '$1' . 'PathExpr' -> 'FilterExpr' '/' 'RelativeLocationPath' : {refine, '$1', '$3'} . 'PathExpr' -> 'FilterExpr' '//' 'RelativeLocationPath' : {'$1', '//', '$3'} . %% [20] 'FilterExpr' -> 'PrimaryExpr' : '$1' . 'FilterExpr' -> 'FilterExpr' 'Predicate' : {path, filter, {'$1', '$2'}} . %% [21] 'OrExpr' -> 'AndExpr' : '$1' . 'OrExpr' -> 'OrExpr' 'or' 'AndExpr' : {bool, 'or', '$1', '$3'} . %% [22] 'AndExpr' -> 'EqualityExpr' : '$1' . 'AndExpr' -> 'AndExpr' 'and' 'EqualityExpr' : {bool, 'and', '$1', '$3'} . %% [23] 'EqualityExpr' -> 'RelationalExpr' : '$1' . 'EqualityExpr' -> 'EqualityExpr' '=' 'RelationalExpr' : {comp, '=', '$1', '$3'} . 'EqualityExpr' -> 'EqualityExpr' '!=' 'RelationalExpr' : {comp, '!=', '$1', '$3'} . %%[24] 'RelationalExpr' -> 'AdditiveExpr' : '$1' . 'RelationalExpr' -> 'RelationalExpr' '<' 'AdditiveExpr' : {comp, '<', '$1', '$3'} . 'RelationalExpr' -> 'RelationalExpr' '>' 'AdditiveExpr' : {comp, '>', '$1', '$3'} . 'RelationalExpr' -> 'RelationalExpr' '<=' 'AdditiveExpr' : {comp, '<=', '$1', '$3'} . 'RelationalExpr' -> 'RelationalExpr' '>=' 'AdditiveExpr' : {comp, '>=', '$1', '$3'} . %% [25] 'AdditiveExpr' -> 'MultiplicativeExpr' : '$1' . 'AdditiveExpr' -> 'AdditiveExpr' '+' 'MultiplicativeExpr' : {arith, '+', '$1', '$3'} . 'AdditiveExpr' -> 'AdditiveExpr' '-' 'MultiplicativeExpr' : {arith, '-', '$1', '$3'} . %% [26] 'MultiplicativeExpr' -> 'UnaryExpr' : '$1' . 'MultiplicativeExpr' -> 'MultiplicativeExpr' 'MultiplyOperator' 'UnaryExpr' : {arith, '$2', '$1', '$3'} . 'MultiplicativeExpr' -> 'MultiplicativeExpr' 'div' 'UnaryExpr' : {arith, 'div', '$1', '$3'} . 'MultiplicativeExpr' -> 'MultiplicativeExpr' 'mod' 'UnaryExpr' : {arith, 'mod', '$1', '$3'} . %% [27] 'UnaryExpr' -> 'UnionExpr' : '$1' . 'UnaryExpr' -> '-' UnaryExpr : {'negative', '$2'} . %% [32] %% 'Operator' -> 'OperatorName' : '$1' . %% 'Operator' -> 'MultiplyOperator' : '$1' . %% 'Operator' -> '/' : '$1' . %% 'Operator' -> '//' : '$1' . %% 'Operator' -> '|' : '$1' . %% 'Operator' -> '+' : '$1' . %% 'Operator' -> '-' : '$1' . %% 'Operator' -> '=' : '$1' . %% 'Operator' -> '!=' : '$1' . %% 'Operator' -> '<' : '$1' . %% 'Operator' -> '<=' : '$1' . %% 'Operator' -> '>' : '$1' . %% 'Operator' -> '>=' : '$1' . %% [33] %% 'OperatorName' -> 'and' : '$1' . %% 'OperatorName' -> 'mod' : '$1' . %% 'OperatorName' -> 'div' : '$1' . %% [34] 'MultiplyOperator' -> '*' : '*' . %% [37] 'NameTest' -> 'wildcard' : {wildcard, value('$1')} . 'NameTest' -> 'prefix_test' : {prefix_test, value('$1')} . 'NameTest' -> 'name' : {name, value('$1')} . Erlang code. % token({Token, _Line}) -> % Token; % token({Token, _Line, _Value}) -> % Token. value({Token, _Line}) -> Token; value({_Token, _Line, Value}) -> Value.