OPAL (Object Oriented Parallel Accelerator Library)  2.2.0
OPAL
expression_def.hpp
Go to the documentation of this file.
1 /*=============================================================================
2  Copyright (c) 2001-2011 Joel de Guzman
3 
4  Distributed under the Boost Software License, Version 1.0. (See accompanying
5  file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
6 =============================================================================*/
7 #include "expression.hpp"
8 #include "error_handler.hpp"
9 #include "annotation.hpp"
10 #include <boost/spirit/include/phoenix_function.hpp>
11 #include <boost/spirit/include/phoenix.hpp>
12 #include <boost/fusion/adapted.hpp>
13 //#include <boost/spirit/include/qi_lit.hpp>
14 
15 namespace client { namespace parser
16 {
17  template <typename Iterator>
18  expression<Iterator>::expression(error_handler<Iterator>& error_handler)
19  : expression::base_type(expr)
20  {
21  qi::_1_type _1;
22  // qi::_2_type _2;
23  qi::_3_type _3;
24  qi::_4_type _4;
25  qi::_a_type _a;
26 
27  qi::char_type char_;
28  qi::uint_type uint_;
29  qi::double_type double_;
30  qi::_val_type _val;
31  qi::raw_type raw;
32  qi::lexeme_type lexeme;
33  qi::lit_type lit;
34  qi::no_skip_type no_skip;
35  qi::omit_type omit;
36  qi::alpha_type alpha;
37  qi::alnum_type alnum;
38  qi::bool_type bool_;
39 
40  using qi::on_error;
41  using qi::on_success;
42  using qi::fail;
43  using boost::phoenix::function;
44 
45  typedef function<client::error_handler<Iterator> > error_handler_function;
46  typedef function<client::annotation<Iterator> > annotation_function;
47 
49  // Tokens
50  logical_or_op.add
51  ("||", ast::op_or)
52  ;
53 
54  logical_and_op.add
55  ("&&", ast::op_and)
56  ;
57 
58  equality_op.add
59  ("==", ast::op_equal)
60  ("!=", ast::op_not_equal)
61  ;
62 
63  relational_op.add
64  ("<", ast::op_less)
65  ("<=", ast::op_less_equal)
66  (">", ast::op_greater)
67  (">=", ast::op_greater_equal)
68  ;
69 
70  additive_op.add
71  ("+", ast::op_plus)
72  ("-", ast::op_minus)
73  ;
74 
75  multiplicative_op.add
76  ("*", ast::op_times)
77  ("/", ast::op_divide)
78  ;
79 
80  unary_op.add
81  ("+", ast::op_positive)
82  ("-", ast::op_negative)
83  ("!", ast::op_not)
84  ;
85 
86  keywords.add
87  ("true")
88  ("false")
89  ;
90 
92  // Main expression grammar
93  expr =
94  logical_or_expr.alias()
95  ;
96 
97  logical_or_expr =
98  logical_and_expr
99  >> *(logical_or_op > logical_and_expr)
100  ;
101 
102  logical_and_expr =
103  equality_expr
104  >> *(logical_and_op > equality_expr)
105  ;
106 
107  equality_expr =
108  relational_expr
109  >> *(equality_op > relational_expr)
110  ;
111 
112  relational_expr =
113  additive_expr
114  >> *(relational_op > additive_expr)
115  ;
116 
117  additive_expr =
118  multiplicative_expr
119  >> *(additive_op > multiplicative_expr)
120  ;
121 
122  multiplicative_expr =
123  unary_expr
124  >> *(multiplicative_op > unary_expr)
125  ;
126 
127  unary_expr =
128  primary_expr
129  | (unary_op > unary_expr)
130  ;
131 
132  primary_expr =
133  constant_expr
134  | function_call
135  | identifier
136  | bool_
137  | ('(' > expr > ')')
138  ;
139 
140  constant_expr =
141  double_
142  | uint_
143  ;
144 
145  function_call =
146  (identifier >> '(')
147  > argument_list
148  > ')'
149  ;
150 
151  quoted_string %=
152  omit [ char_("'\"") [_a = _1] ]
153  >> no_skip [ *(char_ - char_(_a)) ]
154  >> lit(_a)
155  ;
156 
157  argument_list = -((expr | quoted_string) % ',');
158 
159  identifier =
160  !lexeme[keywords >> !(alnum | '_')]
161  >> raw[lexeme[(alpha | '_') >> *(alnum | '_')]]
162  ;
163 
165  // Debugging and error handling and reporting support.
166  BOOST_SPIRIT_DEBUG_NODES(
167  (expr)
168  (logical_or_expr)
169  (logical_and_expr)
170  (equality_expr)
171  (relational_expr)
172  (additive_expr)
173  (multiplicative_expr)
174  (unary_expr)
175  (primary_expr)
176  (function_call)
177  (argument_list)
178  (identifier)
179  (quoted_string)
180  );
181 
183  // Error handling: on error in expr, call error_handler.
184  on_error<fail>(expr,
185  error_handler_function(error_handler)(
186  std::string("Error! Expecting "), _4, _3));
187 
189  // Annotation: on success in primary_expr, call annotation.
190  on_success(primary_expr,
191  annotation_function(error_handler.iters)(_val, _1));
192  }
193 }}
client::parser::expression::logical_and_op
qi::symbols< char, ast::optoken > logical_and_op
Definition: expression.hpp:70
client::parser::expression::logical_or_expr
qi::rule< Iterator, ast::expression(), qi::locals< char >, skipper< Iterator > > logical_or_expr
Definition: expression.hpp:44
client::parser::expression::constant_expr
qi::rule< Iterator, ast::operand(), qi::locals< char >, skipper< Iterator > > constant_expr
Definition: expression.hpp:50
client::parser::expression::logical_and_expr
qi::rule< Iterator, ast::expression(), qi::locals< char >, skipper< Iterator > > logical_and_expr
Definition: expression.hpp:44
client::parser::expression::argument_list
qi::rule< Iterator, std::list< ast::function_call_argument >), qi::locals< char >, skipper< Iterator > > argument_list
Definition: expression.hpp:59
client::parser::expression::equality_op
qi::symbols< char, ast::optoken > equality_op
Definition: expression.hpp:70
client::parser::expression::multiplicative_op
qi::symbols< char, ast::optoken > multiplicative_op
Definition: expression.hpp:70
Physics::alpha
constexpr double alpha
The fine structure constant, no dimension.
Definition: Physics.h:79
client::parser::expression::expression
expression(error_handler< Iterator > &error_handler)
Definition: expression_def.hpp:18
client::parser::expression::quoted_string
qi::rule< Iterator, std::string(), qi::locals< char >, skipper< Iterator > > quoted_string
Definition: expression.hpp:67
client::parser::expression::multiplicative_expr
qi::rule< Iterator, ast::expression(), qi::locals< char >, skipper< Iterator > > multiplicative_expr
Definition: expression.hpp:44
client::parser::expression::keywords
qi::symbols< char > keywords
Definition: expression.hpp:77
client::parser::expression::identifier
qi::rule< Iterator, std::string(), qi::locals< char >, skipper< Iterator > > identifier
Definition: expression.hpp:63
client::parser::expression::unary_op
qi::symbols< char, ast::optoken > unary_op
Definition: expression.hpp:70
client::parser::expression::additive_expr
qi::rule< Iterator, ast::expression(), qi::locals< char >, skipper< Iterator > > additive_expr
Definition: expression.hpp:44
client::parser::expression::relational_expr
qi::rule< Iterator, ast::expression(), qi::locals< char >, skipper< Iterator > > relational_expr
Definition: expression.hpp:44
client::parser::expression::expr
qi::rule< Iterator, ast::expression(), qi::locals< char >, skipper< Iterator > > expr
Definition: expression.hpp:44
client::parser::expression::unary_expr
qi::rule< Iterator, ast::operand(), qi::locals< char >, skipper< Iterator > > unary_expr
Definition: expression.hpp:50
client::parser::expression::function_call
qi::rule< Iterator, ast::function_call(), qi::locals< char >, skipper< Iterator > > function_call
Definition: expression.hpp:55
client::parser::expression::additive_op
qi::symbols< char, ast::optoken > additive_op
Definition: expression.hpp:70
client::parser::expression::logical_or_op
qi::symbols< char, ast::optoken > logical_or_op
Definition: expression.hpp:70
client::parser::expression::relational_op
qi::symbols< char, ast::optoken > relational_op
Definition: expression.hpp:70
client::error_handler::iters
std::vector< Iterator > iters
Definition: error_handler.hpp:92
client::parser::expression::equality_expr
qi::rule< Iterator, ast::expression(), qi::locals< char >, skipper< Iterator > > equality_expr
Definition: expression.hpp:44
client::parser::expression::primary_expr
qi::rule< Iterator, ast::operand(), qi::locals< char >, skipper< Iterator > > primary_expr
Definition: expression.hpp:50
Generated on Sat Jan 4 2020 14:47:41 for OPAL (Object Oriented Parallel Accelerator Library) by   doxygen 1.8.5