The R13B03 release.OTP_R13B03

1 files changed, 311 insertions, 0 deletions

diff --git a/lib/xmerl/src/xmerl_xpath_parse.yrl b/lib/xmerl/src/xmerl_xpath_parse.yrl
new file mode 100644
index 0000000000..37576b9e61
--- /dev/null
+++ b/lib/xmerl/src/xmerl_xpath_parse.yrl
@@ -0,0 +1,311 @@
+%%
+%% %CopyrightBegin%
+%% 
+%% Copyright Ericsson AB 2003-2009. 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' '(' '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.