From 13d35768dc1db32986f99c910ba01e8194c7f68c Mon Sep 17 00:00:00 2001 From: Markus Hauschild Date: Fri, 31 May 2013 21:04:20 +0200 Subject: [PATCH] Wrote a grammer, 0 conflicts --- grammar/grammar.y | 55 ++++++++++++++++++++++++++++++++++++++++++++--- 1 file changed, 52 insertions(+), 3 deletions(-) diff --git a/grammar/grammar.y b/grammar/grammar.y index cfc5b7c..e067bb2 100644 --- a/grammar/grammar.y +++ b/grammar/grammar.y @@ -8,12 +8,61 @@ %token_type {int} -%left PLUS MINUS. +%right T_ASSIGN. +%left T_EQUALS. +%left T_LESS. +%left T_PLUS T_MINUS. +%left T_TIMES T_DIV. %syntax_error { std::cout << "Syntax error!" << std::endl; } -program ::= expr. { } +programm(A) ::= fundefs(B). { A = B; } + +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(A) ::= T_BOOL. { A = 1; } +type(A) ::= T_INT. { A = 1; } +type(A) ::= T_STRING. { A = 1; } +type(A) ::= T_VOID. { A = 1; } + +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; } + +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_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; } +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; } + +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; } +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; } +expr(A) ::= expr(B) T_MINUS expr(C). { A = B + C; } +expr(A) ::= expr(B) T_TIMES expr(C). { A = B + C; } +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; } + +vardef(A) ::= type(T) T_IDENTIFIER(ID). { A = T + ID; } + +values(A) ::= . { A = 0; } +values(A) ::= expr(E). { A = E; } +values(A) ::= values(B) T_COMMA expr(E). { A = B + E; } -expr ::= expr PLUS expr. { }