public void ShouldBuildAutomatonTableFromTwoSequencesUsingAnyTerminal()
{
AutomatonTableFactory <char> factory;
IAutomatonTable <char> automatonTable;
LexicalRule rule1, rule2;
AutomatonTableParser parser;
factory = new AutomatonTableFactory <char>();
rule1 = RuleHelper.BuildRule("A*=a.c;");
rule2 = RuleHelper.BuildRule("B*=abc;");
automatonTable = factory.BuildAutomatonTable(SituationCollectionFactoryHelper.BuildSituationCollectionFactory(new LexicalRule[] { rule1, rule2 }), new DistinctInputFactory(new RangeValueProvider()));
Assert.IsNotNull(automatonTable);
parser = new AutomatonTableParser(automatonTable);
Assert.AreEqual(1, parser.ActionCount);
Assert.IsTrue(parser.Parse(new TerminalInput('a')));
Assert.AreEqual(3, parser.ActionCount);
Assert.IsTrue(parser.Parse(new TerminalInput('b')));
Assert.AreEqual(1, parser.ActionCount);
Assert.IsTrue(parser.Parse(new TerminalInput('c')));
parser.Reset();
Assert.AreEqual(1, parser.ActionCount);
Assert.IsTrue(parser.Parse(new TerminalInput('a')));
Assert.AreEqual(3, parser.ActionCount);
Assert.IsTrue(parser.Parse(new TerminalInput('c')));
Assert.AreEqual(1, parser.ActionCount);
Assert.IsTrue(parser.Parse(new TerminalInput('c')));
}
public void ShouldBuildAutomatonTableFromBasicOr()
{
AutomatonTableFactory <char> factory;
IAutomatonTable <char> automatonTable;
LexicalRule rule;
AutomatonTableParser parser;
factory = new AutomatonTableFactory <char>( );
rule = RuleHelper.BuildRule("A*=a|b|c;");
automatonTable = factory.BuildAutomatonTable(SituationCollectionFactoryHelper.BuildSituationCollectionFactory(rule.AsEnumerable()), new DistinctInputFactory(new RangeValueProvider()));
Assert.IsNotNull(automatonTable);
parser = new AutomatonTableParser(automatonTable);
Assert.AreEqual(3, parser.ActionCount);
Assert.IsTrue(parser.Parse(new TerminalInput('a')));
parser.Reset();
Assert.IsTrue(parser.Parse(new TerminalInput('b')));
parser.Reset();
Assert.IsTrue(parser.Parse(new TerminalInput('c')));
}