70 lines
2.4 KiB
Plaintext
70 lines
2.4 KiB
Plaintext
%include {
|
|
|
|
#include <cstdio>
|
|
#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; }
|
|
|