/**
 *   Copyright (C) 2024 T. Zachary Laine
 *
 *   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/parser/parser.hpp>

#include <boost/core/lightweight_test.hpp>


namespace bp = boost::parser;

namespace make {
    template<typename... Ts>
    auto tuple(Ts &&... xs)
    {
        return bp::tuple<Ts...>((Ts &&) xs...);
    }
}

/*
{P0, -P0, *P0, P1, P2, P3, eps}
<cartesian product>
{P0, P1, P2, P3, eps, *P0, -P0, (P0 >>/| P2), -(P0 >>/| P1), (-P0 >>/| P1)}

P0 = bp::string("foo");
P1 = bp::string("bar");
P2 = bp::int_;
P3 = bp::char_('c');
*/

using namespace std::literals;

int main()
{
    [[maybe_unused]] int dummy = 0; // for clang-format(!)

    // P1
    {
        auto result = bp::parse("foo", bp::string("bar") | bp::string("foo"));
        BOOST_TEST(result);
        BOOST_TEST(*result == "foo"s);
    }
    {
        auto result = bp::parse("bar", bp::string("bar") | bp::string("bar"));
        BOOST_TEST(result);
        BOOST_TEST(*result == "bar"s);
    }
    {
        auto result = bp::parse("42", bp::string("bar") | bp::int_);
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 1u);
        BOOST_TEST(std::get<int>(*result) == 42);
    }
    {
        auto result = bp::parse("bar", bp::string("bar") | bp::char_('c'));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 0);
        BOOST_TEST(std::get<std::string>(*result) == "bar"s);
    }
    {
        auto result = bp::parse("", bp::string("bar") | bp::eps);
        BOOST_TEST(result);
        BOOST_TEST(*result == std::nullopt);
    }
    {
        auto result =
            bp::parse("foofoo", bp::string("bar") | *bp::string("foo"));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 1u);
        BOOST_TEST(
            std::get<std::vector<std::string>>(*result) ==
            std::vector({"foo"s, "foo"s}));
    }
    {
        auto result = bp::parse("bar", bp::string("bar") | -bp::string("foo"));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 0);
        BOOST_TEST(std::get<std::string>(*result) == "bar"s);
    }
    {
        auto result =
            bp::parse("42", bp::string("bar") | (bp::string("foo") | bp::int_));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 1u);
        BOOST_TEST(std::get<int>(*result) == 42);
    }
    {
        auto result = bp::parse(
            "bar",
            bp::string("foo") | -(bp::string("foo") | bp::string("bar")));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 1u);
        BOOST_TEST(std::get<std::optional<std::string>>(*result) == "bar"s);
    }
    {
        auto result = bp::parse(
            "foo",
            bp::string("bar") | (-bp::string("foo") | bp::string("bar")));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 1u);
        BOOST_TEST(std::get<std::optional<std::string>>(*result) == "foo"s);
    }
    {
        auto result = bp::parse(
            "bar", bp::string("bar") | (bp::string("foo") >> bp::int_));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 0);
        BOOST_TEST(std::get<std::string>(*result) == "bar"s);
    }
    {
        auto result = bp::parse(
            "bar",
            bp::string("bar") | -(bp::string("foo") >> bp::string("bar")));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 0);
        BOOST_TEST(std::get<std::string>(*result) == "bar"s);
    }
    {
        auto result = bp::parse(
            "bar",
            bp::string("bar") | (-bp::string("foo") >> bp::string("bar")));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 0);
        BOOST_TEST(std::get<std::string>(*result) == "bar"s);
    }

    // P2
    {
        auto result = bp::parse("42", bp::int_ | bp::string("foo"));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 0);
        BOOST_TEST(std::get<int>(*result) == 42);
    }
    {
        auto result = bp::parse("bar", bp::int_ | bp::string("bar"));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 1u);
        BOOST_TEST(std::get<std::string>(*result) == "bar"s);
    }
    {
        auto result = bp::parse("42", bp::int_ | bp::int_, bp::ws);
        BOOST_TEST(result);
        BOOST_TEST(*result == 42);
    }
    {
        auto result = bp::parse("c", bp::int_ | bp::char_('c'));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 1u);
        BOOST_TEST(std::get<char>(*result) == 'c');
    }
    {
        auto result = bp::parse("", bp::int_ | bp::eps);
        BOOST_TEST(result);
        BOOST_TEST(*result == std::nullopt);
    }
    {
        auto result = bp::parse("foofoo", bp::int_ | *bp::string("foo"));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 1u);
        BOOST_TEST(
            std::get<std::vector<std::string>>(*result) ==
            std::vector({"foo"s, "foo"s}));
    }
    {
        auto result = bp::parse("42", bp::int_ | -bp::string("foo"));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 0);
        BOOST_TEST(std::get<int>(*result) == 42);
    }
    {
        auto result =
            bp::parse("42", bp::int_ | (bp::string("foo") | bp::int_));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 0);
        BOOST_TEST(std::get<int>(*result) == 42);
    }
    {
        auto result = bp::parse(
            "bar", bp::int_ | -(bp::string("foo") | bp::string("bar")));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 1u);
        BOOST_TEST(
            std::get<std::optional<std::string>>(*result) ==
            std::optional("bar"s));
    }
    {
        auto result =
            bp::parse("", bp::int_ | (-bp::string("foo") | bp::string("bar")));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 1u);
        BOOST_TEST(std::get<std::optional<std::string>>(*result) == std::nullopt);
    }
    {
        auto result =
            bp::parse("42", bp::int_ | (bp::string("foo") >> bp::int_));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 0);
        BOOST_TEST(std::get<int>(*result) == 42);
    }
    {
        auto result = bp::parse(
            "42", bp::int_ | -(bp::string("foo") >> bp::string("bar")));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 0);
        BOOST_TEST(std::get<int>(*result) == 42);
    }
    {
        auto result = bp::parse(
            "42", bp::int_ | (-bp::string("foo") >> bp::string("bar")));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 0);
        BOOST_TEST(std::get<int>(*result) == 42);
    }

    // P3
    {
        auto result = bp::parse("c", bp::char_('c') | bp::string("foo"));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 0);
        BOOST_TEST(std::get<char>(*result) == 'c');
    }
    {
        auto result = bp::parse("bar", bp::char_('c') | bp::string("bar"));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 1u);
        BOOST_TEST(std::get<std::string>(*result) == "bar"s);
    }
    {
        auto result = bp::parse("42", bp::char_('c') | bp::int_);
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 1u);
        BOOST_TEST(std::get<int>(*result) == 42);
    }
    {
        auto result = bp::parse("c", bp::char_('c') | bp::char_('c'));
        BOOST_TEST(result);
        BOOST_TEST(*result == 'c');
    }
    {
        auto result = bp::parse("c", bp::char_('c') | bp::eps);
        BOOST_TEST(result);
        BOOST_TEST(*result == 'c');
    }
    {
        auto result = bp::parse("foofoo", bp::char_('c') | *bp::string("foo"));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 1u);
        BOOST_TEST(
            std::get<std::vector<std::string>>(*result) ==
            std::vector({"foo"s, "foo"s}));
    }
    {
        auto result = bp::parse("c", bp::char_('c') | -bp::string("foo"));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 0);
        BOOST_TEST(std::get<char>(*result) == 'c');
    }
    {
        auto result =
            bp::parse("42", bp::char_('c') | (bp::string("foo") | bp::int_));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 2u);
        BOOST_TEST(std::get<int>(*result) == 42);
    }
    {
        auto result = bp::parse(
            "bar", bp::char_('c') | -(bp::string("foo") | bp::string("bar")));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 1u);
        BOOST_TEST(
            std::get<std::optional<std::string>>(*result) ==
            std::optional("bar"s));
    }
    {
        auto result = bp::parse(
            "foo", bp::char_('c') | (-bp::string("foo") | bp::string("bar")));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 1u);
        BOOST_TEST(
            std::get<std::optional<std::string>>(*result) ==
            std::optional("foo"s));
    }
    {
        auto result = bp::parse(
            "foo42", bp::char_('c') | (bp::string("foo") >> bp::int_));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 1u);
        BOOST_TEST(
            (std::get<bp::tuple<std::string, int>>(*result)) ==
            (make::tuple("foo"s, 42)));
    }
    {
        auto result = bp::parse(
            "c", bp::char_('c') | -(bp::string("foo") >> bp::string("bar")));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 0);
        BOOST_TEST(std::get<char>(*result) == 'c');
    }
    {
        auto result = bp::parse(
            "c", bp::char_('c') | (-bp::string("foo") >> bp::string("bar")));
        BOOST_TEST(result);
        BOOST_TEST(result->index() == 0);
        BOOST_TEST(std::get<char>(*result) == 'c');
    }

    // eps | ... prohibited.

    return boost::report_errors();
}