| /*============================================================================= |
| Copyright (c) 2001-2014 Joel de Guzman |
| |
| Distributed under the Boost Software License, Version 1.0. (See accompanying |
| file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) |
| =============================================================================*/ |
| /////////////////////////////////////////////////////////////////////////////// |
| // |
| // Same as Calc4, this time, we'll incorporate debugging support, |
| // plus error handling and reporting. |
| // |
| // [ JDG April 28, 2008 ] For BoostCon 2008 |
| // [ JDG February 18, 2011 ] Pure attributes. No semantic actions. |
| // [ JDG April 9, 2014 ] Spirit X3 |
| // |
| /////////////////////////////////////////////////////////////////////////////// |
| |
| /////////////////////////////////////////////////////////////////////////////// |
| // Uncomment this if you want to enable debugging |
| //#define BOOST_SPIRIT_X3_DEBUG |
| |
| #include <boost/config/warning_disable.hpp> |
| #include <boost/spirit/home/x3.hpp> |
| #include <boost/spirit/home/x3/support/ast/variant.hpp> |
| #include <boost/fusion/include/adapt_struct.hpp> |
| |
| #include <iostream> |
| #include <string> |
| #include <list> |
| #include <numeric> |
| |
| namespace x3 = boost::spirit::x3; |
| |
| namespace client { namespace ast |
| { |
| /////////////////////////////////////////////////////////////////////////// |
| // The AST |
| /////////////////////////////////////////////////////////////////////////// |
| struct nil {}; |
| struct signed_; |
| struct program; |
| |
| struct operand : x3::variant< |
| nil |
| , unsigned int |
| , x3::forward_ast<signed_> |
| , x3::forward_ast<program> |
| > |
| { |
| using base_type::base_type; |
| using base_type::operator=; |
| }; |
| |
| struct signed_ |
| { |
| char sign; |
| operand operand_; |
| }; |
| |
| struct operation |
| { |
| char operator_; |
| operand operand_; |
| }; |
| |
| struct program |
| { |
| operand first; |
| std::list<operation> rest; |
| }; |
| |
| // print function for debugging |
| inline std::ostream& operator<<(std::ostream& out, nil) { out << "nil"; return out; } |
| }} |
| |
| BOOST_FUSION_ADAPT_STRUCT( |
| client::ast::signed_, |
| (char, sign) |
| (client::ast::operand, operand_) |
| ) |
| |
| BOOST_FUSION_ADAPT_STRUCT( |
| client::ast::operation, |
| (char, operator_) |
| (client::ast::operand, operand_) |
| ) |
| |
| BOOST_FUSION_ADAPT_STRUCT( |
| client::ast::program, |
| (client::ast::operand, first) |
| (std::list<client::ast::operation>, rest) |
| ) |
| |
| namespace client { namespace ast |
| { |
| /////////////////////////////////////////////////////////////////////////// |
| // The AST Printer |
| /////////////////////////////////////////////////////////////////////////// |
| struct printer |
| { |
| typedef void result_type; |
| |
| void operator()(nil) const {} |
| void operator()(unsigned int n) const { std::cout << n; } |
| |
| void operator()(operation const& x) const |
| { |
| boost::apply_visitor(*this, x.operand_); |
| switch (x.operator_) |
| { |
| case '+': std::cout << " add"; break; |
| case '-': std::cout << " subt"; break; |
| case '*': std::cout << " mult"; break; |
| case '/': std::cout << " div"; break; |
| } |
| } |
| |
| void operator()(signed_ const& x) const |
| { |
| boost::apply_visitor(*this, x.operand_); |
| switch (x.sign) |
| { |
| case '-': std::cout << " neg"; break; |
| case '+': std::cout << " pos"; break; |
| } |
| } |
| |
| void operator()(program const& x) const |
| { |
| boost::apply_visitor(*this, x.first); |
| BOOST_FOREACH(operation const& oper, x.rest) |
| { |
| std::cout << ' '; |
| (*this)(oper); |
| } |
| } |
| }; |
| |
| /////////////////////////////////////////////////////////////////////////// |
| // The AST evaluator |
| /////////////////////////////////////////////////////////////////////////// |
| struct eval |
| { |
| typedef int result_type; |
| |
| int operator()(nil) const { BOOST_ASSERT(0); return 0; } |
| int operator()(unsigned int n) const { return n; } |
| |
| int operator()(operation const& x, int lhs) const |
| { |
| int rhs = boost::apply_visitor(*this, x.operand_); |
| switch (x.operator_) |
| { |
| case '+': return lhs + rhs; |
| case '-': return lhs - rhs; |
| case '*': return lhs * rhs; |
| case '/': return lhs / rhs; |
| } |
| BOOST_ASSERT(0); |
| return 0; |
| } |
| |
| int operator()(signed_ const& x) const |
| { |
| int rhs = boost::apply_visitor(*this, x.operand_); |
| switch (x.sign) |
| { |
| case '-': return -rhs; |
| case '+': return +rhs; |
| } |
| BOOST_ASSERT(0); |
| return 0; |
| } |
| |
| int operator()(program const& x) const |
| { |
| int state = boost::apply_visitor(*this, x.first); |
| BOOST_FOREACH(operation const& oper, x.rest) |
| { |
| state = (*this)(oper, state); |
| } |
| return state; |
| } |
| }; |
| }} |
| |
| namespace client |
| { |
| /////////////////////////////////////////////////////////////////////////////// |
| // The calculator grammar |
| /////////////////////////////////////////////////////////////////////////////// |
| namespace calculator_grammar |
| { |
| using x3::uint_; |
| using x3::char_; |
| |
| struct expression_class; |
| struct term_class; |
| struct factor_class; |
| |
| x3::rule<expression_class, ast::program> const expression("expression"); |
| x3::rule<term_class, ast::program> const term("term"); |
| x3::rule<factor_class, ast::operand> const factor("factor"); |
| |
| auto const expression_def = |
| term |
| >> *( (char_('+') > term) |
| | (char_('-') > term) |
| ) |
| ; |
| |
| auto const term_def = |
| factor |
| >> *( (char_('*') > factor) |
| | (char_('/') > factor) |
| ) |
| ; |
| |
| auto const factor_def = |
| uint_ |
| | '(' > expression > ')' |
| | (char_('-') > factor) |
| | (char_('+') > factor) |
| ; |
| |
| BOOST_SPIRIT_DEFINE( |
| expression = expression_def |
| , term = term_def |
| , factor = factor_def |
| ); |
| |
| struct expression_class |
| { |
| // Our error handler |
| template <typename Iterator, typename Exception, typename Context> |
| x3::error_handler_result |
| on_error(Iterator&, Iterator const& last, Exception const& x, Context const& context) |
| { |
| std::cout |
| << "Error! Expecting: " |
| << x.which() |
| << " here: \"" |
| << std::string(x.where(), last) |
| << "\"" |
| << std::endl |
| ; |
| return x3::error_handler_result::fail; |
| } |
| }; |
| |
| auto calculator = expression; |
| } |
| |
| using calculator_grammar::calculator; |
| } |
| |
| /////////////////////////////////////////////////////////////////////////////// |
| // Main program |
| /////////////////////////////////////////////////////////////////////////////// |
| int |
| main() |
| { |
| std::cout << "/////////////////////////////////////////////////////////\n\n"; |
| std::cout << "Expression parser...\n\n"; |
| std::cout << "/////////////////////////////////////////////////////////\n\n"; |
| std::cout << "Type an expression...or [q or Q] to quit\n\n"; |
| |
| typedef std::string::const_iterator iterator_type; |
| typedef client::ast::program ast_program; |
| typedef client::ast::printer ast_print; |
| typedef client::ast::eval ast_eval; |
| |
| std::string str; |
| while (std::getline(std::cin, str)) |
| { |
| if (str.empty() || str[0] == 'q' || str[0] == 'Q') |
| break; |
| |
| auto& calc = client::calculator; // Our grammar |
| ast_program program; // Our program (AST) |
| ast_print print; // Prints the program |
| ast_eval eval; // Evaluates the program |
| |
| iterator_type iter = str.begin(); |
| iterator_type end = str.end(); |
| boost::spirit::x3::ascii::space_type space; |
| bool r = phrase_parse(iter, end, calc, space, program); |
| |
| if (r && iter == end) |
| { |
| std::cout << "-------------------------\n"; |
| std::cout << "Parsing succeeded\n"; |
| print(program); |
| std::cout << "\nResult: " << eval(program) << std::endl; |
| std::cout << "-------------------------\n"; |
| } |
| else |
| { |
| std::cout << "-------------------------\n"; |
| std::cout << "Parsing failed\n"; |
| std::cout << "-------------------------\n"; |
| } |
| } |
| |
| std::cout << "Bye... :-) \n\n"; |
| return 0; |
| } |