catdog2/scully
1
0
Fork 0
Code Issues Pull Requests Releases Activity

Progress!

Browse Source
This commit is contained in:
Markus Hauschild
2013-05-31 23:51:44 +02:00
parent 713b5078cd
commit 28ca85b94e
9 changed files with 129 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

43
grammar/grammar.y
View File

@@ -5,9 +5,15 @@
#include <string>
#include <assert.h>
#include "Token.h"
#include "AST/ASTElement.h"
}
%token_type {int}
%name scullyParser
%token_type {Token*}
// whitespace and comments
%type T_WHITESPACE {int}
@@ -19,40 +25,53 @@
%left T_TIMES T_DIV.
%syntax_error {
std::cout << "Syntax error!" << std::endl;
std::cerr << "Syntax error!" << std::endl;
}
programm(A) ::= fundefs(B). { A = B; }
%parse_failure {
std::cerr << "Parser Failed!" << std::endl;
}
%type program {int}
program ::= fundefs(F). { std::cout << F << std::endl; }
program ::= expr(E). { std::cout << E << std::endl; }
%type fundefs {int}
fundefs(A) ::= . { A = 0; }
fundefs(A) ::= fundefs fundef(B). { A = A + B; }
fundef(A) ::= type(T) T_IDENTIFIER(ID) params(P) T_BEGIN statements(S) T_END. { A = T + ID + P + S; }
%type fundef {int}
fundef(A) ::= type(T) T_IDENTIFIER(ID) params(P) T_BEGIN statements(S) T_END. { A = T + 1 + P + S; /* ID */ }
%type type {int}
type(A) ::= T_BOOL. { A = 1; }
type(A) ::= T_INT. { A = 1; }
type(A) ::= T_STRING. { A = 1; }
type(A) ::= T_VOID. { A = 1; }
%type params {int}
params(A) ::= . { A = 0; }
params(A) ::= type(T) T_IDENTIFIER(ID). { A = T + ID; }
params(A) ::= params(B) T_COMMA type(T) T_IDENTIFIER(ID). { A = B + T + ID; }
params(A) ::= type(T) T_IDENTIFIER(ID). { A = T + 1; /* ID */ }
params(A) ::= params(B) T_COMMA type(T) T_IDENTIFIER(ID). { A = B + T + 1; /* ID */ }
%type statement {int}
statement(A) ::= T_IF T_LPAREN expr(E) T_RPAREN statement(S). { A = E + S; }
statement(A) ::= T_RIF T_LPAREN T_CINT(P) T_RPAREN statement(S). { A = P + S; }
statement(A) ::= T_RIF T_LPAREN T_CINT(P) T_RPAREN statement(S). { A = 1 + S; /* P */ }
statement(A) ::= T_FOR T_LPAREN expr(INIT) T_SEMICOLON expr(COND) T_SEMICOLON expr(STEP) T_RPAREN statement(S).
{ A = INIT + COND + STEP + S; }
statement(A) ::= T_RFOR T_LPAREN expr(INIT) T_SEMICOLON T_CINT(P) T_SEMICOLON expr(STEP) T_RPAREN statement(S).
{ A = INIT + P + STEP + S; }
{ A = INIT + 1 + STEP + S; /* P */ }
statement(A) ::= T_RETURN expr(E) T_SEMICOLON. { A = E; }
statement(A) ::= T_BEGIN statements(S) T_END. { A = S; }
statement(A) ::= vardef(V) T_SEMICOLON. { A = V; }
statement(A) ::= expr(E) T_SEMICOLON. { A = E; }
%type statements {int}
statements(A) ::= . { A = 0; }
statements(A) ::= statements(B) statement(C). { A = B + C; }
expr(A) ::= T_IDENTIFIER(ID) T_ASSIGN expr(E). { A = ID + E; }
%type expr {int}
expr(A) ::= T_IDENTIFIER(ID) T_ASSIGN expr(E). { A = 1 + E; /* ID */ }
expr(A) ::= expr(B) T_EQUALS expr(C). { A = B + C; }
expr(A) ::= expr(B) T_LESS expr(C). { A = B + C; }
expr(A) ::= expr(B) T_PLUS expr(C). { A = B + C; }
@@ -62,10 +81,12 @@ expr(A) ::= expr(B) T_DIV expr(C). { A = B + C; }
expr(A) ::= T_CINT. { A = 1; }
expr(A) ::= T_TRUE. { A = 1; }
expr(A) ::= T_FALSE. { A = 1; }
expr(A) ::= T_IDENTIFIER(ID) T_LPAREN values(V) T_RPAREN. { A = ID + V; }
expr(A) ::= T_IDENTIFIER(ID) T_LPAREN values(V) T_RPAREN. { A = 1 + V; /* ID */ }
vardef(A) ::= type(T) T_IDENTIFIER(ID). { A = T + ID; }
%type vardef {int}
vardef(A) ::= type(T) T_IDENTIFIER(ID). { A = T + 1; /* ID */ }
%type values {int}
values(A) ::= . { A = 0; }
values(A) ::= expr(E). { A = E; }
values(A) ::= values(B) T_COMMA expr(E). { A = B + E; }