Blame view

src/expressionParser/ParserGrammar.hh 8.99 KB
a7f2648e   Benjamin Renard   Parser: First imp...
1
2
3
4
5
6
7
8
#ifndef PARSERGRAMMAR_HH_
#define PARSERGRAMMAR_HH_

#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/phoenix.hpp>

#include "ExpressionContainer.hh"
#include "CustomFoldDirective.hh"
e58d7be4   Benjamin Renard   Parser: Add const...
9
10
#include "ParserToolbox.hh"
#include "Properties.hh"
36749bea   Benjamin Renard   Use a common cont...
11
#include "FunctionInfo.hh"
a7f2648e   Benjamin Renard   Parser: First imp...
12
13
14
15
16
17
18
19
20

namespace AMDA {
namespace parser {

namespace qi = boost::spirit::qi;

using namespace qi;
using namespace Expression;

c1f4db8e   Benjamin Renard   Add process to te...
21
22
#define PARSERGRAMMAR_ADD_OPERATOR(operation, next, operator) fold<operation>(next.alias())[operator >> next]

a7f2648e   Benjamin Renard   Parser: First imp...
23
template <typename It, typename Skipper = boost::spirit::standard_wide::space_type>
47755d13   Benjamin Renard   Minor changes
24
class ParserGrammar : public qi::grammar<It, Expression::ExpressionContainer(), Skipper>
a7f2648e   Benjamin Renard   Parser: First imp...
25
{
47755d13   Benjamin Renard   Minor changes
26
public:
e58d7be4   Benjamin Renard   Parser: Add const...
27
    ParserGrammar(AMDA::helpers::Properties& lProperties) : ParserGrammar::base_type(expr_)
a7f2648e   Benjamin Renard   Parser: First imp...
28
    {
8a7bf6d4   Benjamin Renard   Fix operation pri...
29
        expr_ = equal_.alias();
a7f2648e   Benjamin Renard   Parser: First imp...
30

8a7bf6d4   Benjamin Renard   Fix operation pri...
31
32
33
34
35
36
        equal_          = PARSERGRAMMAR_ADD_OPERATOR(EqualOperation,          unequal_,        equalOperator_); 
        unequal_        = PARSERGRAMMAR_ADD_OPERATOR(UnequalOperation,        greaterOrEqual_, unequalOperator_);
        greaterOrEqual_ = PARSERGRAMMAR_ADD_OPERATOR(GreaterOrEqualOperation, lowerOrEqual_,   greaterOrEqualOperator_);
        lowerOrEqual_   = PARSERGRAMMAR_ADD_OPERATOR(LowerOrEqualOperation,   greater_,        lowerOrEqualOperator_);
	greater_        = PARSERGRAMMAR_ADD_OPERATOR(GreaterOperation,        lower_,          greaterOperator_);
	lower_          = PARSERGRAMMAR_ADD_OPERATOR(LowerOperation,          or_,             lowerOperator_);
c1f4db8e   Benjamin Renard   Add process to te...
37

8a7bf6d4   Benjamin Renard   Fix operation pri...
38
39
40
41
42
43
	or_             = PARSERGRAMMAR_ADD_OPERATOR(OrOperation,             sum_,            orOperator_);
	sum_            = PARSERGRAMMAR_ADD_OPERATOR(SumOperation,            difference_,     sumOperator_);
	difference_     = PARSERGRAMMAR_ADD_OPERATOR(DifferenceOperation,     and_,            differenceOperator_);
	and_            = PARSERGRAMMAR_ADD_OPERATOR(AndOperation,            factor_,         andOperator_);
        factor_         = PARSERGRAMMAR_ADD_OPERATOR(FactorOperation,         division_,       factorOperator_);
        division_       = PARSERGRAMMAR_ADD_OPERATOR(DivisionOperation,       powerTen_,       divisionOperator_);
c0bbbeb7   Benjamin Renard   Fix some bug with...
44

8a7bf6d4   Benjamin Renard   Fix operation pri...
45
	powerTen_       = PARSERGRAMMAR_ADD_OPERATOR(PowerTenOperation,       pow_,            powerTenOperator_);
02869c99   Benjamin Renard   Improve parse of ...
46
	pow_            = PARSERGRAMMAR_ADD_OPERATOR(PowerOperation,          plusSign_,       powOperator_);
e33239bf   Benjamin Renard   Parse parameters
47

36749bea   Benjamin Renard   Use a common cont...
48
49
        plusSign_ = ((sumOperator_ >>-*sumOperator_)> minusSign_ ) [_val = boost::phoenix::construct<PlusSignOperation>(_1)] ||
                ((differenceOperator_ >>differenceOperator_)> minusSign_ ) [_val = boost::phoenix::construct<PlusSignOperation>(_1)] |minusSign_ [_val = _1];
02869c99   Benjamin Renard   Improve parse of ...
50
        minusSign_ = (((-*sumOperator_>>differenceOperator_ >>-*sumOperator_) ) > not_) [_val = boost::phoenix::construct<MinusSignOperation>(_1)] | not_[_val = _1];
8a7bf6d4   Benjamin Renard   Fix operation pri...
51
	not_ = (notOperator_ > functions_) [_val = boost::phoenix::construct<NotOperation>(_1)] | functions_[_val = _1];
a7f2648e   Benjamin Renard   Parser: First imp...
52

e33239bf   Benjamin Renard   Parse parameters
53

a7f2648e   Benjamin Renard   Parser: First imp...
54

02869c99   Benjamin Renard   Improve parse of ...
55
56
        functions_ = (threeArgsFunction>>"(">>funArgs_>>argumentSeparator_>>funArgs_>>argumentSeparator_>>funArgs_>>")")[_val= boost::phoenix::construct<FunctionOperation>(_1,_2,_3,_4)] ||
        (twoArgsFunction>>"(">>funArgs_>>argumentSeparator_>>funArgs_>>")")[_val= boost::phoenix::construct<FunctionOperation>(_1,_2,_3)]||
8a7bf6d4   Benjamin Renard   Fix operation pri...
57
        (oneArgsFunction>>"(">>funArgs_>>")")[_val= boost::phoenix::construct<FunctionOperation>(_1,_2)]|const_[_val=_1];
a7f2648e   Benjamin Renard   Parser: First imp...
58
	// UNARY OPERATIONS
e33239bf   Benjamin Renard   Parse parameters
59
 
36749bea   Benjamin Renard   Use a common cont...
60
	const_ = (definedConstants) [_val = boost::phoenix::construct<ConstantOperation>(_1)] | param_[_val = _1];
93f280a8   Benjamin Renard   Implements templa...
61
62
63
        param_= ((localParams_ | derivedParam_ | uploadedParam_ | impexParam_ | themisParam_ | cdaWebParam_ | templatedParam_) >>('(' >> componentValue_ >> componentSeparator_ >> componentValue_ >>')'))[_val=boost::phoenix::construct<ParameterDef>(_1,_2,_3)] ||
		((localParams_ | derivedParam_ | uploadedParam_ | impexParam_ | themisParam_ | cdaWebParam_ | templatedParam_) >>('(' >> componentValue_ >> ')'))[_val=boost::phoenix::construct<ParameterDef>(_1,_2)] ||
		((localParams_ | derivedParam_ | uploadedParam_ | impexParam_ | themisParam_ | cdaWebParam_ | templatedParam_))[_val=boost::phoenix::construct<ParameterDef>(_1)] | simple[_val = _1];
e33239bf   Benjamin Renard   Parse parameters
64

36749bea   Benjamin Renard   Use a common cont...
65
        funArgs_=((expr_   |var_) |functions_); 
a7f2648e   Benjamin Renard   Parser: First imp...
66
        simple = (('(' > expr_ > ')') | var_);
04d84599   Benjamin Renard   Parser: Add suppo...
67

e33239bf   Benjamin Renard   Parse parameters
68
	var_ = (+qi::char_('0','9') >> -qi::char_('.') >> -(+qi::char_('0','9'))) | ((qi::char_('.') >> +qi::char_('0','9')));
04d84599   Benjamin Renard   Parser: Add suppo...
69
70
	componentValue_ = (+qi::char_('0','9') | qi::char_('*') | (qi::string("range[") >> var_ >> qi::char_(',') >> var_ >> qi::string("]")) | (qi::string("indexes[") >> indexValue_ >> qi::char_(',') >> indexValue_ >> qi::string("]")));
	indexValue_ = +qi::char_('0','9');
c1f4db8e   Benjamin Renard   Add process to te...
71

9d0730bf   Benjamin Renard   Parser: add suppo...
72
73
74
75
76
77
	derivedParam_ = (qi::string("ws_") >> +(qi::alnum | qi::char_('_')));
	uploadedParam_ = (qi::string("wsd_") >> +(qi::alnum | qi::char_('_')));
	impexParam_ = (qi::string("spase___IMPEX_") >> +(qi::alnum | qi::char_('_')));
	themisParam_ = (qi::string("th") >> qi::char_('a','e') >> qi::char_('_') >> +(qi::alnum | qi::char_('_')));
	cdaWebParam_ = (qi::string("cdaweb_") >> +(qi::alnum | qi::char_('_')));

e33239bf   Benjamin Renard   Parse parameters
78
	powOperator_        = qi::char_('^');
36749bea   Benjamin Renard   Use a common cont...
79
	powerTenOperator_   = qi::char_('e');
a7f2648e   Benjamin Renard   Parser: First imp...
80
        notOperator_        = qi::char_('!');
f5ef5545   Benjamin Renard   Fix operators sym...
81
82
        andOperator_        = qi::string("&");
        orOperator_         = qi::string("|");
f5ef5545   Benjamin Renard   Fix operators sym...
83
        equalOperator_      = qi::string("=");
a7f2648e   Benjamin Renard   Parser: First imp...
84
        unequalOperator_    = qi::string("!=");
e33239bf   Benjamin Renard   Parse parameters
85
86
        sumOperator_        = qi::char_('+');
        differenceOperator_ = qi::char_('-');
a7f2648e   Benjamin Renard   Parser: First imp...
87
88
89
90
91
92
        factorOperator_     = qi::char_("*");
        divisionOperator_   = qi::char_("/");
        greaterOperator_   = qi::char_(">");
        greaterOrEqualOperator_   = qi::string(">=");
        lowerOrEqualOperator_   = qi::string("<=");
        lowerOperator_   = qi::char_("<");
02869c99   Benjamin Renard   Improve parse of ...
93
94
	argumentSeparator_    = qi::char_(",");
        componentSeparator_   = qi::char_(",");
e58d7be4   Benjamin Renard   Parser: Add const...
95
96
97
98

	// Define available constants
	std::map<std::string, std::string> existingConstants = ParserToolbox::getConstants(lProperties);
	for(std::map<std::string, std::string>::iterator it = existingConstants.begin(); it != existingConstants.end(); ++it) {
e33239bf   Benjamin Renard   Parse parameters
99
		definedConstants.add (it->first, it->second);
e58d7be4   Benjamin Renard   Parser: Add const...
100
        }
a7f2648e   Benjamin Renard   Parser: First imp...
101

9d0730bf   Benjamin Renard   Parser: add suppo...
102
	// Define available local params
e33239bf   Benjamin Renard   Parse parameters
103
104
	std::vector<std::string> existingParams = ParserToolbox::getParameters(lProperties);
	for(std::vector<std::string>::iterator it = existingParams.begin(); it != existingParams.end(); ++it) {
9d0730bf   Benjamin Renard   Parser: add suppo...
105
		localParams_.add(*it,*it);
e33239bf   Benjamin Renard   Parse parameters
106
	}
36749bea   Benjamin Renard   Use a common cont...
107
108
109
110
       
        // Defined functions available 
        std::map<std::string,FunctionInfo> existingFunctions = ParserToolbox::getFunctions(lProperties);
        for(auto const& x : existingFunctions ) {
e8489ddc   Benjamin Renard   Fix printer for a...
111
                if ((x.second.getNbArgs() == 1) && (!x.second.hasPromptedArg())) {
36749bea   Benjamin Renard   Use a common cont...
112
                      oneArgsFunction.add(x.second.getIHMName(), x.second.getKernelName());
e8489ddc   Benjamin Renard   Fix printer for a...
113
                }else if ((x.second.getNbArgs() == 2) || ((x.second.getNbArgs() == 1) && x.second.hasPromptedArg())) {
36749bea   Benjamin Renard   Use a common cont...
114
115
116
117
118
119
                      twoArgsFunction.add(x.second.getIHMName(), x.second.getKernelName());
                }else {
                      threeArgsFunction.add(x.second.getIHMName(), x.second.getKernelName());
                }
        } 

93f280a8   Benjamin Renard   Implements templa...
120
121
122
123
124
125
	// Defined templated parameters
	TemplateParamsList existingTemplateParams = ParserToolbox::getTemplateParams(lProperties);
	templatedParam_ = (qi::string("fakeparam"));
	for(auto const& t : existingTemplateParams ) {
		templatedParam_ = (templatedParam_.copy() | (qi::string(t.getParamId()) >> +(qi::alnum | qi::char_('_'))));;
	}
e33239bf   Benjamin Renard   Parse parameters
126
127
128

        BOOST_SPIRIT_DEBUG_NODES((expr_)(or_)(and_)(equal_)(unequal_)(greaterOrEqual_)(lowerOrEqual_)(lower_)(sum_)
                (difference_)(factor_)(division_)(simple)(notOperator_)(andOperator_)(orOperator_)(equalOperator_)(unequalOperator_)
36749bea   Benjamin Renard   Use a common cont...
129
                (sumOperator_)(differenceOperator_)(factorOperator_)(divisionOperator_)(greater_)(lower_)(functions_));
a7f2648e   Benjamin Renard   Parser: First imp...
130
131
132
    }

private:
93f280a8   Benjamin Renard   Implements templa...
133
    qi::rule<It, Expression::var(), Skipper> var_, componentValue_, indexValue_, derivedParam_, uploadedParam_, impexParam_, themisParam_, cdaWebParam_, templatedParam_;
47755d13   Benjamin Renard   Minor changes
134
    qi::rule<It, Expression::ExpressionContainer(), Skipper> not_
e33239bf   Benjamin Renard   Parse parameters
135
        , pow_
36749bea   Benjamin Renard   Use a common cont...
136
	, powerTen_
a7f2648e   Benjamin Renard   Parser: First imp...
137
        , and_
a7f2648e   Benjamin Renard   Parser: First imp...
138
139
140
141
142
143
144
145
146
147
148
        , or_
        , equal_
        , unequal_
        , sum_
        , difference_
        , factor_
        , division_
        , simple
        , expr_
        ,plusSign_
        ,minusSign_
e58d7be4   Benjamin Renard   Parser: Add const...
149
150
151
152
        ,greater_
        ,greaterOrEqual_
        ,lowerOrEqual_
        ,lower_
e33239bf   Benjamin Renard   Parse parameters
153
	,const_
36749bea   Benjamin Renard   Use a common cont...
154
155
156
	,param_
        ,functions_
        ,funArgs_;
a7f2648e   Benjamin Renard   Parser: First imp...
157
158
159


    qi::rule<It, Skipper> notOperator_
e33239bf   Benjamin Renard   Parse parameters
160
	, powOperator_
36749bea   Benjamin Renard   Use a common cont...
161
	, powerTenOperator_
a7f2648e   Benjamin Renard   Parser: First imp...
162
163
        , andOperator_
        , orOperator_
a7f2648e   Benjamin Renard   Parser: First imp...
164
165
166
167
168
169
170
171
        , equalOperator_
        , unequalOperator_
        , sumOperator_
        , differenceOperator_
        , factorOperator_
        , divisionOperator_
        , greaterOperator_ 
        , greaterOrEqualOperator_ 
02869c99   Benjamin Renard   Improve parse of ...
172
173
174
175
        , lowerOrEqualOperator_
	, lowerOperator_
	, argumentSeparator_
        , componentSeparator_;
a7f2648e   Benjamin Renard   Parser: First imp...
176

e33239bf   Benjamin Renard   Parse parameters
177
    qi::symbols<char, std::string> definedConstants;
9d0730bf   Benjamin Renard   Parser: add suppo...
178
    qi::symbols<char, std::string> localParams_;
36749bea   Benjamin Renard   Use a common cont...
179
180
    qi::symbols<char, std::string> twoArgsFunction;
    qi::symbols<char, std::string> oneArgsFunction;
e8489ddc   Benjamin Renard   Fix printer for a...
181
    qi::symbols<char, std::string> threeArgsFunction;
a7f2648e   Benjamin Renard   Parser: First imp...
182
183
184
185
186
187
};

}
}

#endif