algebraic_parser.hh
No OneTemporary
Actions

Subscribers

None

File Metadata

Created: Tue, Nov 5, 19:40

algebraic_parser.hh
View Options

	/**
	* @file algebraic_parser.hh
	*
	* @author Nicolas Richart <nicolas.richart@epfl.ch>
	*
	* @date creation: Wed Nov 13 2013
	* @date last modification: Fri May 16 2014
	*
	* @brief algebraic_parser definition of the grammar
	*
	* @section LICENSE
	*
	* Copyright (©) 2014 EPFL (Ecole Polytechnique Fédérale de Lausanne)
	* Laboratory (LSMS - Laboratoire de Simulation en Mécanique des Solides)
	*
	* Akantu is free software: you can redistribute it and/or modify it under the
	* terms of the GNU Lesser General Public License as published by the Free
	* Software Foundation, either version 3 of the License, or (at your option) any
	* later version.
	*
	* Akantu is distributed in the hope that it will be useful, but WITHOUT ANY
	* WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
	* A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more
	* details.
	*
	* You should have received a copy of the GNU Lesser General Public License
	* along with Akantu. If not, see <http://www.gnu.org/licenses/>.
	*
	*/

	/* -------------------------------------------------------------------------- */
	// Boost
	#include <boost/config/warning_disable.hpp>
	#include <boost/spirit/include/qi.hpp>
	#include <boost/spirit/include/phoenix_core.hpp>
	#include <boost/spirit/include/phoenix_operator.hpp>
	#include <boost/spirit/include/phoenix_object.hpp>

	#ifndef __AKANTU_ALGEBRAIC_PARSER_HH__
	#define __AKANTU_ALGEBRAIC_PARSER_HH__

	namespace spirit = boost::spirit;
	namespace qi = boost::spirit::qi;
	namespace lbs = boost::spirit::qi::labels;
	namespace ascii = boost::spirit::ascii;
	namespace phx = boost::phoenix;


	namespace akantu {
	namespace parser {
	struct algebraic_error_handler_
	{
	template <typename, typename, typename>
	struct result { typedef void type; };

	template <typename Iterator>
	void operator()(qi::info const& what,
	Iterator err_pos,
	Iterator last) const
	{
	AKANTU_EXCEPTION("Error! Expecting "
	<< what // what failed?
	<< " here: \""
	<< std::string(err_pos, last) // iterators to error-pos, end
	<< "\"");
	}
	};

	static Real my_min(Real a, Real b) { return std::min(a, b); }
	static Real my_max(Real a, Real b) { return std::max(a, b); }

	template<class Iterator>
	struct Skipper {
	typedef qi::rule<Iterator, void()> type;
	};

	struct lazy_unary_func_ {
	template <typename Funct, typename T>
	struct result { typedef T type; };

	template <typename Funct, typename T>
	typename result<Funct, T>::type operator()(Funct f, T a) const {
	return f(a);
	}
	};

	struct lazy_binary_func_ {
	template <typename Funct, typename T1, typename T2>
	struct result { typedef T1 type; };

	template <typename Funct, typename T1, typename T2>
	typename result<Funct, T1, T2>::type operator()(Funct f, T1 a, T2 b) const {
	return f(a, b);
	}
	};

	struct lazy_pow_ {
	template <typename T1, typename T2>
	struct result { typedef T1 type; };

	template <typename T1, typename T2>
	typename result<T1, T2>::type operator()(T1 a, T2 b) const {
	return std::pow(a, b);
	}
	};

	struct lazy_eval_param_ {
	template <typename T1, typename T2, typename res>
	struct result { typedef res type; };


	template <typename T1, typename T2, typename res>
	res operator()(T1 a, const T2 & section,
	__attribute__((unused)) const res & result) const {
	return section.getParameter(a, _ppsc_current_and_parent_scope);
	}
	};

	template<class Iterator, typename Skipper = spirit::unused_type>
	struct AlgebraicGrammar : qi::grammar<Iterator, Real(), Skipper> {
	AlgebraicGrammar(const ParserSection & section) : AlgebraicGrammar::base_type(start,
	"algebraic_grammar"),
	section(section) {
	phx::function<algebraic_error_handler_> const error_handler = algebraic_error_handler_();
	phx::function<lazy_pow_> lazy_pow;
	phx::function<lazy_unary_func_> lazy_unary_func;
	phx::function<lazy_binary_func_> lazy_binary_func;
	phx::function<lazy_eval_param_> lazy_eval_param;
	start
	= expr.alias()
	;

	expr
	= term [ lbs::_val = lbs::_1 ]
	>> *( ('+' > term [ lbs::_val += lbs::_1 ])
	\| ('-' > term [ lbs::_val -= lbs::_1 ])
	)
	;

	term
	= factor [ lbs::_val = lbs::_1 ]
	>> ( ('' > factor [ lbs::_val *= lbs::_1 ])
	\| ('/' > factor [ lbs::_val /= lbs::_1 ])
	)
	;

	factor
	= number [ lbs::_val = lbs::_1 ]
	>> ("*" > number [ lbs::_val = lazy_pow(lbs::_val, lbs::_1) ])
	;

	number
	= real [ lbs::_val = lbs::_1 ]
	\| ('-' > number [ lbs::_val = -lbs::_1 ])
	\| ('+' > number [ lbs::_val = lbs::_1 ])
	\| constant [ lbs::_val = lbs::_1 ]
	\| function [ lbs::_val = lbs::_1 ]
	\| ('(' > expr > ')') [ lbs::_val = lbs::_1 ]
	\| variable [ lbs::_val = lbs::_1 ]
	;

	function
	= (qi::no_case[unary_function]
	> '('
	> expr
	> ')') [ lbs::_val = lazy_unary_func(lbs::_1, lbs::_2) ]
	\| (qi::no_case[binary_function]
	> '(' >> expr
	> ',' >> expr
	> ')') [ lbs::_val = lazy_binary_func(lbs::_1, lbs::_2, lbs::_3) ]
	;

	variable
	= key [ lbs::_val = lazy_eval_param(lbs::_1, section, lbs::_val) ]
	;

	key
	= qi::no_skip[qi::char_("a-zA-Z_") >> *qi::char_("a-zA-Z_0-9")] // coming from the InputFileGrammar
	;

	constant.add
	("pi", M_PI)
	("e", M_E);

	unary_function.add
	("abs" , &std::abs )
	("acos" , &std::acos )
	("asin" , &std::asin )
	("atan" , &std::atan )
	("ceil" , &std::ceil )
	("cos" , &std::cos )
	("cosh" , &std::cosh )
	("exp" , &std::exp )
	("floor" , &std::floor )
	("log10" , &std::log10 )
	("log" , &std::log )
	("sin" , &std::sin )
	("sinh" , &std::sinh )
	("sqrt" , &std::sqrt )
	("tan" , &std::tan )
	("tanh" , &std::tanh )
	#if defined(AKANTU_CORE_CXX11 )
	("acosh" , &std::acosh )
	("asinh" , &std::asinh )
	("atanh" , &std::atanh )
	("exp2" , &std::exp2 )
	("expm1" , &std::expm1 )
	("log1p" , &std::log1p )
	("log2" , &std::log2 )
	("erf" , &std::erf )
	("erfc" , &std::erfc )
	("lgamma", &std::lgamma)
	("tgamma", &std::tgamma)
	("trunc" , &std::trunc )
	("round" , &std::round )
	// ("crbt" , &std::crbt )
	#endif
	;

	binary_function.add
	("pow" , &std::pow )
	("min" , &parser::my_min)
	("max" , &parser::my_max)
	("atan2", &std::atan2 )
	("fmod" , &std::fmod )
	#if defined(AKANTU_CORE_CXX11)
	("hypot", &std::hypot )
	#endif
	;

	qi::on_error<qi::fail>(start, error_handler(lbs::_4, lbs::_3, lbs::_2));

	expr .name("expression");
	term .name("term");
	factor .name("factor");
	number .name("numerical-value");
	variable.name("variable");
	function.name("function");

	constant.name("constants-list");
	unary_function.name("unary-functions-list");
	binary_function.name("binary-functions-list");
	}

	private:
	qi::rule<Iterator, Real(), Skipper> start;
	qi::rule<Iterator, Real(), Skipper> expr;
	qi::rule<Iterator, Real(), Skipper> term;
	qi::rule<Iterator, Real(), Skipper> factor;
	qi::rule<Iterator, Real(), Skipper> number;
	qi::rule<Iterator, Real(), Skipper> variable;
	qi::rule<Iterator, Real(), Skipper> function;

	qi::rule<Iterator, std::string(), Skipper> key;

	qi::real_parser< Real, qi::real_policies<Real> > real;

	qi::symbols<char, Real> constant;
	qi::symbols<char, Real (*) (Real)> unary_function;
	qi::symbols<char, Real (*) (Real, Real)> binary_function;

	const ParserSection & section;
	};

	/* ---------------------------------------------------------------------- */
	/* Vector Parser */
	/* ---------------------------------------------------------------------- */
	struct parsable_vector {
	operator Vector<Real>() {
	Vector<Real> tmp(_cells.size());
	std::vector<Real>::iterator it = _cells.begin();
	for (UInt i = 0; it != _cells.end(); ++it, ++i) tmp(i) = *it;
	return tmp;
	}

	std::vector<Real> _cells;
	};

	struct parsable_matrix {
	operator Matrix<Real>() {
	size_t cols = 0;
	std::vector<parsable_vector>::iterator it_rows = _cells.begin();
	for (;it_rows != _cells.end(); ++it_rows) cols = std::max(cols, it_rows->_cells.size());

	Matrix<Real> tmp(_cells.size(), _cells[0]._cells.size(), 0.);

	it_rows = _cells.begin();
	for (UInt i = 0; it_rows != _cells.end(); ++it_rows, ++i) {
	std::vector<Real>::iterator it_cols = it_rows->_cells.begin();
	for (UInt j = 0; it_cols != it_rows->_cells.end(); ++it_cols, ++j) {
	tmp(i, j) = *it_cols;
	}
	}
	return tmp;
	}

	std::vector<parsable_vector> _cells;
	};


	/* ---------------------------------------------------------------------- */
	struct lazy_cont_add_ {
	template <typename T1, typename T2>
	struct result { typedef void type; };

	template <typename T1, typename T2>
	void operator()(T1 & cont, T2 & value) const {
	cont._cells.push_back(value);
	}
	};

	/* ---------------------------------------------------------------------- */
	template<class Iterator, typename Skipper = spirit::unused_type>
	struct VectorGrammar : qi::grammar<Iterator, parsable_vector(), Skipper> {
	VectorGrammar(const ParserSection & section) : VectorGrammar::base_type(start,
	"vector_algebraic_grammar"),
	number(section) {
	phx::function<algebraic_error_handler_> const error_handler = algebraic_error_handler_();
	//phx::function<lazy_algebraic_eval_> lazy_algebraic_eval;
	phx::function<lazy_cont_add_> lazy_vector_add;

	start
	= '[' > vector > ']'
	;

	vector
	= ( number [ lazy_vector_add(lbs::_a, lbs::_1) ]
	>> *( ','
	>> number [ lazy_vector_add(lbs::_a, lbs::_1) ]
	)
	) [ lbs::_val = lbs::_a ]
	;

	qi::on_error<qi::fail>(start, error_handler(lbs::_4, lbs::_3, lbs::_2));

	start .name("start");
	vector.name("vector");
	number.name("value");
	}

	private:
	qi::rule<Iterator, parsable_vector(), Skipper> start;
	qi::rule<Iterator, parsable_vector(), qi::locals<parsable_vector>, Skipper> vector;
	qi::rule<Iterator, Real(), Skipper> value;
	AlgebraicGrammar<Iterator, Skipper> number;
	};

	/* ---------------------------------------------------------------------- */
	struct lazy_vector_eval_ {
	template <typename T1, typename T2, typename res>
	struct result { typedef bool type; };

	template <typename T1, typename T2, typename res>
	bool operator()(T1 a, const T2 & section, res & result) const {
	std::string value = section.getParameter(a, _ppsc_current_and_parent_scope);
	std::string::const_iterator b = value.begin();
	std::string::const_iterator e = value.end();
	parser::VectorGrammar<std::string::const_iterator, qi::space_type> grammar(section);
	return qi::phrase_parse(b, e, grammar, qi::space, result);
	}
	};



	/* ---------------------------------------------------------------------- */
	template<class Iterator, typename Skipper = spirit::unused_type>
	struct MatrixGrammar : qi::grammar<Iterator, parsable_matrix(), Skipper> {
	MatrixGrammar(const ParserSection & section) : MatrixGrammar::base_type(start,
	"matrix_algebraic_grammar"),
	vector(section) {
	phx::function<algebraic_error_handler_> const error_handler = algebraic_error_handler_();
	phx::function<lazy_vector_eval_> lazy_vector_eval;
	phx::function<lazy_cont_add_> lazy_matrix_add;

	start
	= '[' > matrix > ']'
	;

	matrix
	= ( rows [ lazy_matrix_add(lbs::_a, lbs::_1) ]
	>> *( ','
	>> rows [ lazy_matrix_add(lbs::_a, lbs::_1) ]
	)
	) [ lbs::_val = lbs::_a ]
	;

	rows
	= eval_vector
	\| vector
	;

	eval_vector
	= (key [ lbs::_pass = lazy_vector_eval(lbs::_1, section, lbs::_a) ]) [lbs::_val = lbs::_a]
	;

	key
	= qi::char_("a-zA-Z_") >> *qi::char_("a-zA-Z_0-9") // coming from the InputFileGrammar
	;

	qi::on_error<qi::fail>(start, error_handler(lbs::_4, lbs::_3, lbs::_2));

	start.name("matrix");
	matrix.name("all_rows");
	rows .name("rows");
	vector.name("vector");
	eval_vector.name("eval_vector");
	}

	private:
	qi::rule<Iterator, parsable_matrix(), Skipper> start;
	qi::rule<Iterator, parsable_matrix(), qi::locals<parsable_matrix>, Skipper> matrix;
	qi::rule<Iterator, parsable_vector(), Skipper> rows;
	qi::rule<Iterator, parsable_vector(), qi::locals<parsable_vector>, Skipper> eval_vector;
	qi::rule<Iterator, std::string(), Skipper> key;
	VectorGrammar<Iterator, Skipper> vector;
	};

	/* ---------------------------------------------------------------------- */
	/* Randon Generator */
	/* ---------------------------------------------------------------------- */
	struct ParsableRandomGenerator {
	ParsableRandomGenerator(Real base = Real(),
	const RandomDistributionType & type = _rdt_not_defined,
	const parsable_vector & parameters = parsable_vector()) :
	base(base), type(type), parameters(parameters) {}

	Real base;
	RandomDistributionType type;
	parsable_vector parameters;
	};

	/* ---------------------------------------------------------------------- */
	template<class Iterator, typename Skipper = spirit::unused_type>
	struct RandomGeneratorGrammar : qi::grammar<Iterator, ParsableRandomGenerator(), Skipper> {
	RandomGeneratorGrammar(const ParserSection & section) : RandomGeneratorGrammar::base_type(start,
	"random_generator_grammar"),
	number(section) {
	phx::function<algebraic_error_handler_> const error_handler = algebraic_error_handler_();
	phx::function<lazy_cont_add_> lazy_params_add;

	start
	= generator.alias()
	;

	generator
	= qi::hold[distribution [ lbs::_val = lbs::_1 ] ]
	\| number [ lbs::_val = phx::construct<ParsableRandomGenerator>(lbs::_1) ]
	;

	distribution
	= (
	number
	>> generator_type
	>> '['
	>> generator_params
	>> ']'
	) [ lbs::_val = phx::construct<ParsableRandomGenerator>(lbs::_1, lbs::_2, lbs::_3) ]
	;

	generator_params
	= ( number [ lazy_params_add(lbs::_a, lbs::_1) ]
	>> *( ','
	> number [ lazy_params_add(lbs::_a, lbs::_1) ]
	)
	) [ lbs::_val = lbs::_a ]
	;

	#define AKANTU_RANDOM_DISTRIBUTION_TYPE_ADD(r, data, elem) \
	(BOOST_PP_STRINGIZE(BOOST_PP_TUPLE_ELEM(2, 0, elem)), \
	AKANTU_RANDOM_DISTRIBUTION_TYPES_PREFIX(BOOST_PP_TUPLE_ELEM(2, 0, elem)))

	generator_type.add
	BOOST_PP_SEQ_FOR_EACH(AKANTU_RANDOM_DISTRIBUTION_TYPE_ADD, _, AKANTU_RANDOM_DISTRIBUTION_TYPES);
	#undef AKANTU_RANDOM_DISTRIBUTION_TYPE_ADD


	qi::on_error<qi::fail>(start, error_handler(lbs::_4, lbs::_3, lbs::_2));

	start .name("random-generator");
	generator .name("random-generator");
	distribution .name("random-distribution");
	generator_type .name("generator-type");
	generator_params.name("generator-parameters");
	number .name("number");
	}

	private:
	qi::rule<Iterator, ParsableRandomGenerator(), Skipper> start;
	qi::rule<Iterator, ParsableRandomGenerator(), Skipper> generator;
	qi::rule<Iterator, ParsableRandomGenerator(), Skipper> distribution;
	qi::rule<Iterator, parsable_vector(), qi::locals<parsable_vector>, Skipper> generator_params;
	AlgebraicGrammar<Iterator, Skipper> number;
	qi::symbols<char, RandomDistributionType> generator_type;
	};
	}
	}

	#endif /* __AKANTU_ALGEBRAIC_PARSER_HH__ */

algebraic_parser.hhNo OneTemporaryActions

File Metadata

algebraic_parser.hhView Options

Event Timeline

algebraic_parser.hh
No OneTemporary
Actions

algebraic_parser.hh
View Options