mirror of
https://github.com/boostorg/parser.git
synced 2026-01-19 16:32:13 +00:00
313 lines
9.4 KiB
C++
313 lines
9.4 KiB
C++
/**
|
|
* 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 <gtest/gtest.h>
|
|
|
|
|
|
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;
|
|
|
|
TEST(attributes, or_parser_permutations_2)
|
|
{
|
|
[[maybe_unused]] int dummy = 0; // for clang-format(!)
|
|
|
|
// P1
|
|
{
|
|
auto result = bp::parse("foo", bp::string("bar") | bp::string("foo"));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(*result, "foo"s);
|
|
}
|
|
{
|
|
auto result = bp::parse("bar", bp::string("bar") | bp::string("bar"));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(*result, "bar"s);
|
|
}
|
|
{
|
|
auto result = bp::parse("42", bp::string("bar") | bp::int_);
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 1u);
|
|
EXPECT_EQ(std::get<int>(*result), 42);
|
|
}
|
|
{
|
|
auto result = bp::parse("bar", bp::string("bar") | bp::char_('c'));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 0);
|
|
EXPECT_EQ(std::get<std::string>(*result), "bar"s);
|
|
}
|
|
{
|
|
auto result = bp::parse("", bp::string("bar") | bp::eps);
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(*result, std::nullopt);
|
|
}
|
|
{
|
|
auto result =
|
|
bp::parse("foofoo", bp::string("bar") | *bp::string("foo"));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 1u);
|
|
EXPECT_EQ(
|
|
std::get<std::vector<std::string>>(*result),
|
|
std::vector({"foo"s, "foo"s}));
|
|
}
|
|
{
|
|
auto result = bp::parse("bar", bp::string("bar") | -bp::string("foo"));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 0);
|
|
EXPECT_EQ(std::get<std::string>(*result), "bar"s);
|
|
}
|
|
{
|
|
auto result =
|
|
bp::parse("42", bp::string("bar") | (bp::string("foo") | bp::int_));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 1u);
|
|
EXPECT_EQ(std::get<int>(*result), 42);
|
|
}
|
|
{
|
|
auto result = bp::parse(
|
|
"bar",
|
|
bp::string("foo") | -(bp::string("foo") | bp::string("bar")));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 1u);
|
|
EXPECT_EQ(std::get<std::optional<std::string>>(*result), "bar"s);
|
|
}
|
|
{
|
|
auto result = bp::parse(
|
|
"foo",
|
|
bp::string("bar") | (-bp::string("foo") | bp::string("bar")));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 1u);
|
|
EXPECT_EQ(std::get<std::optional<std::string>>(*result), "foo"s);
|
|
}
|
|
{
|
|
auto result = bp::parse(
|
|
"bar", bp::string("bar") | (bp::string("foo") >> bp::int_));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 0);
|
|
EXPECT_EQ(std::get<std::string>(*result), "bar"s);
|
|
}
|
|
{
|
|
auto result = bp::parse(
|
|
"bar",
|
|
bp::string("bar") | -(bp::string("foo") >> bp::string("bar")));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 0);
|
|
EXPECT_EQ(std::get<std::string>(*result), "bar"s);
|
|
}
|
|
{
|
|
auto result = bp::parse(
|
|
"bar",
|
|
bp::string("bar") | (-bp::string("foo") >> bp::string("bar")));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 0);
|
|
EXPECT_EQ(std::get<std::string>(*result), "bar"s);
|
|
}
|
|
|
|
// P2
|
|
{
|
|
auto result = bp::parse("42", bp::int_ | bp::string("foo"));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 0);
|
|
EXPECT_EQ(std::get<int>(*result), 42);
|
|
}
|
|
{
|
|
auto result = bp::parse("bar", bp::int_ | bp::string("bar"));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 1u);
|
|
EXPECT_EQ(std::get<std::string>(*result), "bar"s);
|
|
}
|
|
{
|
|
auto result = bp::parse("42", bp::int_ | bp::int_, bp::ws);
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(*result, 42);
|
|
}
|
|
{
|
|
auto result = bp::parse("c", bp::int_ | bp::char_('c'));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 1u);
|
|
EXPECT_EQ(std::get<char>(*result), 'c');
|
|
}
|
|
{
|
|
auto result = bp::parse("", bp::int_ | bp::eps);
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(*result, std::nullopt);
|
|
}
|
|
{
|
|
auto result = bp::parse("foofoo", bp::int_ | *bp::string("foo"));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 1u);
|
|
EXPECT_EQ(
|
|
std::get<std::vector<std::string>>(*result),
|
|
std::vector({"foo"s, "foo"s}));
|
|
}
|
|
{
|
|
auto result = bp::parse("42", bp::int_ | -bp::string("foo"));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 0);
|
|
EXPECT_EQ(std::get<int>(*result), 42);
|
|
}
|
|
{
|
|
auto result =
|
|
bp::parse("42", bp::int_ | (bp::string("foo") | bp::int_));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 0);
|
|
EXPECT_EQ(std::get<int>(*result), 42);
|
|
}
|
|
{
|
|
auto result = bp::parse(
|
|
"bar", bp::int_ | -(bp::string("foo") | bp::string("bar")));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 1u);
|
|
EXPECT_EQ(
|
|
std::get<std::optional<std::string>>(*result),
|
|
std::optional("bar"s));
|
|
}
|
|
{
|
|
auto result =
|
|
bp::parse("", bp::int_ | (-bp::string("foo") | bp::string("bar")));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 1u);
|
|
EXPECT_EQ(std::get<std::optional<std::string>>(*result), std::nullopt);
|
|
}
|
|
{
|
|
auto result =
|
|
bp::parse("42", bp::int_ | (bp::string("foo") >> bp::int_));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 0);
|
|
EXPECT_EQ(std::get<int>(*result), 42);
|
|
}
|
|
{
|
|
auto result = bp::parse(
|
|
"42", bp::int_ | -(bp::string("foo") >> bp::string("bar")));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 0);
|
|
EXPECT_EQ(std::get<int>(*result), 42);
|
|
}
|
|
{
|
|
auto result = bp::parse(
|
|
"42", bp::int_ | (-bp::string("foo") >> bp::string("bar")));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 0);
|
|
EXPECT_EQ(std::get<int>(*result), 42);
|
|
}
|
|
|
|
// P3
|
|
{
|
|
auto result = bp::parse("c", bp::char_('c') | bp::string("foo"));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 0);
|
|
EXPECT_EQ(std::get<char>(*result), 'c');
|
|
}
|
|
{
|
|
auto result = bp::parse("bar", bp::char_('c') | bp::string("bar"));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 1u);
|
|
EXPECT_EQ(std::get<std::string>(*result), "bar"s);
|
|
}
|
|
{
|
|
auto result = bp::parse("42", bp::char_('c') | bp::int_);
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 1u);
|
|
EXPECT_EQ(std::get<int>(*result), 42);
|
|
}
|
|
{
|
|
auto result = bp::parse("c", bp::char_('c') | bp::char_('c'));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(*result, 'c');
|
|
}
|
|
{
|
|
auto result = bp::parse("c", bp::char_('c') | bp::eps);
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(*result, 'c');
|
|
}
|
|
{
|
|
auto result = bp::parse("foofoo", bp::char_('c') | *bp::string("foo"));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 1u);
|
|
EXPECT_EQ(
|
|
std::get<std::vector<std::string>>(*result),
|
|
std::vector({"foo"s, "foo"s}));
|
|
}
|
|
{
|
|
auto result = bp::parse("c", bp::char_('c') | -bp::string("foo"));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 0);
|
|
EXPECT_EQ(std::get<char>(*result), 'c');
|
|
}
|
|
{
|
|
auto result =
|
|
bp::parse("42", bp::char_('c') | (bp::string("foo") | bp::int_));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 2u);
|
|
EXPECT_EQ(std::get<int>(*result), 42);
|
|
}
|
|
{
|
|
auto result = bp::parse(
|
|
"bar", bp::char_('c') | -(bp::string("foo") | bp::string("bar")));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 1u);
|
|
EXPECT_EQ(
|
|
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")));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 1u);
|
|
EXPECT_EQ(
|
|
std::get<std::optional<std::string>>(*result),
|
|
std::optional("foo"s));
|
|
}
|
|
{
|
|
auto result = bp::parse(
|
|
"foo42", bp::char_('c') | (bp::string("foo") >> bp::int_));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 1u);
|
|
EXPECT_EQ(
|
|
(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")));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 0);
|
|
EXPECT_EQ(std::get<char>(*result), 'c');
|
|
}
|
|
{
|
|
auto result = bp::parse(
|
|
"c", bp::char_('c') | (-bp::string("foo") >> bp::string("bar")));
|
|
EXPECT_TRUE(result);
|
|
EXPECT_EQ(result->index(), 0);
|
|
EXPECT_EQ(std::get<char>(*result), 'c');
|
|
}
|
|
|
|
// eps | ... prohibited.
|
|
}
|