spirit_x4/test/x4/actions.cpp

/*=============================================================================
    Copyright (c) 2001-2015 Joel de Guzman
    Copyright (c) 2025 Nana Sakisaka

    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 "test.hpp"

#include <boost/spirit/x4/numeric/int.hpp>
#include <boost/spirit/x4/char/char_class.hpp>
#include <boost/spirit/x4/char/char.hpp>
#include <boost/spirit/x4/operator/alternative.hpp>
#include <boost/spirit/x4/operator/sequence.hpp>

TEST_CASE("action")
{
    using x4::int_;

    BOOST_SPIRIT_X4_ASSERT_CONSTEXPR_CTORS(x4::int_[std::true_type{}]);

    {
        int x = 0;
        auto const fun_action = [&](auto&& ctx) { x += x4::_attr(ctx); };
        CHECK(parse("{42}", '{' >> int_[fun_action] >> '}'));
    }
    {
        auto const fail = [](auto&&) { return false; };
        std::string input("1234 6543");
        char next = '\0';

        auto const setnext = [&](auto&& ctx) {
            next = x4::_attr(ctx);
        };

        REQUIRE(parse(input, x4::int_[fail] | x4::digit[setnext], x4::space).is_partial_match());
        CHECK(next == '1');
    }

    {
        // ensure no unneeded synthesization, copying and moving occurred
        auto p = '{' >> int_ >> '}';

        spirit_test::stationary st { 0 };
        static_assert(x4::X4Attribute<spirit_test::stationary>);

        REQUIRE(parse("{42}", p[([]{})], st));
        CHECK(st.val == 42);
    }
}