%{
	#define DEBUG 0
	#include <stdlib.h>
	#include <stdio.h>
	#include <string.h>
	#include "AST_Tree_Funcs.h"

    AST_Tree_node *head = NULL;
	int yylex(void);
	void yyerror(const char *s);
	extern int n_linha;
	extern int n_coluna;
	extern char * yytext;
	extern int yyleng;
	int parse = 0;
	int flag = 0;
	int imprimir = 0;

	extern int n_linha;
    extern int n_coluna;
    extern char * yytext;
    extern int yyleng;
    extern int yylineno;


%}

%union{
    char *str;
    struct AST_Tree *node_struct;
}


%token <str> ID INTLIT CHRLIT REALLIT
%token RESERVED CHAR ELSE WHILE IF INT SHORT DOUBLE RETURN VOID BITWISEAND BITWISEOR BITWISEXOR AND ASSIGN MUL COMMA DIV EQ GE GT LBRACE LE LPAR LT MINUS MOD NE NOT OR PLUS RBRACE RPAR SEMI
%type <node_struct> FunctionsAndDeclarations FunctionDefinition_FunctionDeclaration_Declaration FunctionDefinition FunctionBody DeclarationsAndStatements FunctionDeclaration FunctionDeclarator ParameterList COMMA_ParameterDeclaration ParameterDeclaration Declaration COMMA_Declarator TypeSpec Declarator Statement Statement_aux Statement_error Expr ExprNew COMMA_Expr

%nonassoc "else"
%left COMMA
%right ASSIGN
%left OR
%left AND
%left BITWISEOR BITWISEXOR BITWISEAND
%left EQ NE
%left LT GT LE GE
%left MINUS PLUS
%left MUL DIV MOD
%nonassoc "add" "minus"
%right NOT
%left LPAR RPAR LBRACE RBRACE
%nonassoc ELSE

%%

FunctionsAndDeclarations: FunctionDefinition {$$ = head = insertNode("Program"); insert_child($$, $1);}
						| FunctionDeclaration {$$ = head = insertNode("Program"); insert_child($$, $1);}
						| Declaration {$$ = head = insertNode("Program"); insert_child($$, $1);}
						| FunctionDefinition FunctionDefinition_FunctionDeclaration_Declaration {;}
						| FunctionDeclaration FunctionDefinition_FunctionDeclaration_Declaration {;}
						| Declaration FunctionDefinition_FunctionDeclaration_Declaration {;}
						;

FunctionDefinition_FunctionDeclaration_Declaration: FunctionDefinition_FunctionDeclaration_Declaration FunctionDefinition {;}
												| FunctionDefinition_FunctionDeclaration_Declaration FunctionDeclaration {;}
												| FunctionDefinition_FunctionDeclaration_Declaration Declaration {;}
												| FunctionDefinition {;}
												| FunctionDeclaration {;}
												| Declaration {;}
												;

FunctionDefinition: TypeSpec FunctionDeclarator FunctionBody {;}

FunctionBody: LBRACE RBRACE {;}
			| LBRACE DeclarationsAndStatements RBRACE {;}
			;

DeclarationsAndStatements: Statement DeclarationsAndStatements {;}
						| Declaration DeclarationsAndStatements {;}
						| Statement {;}
						| Declaration {;}
						;

FunctionDeclaration: TypeSpec FunctionDeclarator SEMI {;}
					;

FunctionDeclarator: ID LPAR ParameterList RPAR {;}
					;

ParameterList: ParameterDeclaration {;}
			| ParameterDeclaration COMMA_ParameterDeclaration {;}
			;
COMMA_ParameterDeclaration: COMMA ParameterDeclaration {;}
						| COMMA_ParameterDeclaration COMMA ParameterDeclaration {;}
						;
ParameterDeclaration: TypeSpec {;}
					| TypeSpec ID {;}
					;

Declaration: TypeSpec Declarator SEMI {;}
			| TypeSpec Declarator COMMA_Declarator SEMI {;}
			| error SEMI {;}
			;
COMMA_Declarator: COMMA Declarator {;}
				| COMMA_Declarator COMMA Declarator {;}
				;
TypeSpec: CHAR {;}
		| INT {;}
		| VOID {;}
		| SHORT {;}
		| DOUBLE {;}
		;

Declarator: ID {;}
		| ID ASSIGN Expr {;}
		;


Statement: Expr SEMI {;}
		| SEMI {;}
		| LBRACE Statement_aux RBRACE {;}
		| LBRACE RBRACE {;}
		| LBRACE error RBRACE {;}
		| IF LPAR Expr RPAR Statement_error %prec "else" {;}
		| IF LPAR Expr RPAR Statement_error ELSE Statement_error {;}
		| WHILE LPAR Expr RPAR Statement {;}
		| RETURN Expr SEMI {;}
		| RETURN SEMI {;}
		;

Statement_aux: Statement_error {;}
			| Statement_aux Statement_error {;}
			;
Statement_error: error SEMI {;}
			| Statement {;}
			;

Expr: ExprNew {;}
	| Expr COMMA ExprNew {;}
	;

ExprNew: ExprNew ASSIGN ExprNew {;}
	| ExprNew PLUS ExprNew {;}
	| ExprNew MINUS ExprNew {;}
	| ExprNew MUL ExprNew {;}
	| ExprNew DIV ExprNew {;}
	| ExprNew MOD ExprNew {;}
	| ExprNew OR ExprNew {;}
	| ExprNew AND ExprNew {;}
	| ExprNew BITWISEAND ExprNew {;}
	| ExprNew BITWISEOR ExprNew {;}
	| ExprNew BITWISEXOR ExprNew {;}
	| ExprNew EQ ExprNew {;}
	| ExprNew NE ExprNew {;}
	| ExprNew LE ExprNew {;}
	| ExprNew GE ExprNew {;}
	| ExprNew LT ExprNew {;}
	| ExprNew GT ExprNew {;}
	| PLUS ExprNew %prec "add" {;}
	| MINUS ExprNew %prec "minus" {;}
	| NOT ExprNew {;}
	| ID LPAR RPAR {;}
	| ID LPAR ExprNew RPAR {;}
	| ID LPAR ExprNew COMMA_Expr RPAR {;}
	| ID {;}
	| INTLIT {;}
	| CHRLIT {;}
	| REALLIT {;}
	| LPAR Expr RPAR {;}
	| ID LPAR error RPAR {;}
	| LPAR error RPAR {;}
	;

COMMA_Expr: COMMA ExprNew {;}
		| COMMA_Expr COMMA ExprNew {;}
		;

%%

void yyerror(const char* s){
	if(flag ==0){
        flag = 1;
    }
    printf("Line %d, col %d: %s: %s\n",yylineno,(int)(n_coluna - strlen(yytext)),s,yytext);
}


int main(int argc, char *argv[])
{
	int imprimir_arvore = 0;
	if(argc>1){
		if(strcmp(argv[1],"-l")==0){
			imprimir=1;
			yylex();

		}else if(flag ==0 && strcmp(argv[1],"-t")==0){
            parse = 1;
            imprimir_arvore = 1;
            yyparse();
       }
	}
	else{
		parse = 1;
		yyparse();
	}
	printTree(head, 0, 0);


return 0;
}