1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
|
#include <gtest/gtest.h>
#include <pog/rule_builder.h>
using namespace pog;
class TestRuleBuilder : public ::testing::Test
{
public:
Grammar<int> grammar;
};
TEST_F(TestRuleBuilder,
Initialization) {
RuleBuilder<int> rb(&grammar, "A");
EXPECT_EQ(grammar.get_symbols().size(), 2u); // start and end symbol
EXPECT_TRUE(grammar.get_rules().empty());
}
TEST_F(TestRuleBuilder,
NoProductions) {
RuleBuilder<int> rb(&grammar, "A");
rb.done();
EXPECT_EQ(grammar.get_symbols().size(), 2u);
EXPECT_TRUE(grammar.get_rules().empty());
}
TEST_F(TestRuleBuilder,
SingleProductionWithoutAction) {
RuleBuilder<int> rb(&grammar, "A");
rb.production("a");
rb.done();
EXPECT_EQ(grammar.get_symbols().size(), 4u);
EXPECT_EQ(grammar.get_rules().size(), 1u);
EXPECT_EQ(grammar.get_rules()[0]->to_string(), "A -> a");
EXPECT_FALSE(grammar.get_rules()[0]->has_action());
}
TEST_F(TestRuleBuilder,
SingleProductionWithAction) {
RuleBuilder<int> rb(&grammar, "A");
rb.production("a", [](auto&&) { return 42; });
rb.done();
EXPECT_EQ(grammar.get_symbols().size(), 4u);
EXPECT_EQ(grammar.get_rules().size(), 1u);
EXPECT_EQ(grammar.get_rules()[0]->to_string(), "A -> a");
EXPECT_TRUE(grammar.get_rules()[0]->has_action());
}
TEST_F(TestRuleBuilder,
MultipleProductionsWithActions) {
RuleBuilder<int> rb(&grammar, "A");
rb.production("A", "a", [](auto&&) { return 42; })
.production("a", [](auto&&) { return 42; });
rb.done();
EXPECT_EQ(grammar.get_symbols().size(), 4u);
EXPECT_EQ(grammar.get_rules().size(), 2u);
EXPECT_EQ(grammar.get_rules()[0]->to_string(), "A -> A a");
EXPECT_EQ(grammar.get_rules()[1]->to_string(), "A -> a");
EXPECT_TRUE(grammar.get_rules()[0]->has_action());
EXPECT_TRUE(grammar.get_rules()[1]->has_action());
}
TEST_F(TestRuleBuilder,
SingleProductionWithMidruleActions) {
RuleBuilder<int> rb(&grammar, "func");
rb.production(
"func", "id", [](auto&&) { return 42; },
"{", "body", "}", [](auto&&) { return 43; }
);
rb.done();
EXPECT_EQ(grammar.get_symbols().size(), 8u);
EXPECT_EQ(grammar.get_rules().size(), 2u);
EXPECT_EQ(grammar.get_rules()[0]->to_string(), "_func#0.0 -> <eps>");
EXPECT_EQ(grammar.get_rules()[1]->to_string(), "func -> func id _func#0.0 { body }");
EXPECT_TRUE(grammar.get_rules()[0]->has_action());
EXPECT_TRUE(grammar.get_rules()[1]->has_action());
EXPECT_EQ(grammar.get_rules()[0]->perform_action(std::vector<int>{}), 42);
EXPECT_EQ(grammar.get_rules()[0]->perform_action(std::vector<int>{1, 2, 3}), 42);
EXPECT_EQ(grammar.get_rules()[1]->perform_action(std::vector<int>{}), 43);
EXPECT_EQ(grammar.get_rules()[1]->perform_action(std::vector<int>{1, 2, 3}), 43);
}
TEST_F(TestRuleBuilder,
MultipleProductionsWithMidruleActions) {
RuleBuilder<int> rb(&grammar, "def");
rb.production(
"func", "id", [](auto&&) { return 42; },
"(", "args", ")", [](auto&&) { return 43; },
"{", "body", "}", [](auto&&) { return 44; }
)
.production(
"var", "id", "=", [](auto&&) { return 142; },
"expr", [](auto&&) { return 143; }
);
rb.done();
EXPECT_EQ(grammar.get_symbols().size(), 17u);
EXPECT_EQ(grammar.get_rules().size(), 5u);
EXPECT_EQ(grammar.get_rules()[0]->to_string(), "_def#0.0 -> <eps>");
EXPECT_EQ(grammar.get_rules()[1]->to_string(), "_def#0.1 -> <eps>");
EXPECT_EQ(grammar.get_rules()[2]->to_string(), "def -> func id _def#0.0 ( args ) _def#0.1 { body }");
EXPECT_EQ(grammar.get_rules()[3]->to_string(), "_def#1.0 -> <eps>");
EXPECT_EQ(grammar.get_rules()[4]->to_string(), "def -> var id = _def#1.0 expr");
EXPECT_TRUE(grammar.get_rules()[0]->has_action());
EXPECT_TRUE(grammar.get_rules()[1]->has_action());
EXPECT_TRUE(grammar.get_rules()[2]->has_action());
EXPECT_TRUE(grammar.get_rules()[3]->has_action());
EXPECT_TRUE(grammar.get_rules()[4]->has_action());
EXPECT_EQ(grammar.get_rules()[0]->perform_action(std::vector<int>{}), 42);
EXPECT_EQ(grammar.get_rules()[0]->perform_action(std::vector<int>{1, 2, 3}), 42);
EXPECT_EQ(grammar.get_rules()[1]->perform_action(std::vector<int>{}), 43);
EXPECT_EQ(grammar.get_rules()[1]->perform_action(std::vector<int>{1, 2, 3}), 43);
EXPECT_EQ(grammar.get_rules()[2]->perform_action(std::vector<int>{}), 44);
EXPECT_EQ(grammar.get_rules()[2]->perform_action(std::vector<int>{1, 2, 3}), 44);
EXPECT_EQ(grammar.get_rules()[3]->perform_action(std::vector<int>{}), 142);
EXPECT_EQ(grammar.get_rules()[3]->perform_action(std::vector<int>{1, 2, 3}), 142);
EXPECT_EQ(grammar.get_rules()[4]->perform_action(std::vector<int>{}), 143);
EXPECT_EQ(grammar.get_rules()[4]->perform_action(std::vector<int>{1, 2, 3}), 143);
}
TEST_F(TestRuleBuilder,
EpsilonRuleWithAction) {
RuleBuilder<int> rb(&grammar, "A");
rb.production("A", "a", [](auto&&) { return 42; })
.production([](auto&&) { return 43; });
rb.done();
EXPECT_EQ(grammar.get_symbols().size(), 4u);
EXPECT_EQ(grammar.get_rules().size(), 2u);
EXPECT_EQ(grammar.get_rules()[0]->to_string(), "A -> A a");
EXPECT_EQ(grammar.get_rules()[1]->to_string(), "A -> <eps>");
EXPECT_TRUE(grammar.get_rules()[0]->has_action());
EXPECT_TRUE(grammar.get_rules()[1]->has_action());
EXPECT_EQ(grammar.get_rules()[0]->perform_action(std::vector<int>{}), 42);
EXPECT_EQ(grammar.get_rules()[0]->perform_action(std::vector<int>{1, 2, 3}), 42);
EXPECT_EQ(grammar.get_rules()[1]->perform_action(std::vector<int>{}), 43);
EXPECT_EQ(grammar.get_rules()[1]->perform_action(std::vector<int>{1, 2, 3}), 43);
}
|
