public void TestSimple()
{
String program = " var X : int := 4 + (6 * 2);\n print X;";
MiniPLGrammar g = new MiniPLGrammar();
SyntaxTree got = g.parse(program);
Assert.AreEqual(g.t["prog"], got.root.token);
Assert.AreEqual(g.t["stmt"], got.root.children[0].token);
Assert.AreEqual(g.t["var"], got.root.children[0].children[0].token);
Assert.AreEqual(new Identifier("X"), got.root.children[0].children[1].token);
Assert.AreEqual(g.t[":"], got.root.children[0].children[2].token);
Assert.AreEqual(g.t["type"], got.root.children[0].children[3].token);
Assert.AreEqual(g.t["int"], got.root.children[0].children[3].children[0].token);
Assert.AreEqual(g.t["maybeAssign"], got.root.children[0].children[4].token);
Assert.AreEqual(g.t[":="], got.root.children[0].children[4].children[0].token);
Assert.AreEqual(g.t["expr"], got.root.children[0].children[4].children[1].token);
Assert.AreEqual(g.t["expr2"], got.root.children[0].children[4].children[1].children[0].token);
Assert.AreEqual(g.t["opnd"], got.root.children[0].children[4].children[1].children[0].children[0].token);
Assert.AreEqual(new IntLiteral("4"), got.root.children[0].children[4].children[1].children[0].children[0].children[0].token);
Assert.AreEqual(g.t["stmts"], got.root.children[2].token);
Assert.AreEqual(g.t["stmt"], got.root.children[2].children[0].token);
Assert.AreEqual(g.t["print"], got.root.children[2].children[0].children[0].token);
//eh, it's probably noticed by now if something's wrong
}
private void runProgram(String program, List <String> inputs, List <String> wantedOutputs)
{
TextReaderMock input = new TextReaderMock(inputs);
TextWriterMock output = new TextWriterMock();
MiniPLGrammar g = new MiniPLGrammar();
AST ast = new AST(g, g.parse(program));
Interpreter inter = new Interpreter(input, output);
inter.run(ast);
Assert.AreEqual(true, output.gotAllWanted(wantedOutputs));
}
public void doesntStopAtFirstError()
{
String program = "print \"a\"-(\"b\"*3);";
MiniPLGrammar g = new MiniPLGrammar();
try
{
AST ast = new AST(g, g.parse(program));
Assert.Fail("Didn't throw an exception");
}
catch (SemanticError e)
{
Assert.IsTrue(e.Message.Contains("0:9 Semantic error: "));
Assert.IsTrue(e.Message.Contains("0:14 Semantic error: "));
}
}
public void testSimple()
{
String program = " var X : int := 4 + (6 * 2);\n print X;";
MiniPLGrammar g = new MiniPLGrammar();
AST ast = new AST(g, g.parse(program));
Assert.AreEqual(2, ast.root.children.Count);
Assert.IsInstanceOfType(ast.root.children[0], typeof(Define));
Assert.IsInstanceOfType(ast.root.children[0].children[0], typeof(Variable));
Assert.IsInstanceOfType(ast.root.children[0].children[1], typeof(TypeName));
Assert.IsInstanceOfType(ast.root.children[0].children[2], typeof(Expression));
Assert.IsInstanceOfType(ast.root.children[1], typeof(ASTNode));
Assert.IsInstanceOfType(ast.root.children[1].children[0], typeof(Print));
Assert.IsInstanceOfType(ast.root.children[1].children[0].children[0], typeof(Variable));
Assert.AreEqual(typeof(int), ((TypeName)ast.root.children[0].children[1]).type);
}
public void parserDoesntStopAtFirstError()
{
//this should really be in ParserTest, however would need to give the parser a grammar so it's here
String program = "var var var a : int;\na := 1;\n print a;\n var var b;\n b:= 1;\n print b;";
MiniPLGrammar g = new MiniPLGrammar();
try
{
SyntaxTree got = g.parse(program);
Assert.Fail("Didn't throw an exception");
}
catch (ParseError e)
{
Assert.IsTrue(e.Message.Contains("0:4 Syntax error:"));
Assert.IsTrue(e.Message.Contains("3:5 Syntax error:"));
}
}
