123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143 |
- /*=============================================================================
- Copyright (c) 2001-2011 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)
- =============================================================================*/
- #include <boost/detail/lightweight_test.hpp>
- #include <boost/spirit/include/qi_operator.hpp>
- #include <boost/spirit/include/qi_char.hpp>
- #include <boost/spirit/include/qi_string.hpp>
- #include <boost/spirit/include/qi_numeric.hpp>
- #include <boost/spirit/include/qi_auxiliary.hpp>
- #include <boost/spirit/include/qi_directive.hpp>
- #include <boost/spirit/include/qi_nonterminal.hpp>
- #include <boost/spirit/include/qi_action.hpp>
- #include <boost/spirit/include/phoenix_core.hpp>
- #include <boost/spirit/include/phoenix_operator.hpp>
- #include <boost/fusion/include/std_pair.hpp>
- #include <string>
- #include <cstring>
- #include <iostream>
- #include "test.hpp"
- int
- main()
- {
- using spirit_test::test_attr;
- using spirit_test::test;
- using namespace boost::spirit::ascii;
- using namespace boost::spirit::qi::labels;
- using boost::spirit::qi::locals;
- using boost::spirit::qi::rule;
- using boost::spirit::qi::int_;
- using boost::spirit::qi::uint_;
- using boost::spirit::qi::fail;
- using boost::spirit::qi::on_error;
- using boost::spirit::qi::debug;
- using boost::spirit::qi::lit;
- namespace phx = boost::phoenix;
- { // synth attribute value-init
- std::string s;
- rule<char const*, char()> r;
- r = alpha[_val += _1];
- BOOST_TEST(test_attr("abcdef", +r, s));
- BOOST_TEST(s == "abcdef");
- }
- { // auto rules aliasing tests
- char ch = '\0';
- rule<char const*, char()> a, b;
- a %= b;
- b %= alpha;
- BOOST_TEST(test("x", a[phx::ref(ch) = _1]));
- BOOST_TEST(ch == 'x');
- ch = '\0';
- BOOST_TEST(test_attr("z", a, ch)); // attribute is given.
- BOOST_TEST(ch == 'z');
- a = b; // test deduced auto rule behavior
- b = alpha;
- ch = '\0';
- BOOST_TEST(test("x", a[phx::ref(ch) = _1]));
- BOOST_TEST(ch == 'x');
- ch = '\0';
- BOOST_TEST(test_attr("z", a, ch)); // attribute is given.
- BOOST_TEST(ch == 'z');
- }
- { // context (w/arg) tests
- char ch;
- rule<char const*, char(int)> a; // 1 arg
- a = alpha[_val = _1 + _r1];
- BOOST_TEST(test("x", a(phx::val(1))[phx::ref(ch) = _1]));
- BOOST_TEST(ch == 'x' + 1);
- BOOST_TEST(test_attr("a", a(1), ch)); // allow scalars as rule args too.
- BOOST_TEST(ch == 'a' + 1);
- rule<char const*, char(int, int)> b; // 2 args
- b = alpha[_val = _1 + _r1 + _r2];
- BOOST_TEST(test_attr("a", b(1, 2), ch));
- BOOST_TEST(ch == 'a' + 1 + 2);
- }
- { // context (w/ reference arg) tests
- char ch;
- rule<char const*, void(char&)> a; // 1 arg (reference)
- a = alpha[_r1 = _1];
- BOOST_TEST(test("x", a(phx::ref(ch))));
- BOOST_TEST(ch == 'x');
- }
- { // context (w/locals) tests
- rule<char const*, locals<char> > a; // 1 local
- a = alpha[_a = _1] >> char_(_a);
- BOOST_TEST(test("aa", a));
- BOOST_TEST(!test("ax", a));
- }
- { // context (w/args and locals) tests
- rule<char const*, void(int), locals<char> > a; // 1 arg + 1 local
- a = alpha[_a = _1 + _r1] >> char_(_a);
- BOOST_TEST(test("ab", a(phx::val(1))));
- BOOST_TEST(test("xy", a(phx::val(1))));
- BOOST_TEST(!test("ax", a(phx::val(1))));
- }
- { // void() has unused type (void == unused_type)
- std::pair<int, char> attr;
- rule<char const*, void()> r;
- r = char_;
- BOOST_TEST(test_attr("123ax", int_ >> char_ >> r, attr));
- BOOST_TEST(attr.first == 123);
- BOOST_TEST(attr.second == 'a');
- }
- { // bug: test that injected attributes are ok
- rule<char const*, char(int) > r;
- // problem code:
- r = char_(_r1)[_val = _1];
- }
- return boost::report_errors();
- }
|