public void Visit(AssertStmt node)
{
// Visit the expression of the Assert
VisitChildren (node.Children [0]);
// The result of the expression is then found from the ValueStack
StackValue stackValue = ValueStack.Pop ();
if (stackValue.Value == "false") {
throw new AssertError ("Assertion failed", node.Row, node.Column);
}
}
public void Visit(AssertStmt node)
{
try {
VisitChildren (node.Children [0]);
string type = TypeStack.Pop ();
if (type != "Bool") {
throw new SemanticError ("Assert must be applied to expression that " +
"evaluates to Bool, evaluated to: " + type, node.Children [0].Row, node.Children [0].Column);
}
} catch (SemanticError error) {
Errors.Add (error);
TypeStack.Clear ();
}
}
private Statement Stmt()
{
switch ((Token.Types)currentToken.Type) {
case Token.Types.Var:
VarDeclStmt varDeclStmt = new VarDeclStmt ("VarDecl", currentToken.Row, currentToken.Column);
Match (Token.Types.Var);
varDeclStmt.AddChild (IdentifierNameStmt ());
Match (Token.Types.Colon);
varDeclStmt.AddChild (Type ());
if ((Token.Types)currentToken.Type == Token.Types.Assign) {
Match (Token.Types.Assign);
varDeclStmt.AddChild (Expr ());
return varDeclStmt;
} else if ((Token.Types)currentToken.Type == Token.Types.Semicolon) {
return varDeclStmt;
}
throw new SyntaxError ("Expected Assign, got: " + currentToken.Type, currentToken.Row, currentToken.Column);
case Token.Types.Identifier:
AssignmentStmt assignmentStmt = new AssignmentStmt ("AssignmentStmt", currentToken.Row, currentToken.Column);
assignmentStmt.AddChild (IdentifierNameStmt ());
Match (Token.Types.Assign);
assignmentStmt.AddChild (Expr ());
return assignmentStmt;
case Token.Types.For:
ForStmt forStmt = new ForStmt ("ForStmt", currentToken.Row, currentToken.Column);
Match (Token.Types.For);
forStmt.AddChild (IdentifierNameStmt ());
Match (Token.Types.In);
forStmt.AddChild (Expr ());
Match (Token.Types.Range);
forStmt.AddChild (Expr ());
Match (Token.Types.Do);
forStmt.AddChild (Stmts ());
Match (Token.Types.End);
Match (Token.Types.For);
return forStmt;
case Token.Types.Read:
ReadStmt readStmt = new ReadStmt ("ReadStmt", currentToken.Row, currentToken.Column);
Match (Token.Types.Read);
readStmt.AddChild (IdentifierNameStmt ());
return readStmt;
case Token.Types.Print:
PrintStmt printStmt = new PrintStmt ("PrintStmt", currentToken.Row, currentToken.Column);
Match (Token.Types.Print);
printStmt.AddChild (Expr ());
return printStmt;
case Token.Types.Assert:
AssertStmt assertStmt = new AssertStmt ("AssertStmt", currentToken.Row, currentToken.Column);
Match (Token.Types.Assert);
Match (Token.Types.LeftParenthesis);
assertStmt.AddChild (Expr ());
Match (Token.Types.RightParenthesis);
return assertStmt;
default:
throw new SyntaxError ("invalid start symbol for statement " + currentToken.Lexeme,
currentToken.Row, currentToken.Column);
}
}
