90 lines
2.3 KiB
C++
90 lines
2.3 KiB
C++
#include "test_helper.h"
|
|
#include "compiler/rule.h"
|
|
|
|
using namespace rules;
|
|
|
|
START_TEST
|
|
|
|
describe("Repeat", []() {
|
|
describe("constructing repeats", [&]() {
|
|
it("doesn't create redundant repeats", [&]() {
|
|
Rule symbol = Symbol::non_terminal(1);
|
|
Rule repeat = Rule::repeat(Rule(symbol));
|
|
Rule outer_repeat = Rule::repeat(Rule(repeat));
|
|
|
|
AssertThat(repeat, !Equals(symbol));
|
|
AssertThat(outer_repeat, Equals(repeat));
|
|
});
|
|
});
|
|
|
|
describe("adding metadata to rules", [&]() {
|
|
it("doesn't create redundant metadata rules", [&]() {
|
|
Rule symbol = Symbol::non_terminal(1);
|
|
Rule outer_rule = Metadata::prec(2, Metadata::prec(1, Rule(symbol)));
|
|
AssertThat(outer_rule, Equals(Rule(Metadata::prec(1, Rule(symbol)))));
|
|
});
|
|
});
|
|
|
|
describe("constructing choices", [&]() {
|
|
it("eliminates duplicate members", [&]() {
|
|
Rule rule = Rule::choice({
|
|
Rule::seq({ NamedSymbol{"one"}, NamedSymbol{"two"} }),
|
|
NamedSymbol{"three"},
|
|
Rule::seq({ NamedSymbol{"one"}, NamedSymbol{"two"} })
|
|
});
|
|
|
|
AssertThat(rule, Equals(Rule(Choice{{
|
|
Rule::seq({ NamedSymbol{"one"}, NamedSymbol{"two"} }),
|
|
NamedSymbol{"three"},
|
|
}})));
|
|
|
|
rule = Rule::choice({
|
|
Blank{},
|
|
Blank{},
|
|
Rule::choice({
|
|
Blank{},
|
|
NamedSymbol{"four"}
|
|
})
|
|
});
|
|
|
|
AssertThat(rule, Equals(Rule::choice({Blank{}, NamedSymbol{"four"}})));
|
|
});
|
|
|
|
it("eliminates duplicates within nested choices", [&]() {
|
|
Rule rule = Rule::choice({
|
|
Rule::seq({
|
|
NamedSymbol{"one"},
|
|
NamedSymbol{"two"}
|
|
}),
|
|
Rule::choice({
|
|
NamedSymbol{"three"},
|
|
Rule::seq({
|
|
NamedSymbol{"one"},
|
|
NamedSymbol{"two"}
|
|
})
|
|
})
|
|
});
|
|
|
|
AssertThat(rule, Equals(Rule(Choice{{
|
|
Rule::seq({
|
|
NamedSymbol{"one"},
|
|
NamedSymbol{"two"},
|
|
}),
|
|
NamedSymbol{"three"},
|
|
}})));
|
|
});
|
|
|
|
it("doesn't construct a choice if there's only one unique member", [&]() {
|
|
Rule rule = Rule::choice({
|
|
NamedSymbol{"one"},
|
|
Rule::choice({
|
|
NamedSymbol{"one"},
|
|
})
|
|
});
|
|
|
|
AssertThat(rule, Equals(Rule(NamedSymbol{"one"})));
|
|
});
|
|
});
|
|
});
|
|
|
|
END_TEST
|