diff options
Diffstat (limited to 'src/boost/libs/metaparse/test/grammar.cpp')
| -rw-r--r-- | src/boost/libs/metaparse/test/grammar.cpp | 420 |
1 files changed, 420 insertions, 0 deletions
diff --git a/src/boost/libs/metaparse/test/grammar.cpp b/src/boost/libs/metaparse/test/grammar.cpp new file mode 100644 index 000000000..390151154 --- /dev/null +++ b/src/boost/libs/metaparse/test/grammar.cpp @@ -0,0 +1,420 @@ +// Copyright Abel Sinkovics (abel@sinkovics.hu) 2012. +// 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) + +#include <boost/metaparse/grammar.hpp> +#include <boost/metaparse/lit_c.hpp> +#include <boost/metaparse/get_result.hpp> +#include <boost/metaparse/start.hpp> +#include <boost/metaparse/is_error.hpp> +#include <boost/metaparse/string.hpp> + +#include "test_case.hpp" + +#include <boost/mpl/apply_wrap.hpp> +#include <boost/mpl/equal_to.hpp> +#include <boost/mpl/equal.hpp> +#include <boost/mpl/vector.hpp> +#include <boost/mpl/char.hpp> +#include <boost/mpl/assert.hpp> + +using boost::mpl::char_; + +namespace +{ + struct next_char + { + typedef next_char type; + + template <class C> + struct apply + { + typedef char_<C::type::value + 1> type; + }; + }; +} + +BOOST_METAPARSE_TEST_CASE(grammar) +{ + using boost::metaparse::grammar; + using boost::metaparse::lit_c; + using boost::metaparse::get_result; + using boost::metaparse::start; + using boost::metaparse::is_error; + using boost::metaparse::string; + + using boost::mpl::apply_wrap2; + using boost::mpl::equal_to; + using boost::mpl::equal; + using boost::mpl::vector; + + // import + BOOST_MPL_ASSERT(( + equal_to< + char_<'x'>, + get_result< + apply_wrap2< + grammar<> + ::import<string<'S'>, lit_c<'x'> >::type, + string<'x'>, + start + > + >::type + > + )); + + // rename_import + BOOST_MPL_ASSERT(( + equal_to< + char_<'x'>, + get_result< + apply_wrap2< + grammar<> + ::import<string<'I'>, lit_c<'x'> >::type + ::rule<string<'S',' ',':',':','=',' ','I'> >::type, + string<'x'>, + start + > + >::type + > + )); + + // char + BOOST_MPL_ASSERT(( + equal_to< + char_<'x'>, + get_result< + apply_wrap2< + grammar<> + ::rule<string<'S',' ',':',':','=',' ','\'','x','\''> >::type, + string<'x'>, + start + > + >::type + > + )); + + // char_failure + BOOST_MPL_ASSERT(( + is_error< + apply_wrap2< + grammar<> + ::rule<string<'S',' ',':',':','=',' ','\'','x','\''> >::type, + string<'y'>, + start + > + > + )); + + // char_n + BOOST_MPL_ASSERT(( + equal_to< + char_<'\n'>, + get_result< + apply_wrap2< + grammar<> + ::rule<string<'S',' ',':',':','=',' ','\'','\\','n','\''> >::type, + string<'\n'>, + start + > + >::type + > + )); + + // char_r + BOOST_MPL_ASSERT(( + equal_to< + char_<'\r'>, + get_result< + apply_wrap2< + grammar<> + ::rule<string<'S',' ',':',':','=',' ','\'','\\','r','\''> >::type, + string<'\r'>, + start + > + >::type + > + )); + + // char_t + BOOST_MPL_ASSERT(( + equal_to< + char_<'\t'>, + get_result< + apply_wrap2< + grammar<> + ::rule<string<'S',' ',':',':','=',' ','\'','\\','t','\''> >::type, + string<'\t'>, + start + > + >::type + > + )); + + // backslash + BOOST_MPL_ASSERT(( + equal_to< + char_<'\\'>, + get_result< + apply_wrap2< + grammar<> + ::rule<string<'S',' ',':',':','=',' ','\'','\\','\\','\''> >::type, + string<'\\'>, + start + > + >::type + > + )); + + // char_\' + BOOST_MPL_ASSERT(( + equal_to< + char_<'\''>, + get_result< + apply_wrap2< + grammar<> + ::rule<string<'S',' ',':',':','=',' ','\'','\\','\'','\''> >::type, + string<'\''>, + start + > + >::type + > + )); + + // rename_rule + BOOST_MPL_ASSERT(( + equal_to< + char_<'x'>, + get_result< + apply_wrap2< + grammar<> + ::rule<string<'R',' ',':',':','=',' ','\'','x','\''> >::type + ::rule<string<'S',' ',':',':','=',' ','R'> >::type, + string<'x'>, + start + > + >::type + > + )); + + // sequence + BOOST_MPL_ASSERT(( + equal< + vector<char_<'x'>, char_<'x'> >, + get_result< + apply_wrap2< + grammar<> + ::rule<string<'R',' ',':',':','=',' ','\'','x','\''> >::type + ::rule<string<'S',' ',':',':','=',' ','R',' ','R'> >::type, + string<'x','x'>, + start + > + >::type + > + )); + + // sequence_first_fail + BOOST_MPL_ASSERT(( + is_error< + apply_wrap2< + grammar<> + ::rule<string<'R',' ',':',':','=',' ','\'','x','\''> >::type + ::rule<string<'S',' ',':',':','=',' ','R',' ','R'> >::type, + string<'y','x'>, + start + > + > + )); + + // sequence_second_fail + BOOST_MPL_ASSERT(( + is_error< + apply_wrap2< + grammar<> + ::rule<string<'R',' ',':',':','=',' ','\'','x','\''> >::type + ::rule<string<'S',' ',':',':','=',' ','R',' ','R'> >::type, + string<'x','y'>, + start + > + > + )); + + // selection 1 + BOOST_MPL_ASSERT(( + equal_to< + char_<'x'>, + get_result< + apply_wrap2< + grammar<> + ::rule<string<'Y',' ',':',':','=',' ','\'','y','\''> >::type + ::rule<string<'X',' ',':',':','=',' ','\'','x','\''> >::type + ::rule<string<'S',' ',':',':','=',' ','X','|','Y'> >::type, + string<'x'>, + start + > + >::type + > + )); + + // selection 2 + BOOST_MPL_ASSERT(( + equal_to< + char_<'y'>, + get_result< + apply_wrap2< + grammar<> + ::rule<string<'Y',' ',':',':','=',' ','\'','y','\''> >::type + ::rule<string<'X',' ',':',':','=',' ','\'','x','\''> >::type + ::rule<string<'S',' ',':',':','=',' ','X','|','Y'> >::type, + string<'y'>, + start + > + >::type + > + )); + + // selection_fail + BOOST_MPL_ASSERT(( + is_error< + apply_wrap2< + grammar<> + ::rule<string<'Y',' ',':',':','=',' ','\'','y','\''> >::type + ::rule<string<'X',' ',':',':','=',' ','\'','x','\''> >::type + ::rule<string<'S',' ',':',':','=',' ','X','|','Y'> >::type, + string<'z'>, + start + > + > + )); + + // repeated_0 + BOOST_MPL_ASSERT(( + equal< + vector<>, + get_result< + apply_wrap2< + grammar<> + ::rule<string<'X',' ',':',':','=',' ','\'','x','\''> >::type + ::rule<string<'S',' ',':',':','=',' ','X','*'> >::type, + string<'y'>, + start + > + >::type + > + )); + + // repeated_1 + BOOST_MPL_ASSERT(( + equal< + vector<char_<'x'> >, + get_result< + apply_wrap2< + grammar<> + ::rule<string<'X',' ',':',':','=',' ','\'','x','\''> >::type + ::rule<string<'S',' ',':',':','=',' ','X','*'> >::type, + string<'x','y'>, + start + > + >::type + > + )); + + // repeated_2 + BOOST_MPL_ASSERT(( + equal< + vector<char_<'x'>, char_<'x'> >, + get_result< + apply_wrap2< + grammar<> + ::rule<string<'X',' ',':',':','=',' ','\'','x','\''> >::type + ::rule<string<'S',' ',':',':','=',' ','X','*'> >::type, + string<'x','x','y'>, + start + > + >::type + > + )); + + // bracket + BOOST_MPL_ASSERT(( + equal_to< + char_<'x'>, + get_result< + apply_wrap2< + grammar<> + ::rule< + string<'S',' ',':',':','=',' ','(','\'','x','\'',')'> + >::type, + string<'x'>, + start + > + >::type + > + )); + + // semantic_action + BOOST_MPL_ASSERT(( + equal_to< + char_<'y'>, + get_result< + apply_wrap2< + grammar<> + ::rule< + string<'S',' ',':',':','=',' ','\'','x','\''>, + next_char + >::type, + string<'x'>, + start + > + >::type + > + )); + + // repeated+_0 + BOOST_MPL_ASSERT(( + is_error< + apply_wrap2< + grammar<> + ::rule<string<'X',' ',':',':','=',' ','\'','x','\''> >::type + ::rule<string<'S',' ',':',':','=',' ','X','+'> >::type, + string<'y'>, + start + > + > + )); + + // repeated+_1 + BOOST_MPL_ASSERT(( + equal< + vector<char_<'x'> >, + get_result< + apply_wrap2< + grammar<> + ::rule<string<'X',' ',':',':','=',' ','\'','x','\''> >::type + ::rule<string<'S',' ',':',':','=',' ','X','+'> >::type, + string<'x','y'>, + start + > + >::type + > + )); + + // repeated+_2 + BOOST_MPL_ASSERT(( + equal< + vector<char_<'x'>, char_<'x'> >, + get_result< + apply_wrap2< + grammar<> + ::rule<string<'X',' ',':',':','=',' ','\'','x','\''> >::type + ::rule<string<'S',' ',':',':','=',' ','X','+'> >::type, + string<'x','x','y'>, + start + > + >::type + > + )); +} + + |