%include {

#include <iostream>
#include <string>
#include <assert.h>

}

%token_type {int}

%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;
}

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; }