%{
#include "bisonUtils.h"
#include <stdio.h>
extern int yylex();
extern void yyerror(char *s);
%}

%error-verbose

%token <stringVal> '='
%token <stringVal> '.'
%token <stringVal> '{'
%token <stringVal> '}'
%token <stringVal> '('
%token <stringVal> ')'
%token <stringVal> ':'
%token <stringVal> ';'
%token <stringVal> ','
%token <stringVal> KEYWORD
%token <stringVal> NUM
%token <stringVal> COMPOP
%token <stringVal> SYMBOL
%token <stringVal> THIS
%token <stringVal> PRIVATE
%token <stringVal> VAR
%token <stringVal> NUMBER
%token <stringVal> IF
%token <stringVal> ELSE

%left <stringVal> '+' '-' 
%left <stringVal> '*' '/'

%type <stringVal> NomCompose
%type <stringVal> Arg ArgList FuncCall
%type <stringVal> Operand Expr
%type <stringVal> TypedName VarDef
%type <stringVal> SimpleInst AssignInst
%type <stringVal> ExpLog IfInst
%type <stringVal> Inst ListInst InstBlock ListInstBlock

%union {
	char * stringVal;
}

%%
Programme:
	| Programme Element {fprintf(stderr, "<Element>");}

Element: KEYWORD {fprintf(stderr, "<KEYWORD= %s>", $1); }
	| ListInstBlock 
	| error 
	;

ListInstBlock: InstBlock {fprintf(stderr, "<BlockInst= %s>", $1); }
	| ListInstBlock InstBlock {fprintf(stderr, "<BlockInst= %s>", $1); }

InstBlock: '{' ListInst '}'{ $$ = c3($1, $2, $3);}

ListInst: Inst {fprintf(stderr, "<Inst= %s>", $1); $$ = copy($1);}
	| ListInst Inst {fprintf(stderr, "<Inst= %s>", $2); $$ = c2($1, $2);}

Inst: SimpleInst {fprintf(stderr, "<SimpleInst= %s>", $1); $$ = copy($1);}
	| IfInst {fprintf(stderr, "<IfInst= %s>", $1); $$ = copy($1);}

IfInst: IF '(' ExpLog ')' SimpleInst {$$ = c5($1, $2, $3, $4, $5);} 
	| IF '(' ExpLog ')' SimpleInst ELSE SimpleInst {$$ = c7($1, $2, $3, $4, $5, $6, $7);}
	| IF '(' ExpLog ')' SimpleInst ELSE IfInst {$$ = c7($1, $2, $3, $4, $5, $6, $7);}

ExpLog: Expr COMPOP Expr {$$ = c3($1, $2, $3);}

SimpleInst: Expr ';' {fprintf(stderr, "<Expr= %s>", $1); $$ = copy($1);}
	| VarDef ';' {fprintf(stderr, "<VarDef= %s>", $1); $$ = copy($1);}
	| AssignInst ';' {fprintf(stderr, "<AssignInst= %s>", $1); $$ = copy($1);}
	;

AssignInst: NomCompose '=' Expr {$$ = c3($1, $2, $3);}
	;

VarDef: PRIVATE VAR TypedName
	{ fprintf(stderr, "<TypedName= %s>", $3); $$ = c3($1, $2, $3); }
	| VAR TypedName
	{ fprintf(stderr, "<TypedName= %s>", $2); $$ = c2($1, $2); }
	;

TypedName: NomCompose ':' NUMBER
                { $$ = c3($1, $2, $3);}	
	| NomCompose ':' NomCompose
                { $$ = c3($1, $2, $3);}	
	;

Expr:	Operand 
                { fprintf(stderr, "<Operand= %s>", $1); $$ = copy($1);}
        |   Expr  '+' Operand
                { $$ = c3($1, $2, $3); }
        |   Expr  '-' Operand
                { $$ = c3($1, $2, $3); }
        |   Expr  '*' Operand
                { $$ = c3($1, $2, $3); }
        |   Expr  '/' Operand
                { $$ = c3($1,$2, $3); }
        ;

Operand:    Arg
                { fprintf(stderr, "<Arg= %s>", $1); $$ = copy($1); }
        |   FuncCall 
                { fprintf(stderr, "<FuncCall= %s>", $1); $$ = copy($1); }
        ;

FuncCall: NomCompose '(' ')' {$$ = c3($1, $2, $3); }
	| NomCompose '(' ArgList ')' {$$ = c4($1, $2, $3, $4); fprintf(stderr, "<ArgList> = %s", $3);} 


ArgList:  Arg {fprintf(stderr, "<Arg= %s>", $1); $$ = copy($1); }	
	| ArgList ',' Arg { fprintf(stderr, "<Arg= %s>", $3); $$ = c3($1, $2, $3); }	

Arg: NUM {$$ = copy($1); }	
	| NomCompose {fprintf(stderr, "<NomCompose= %s>", $1); $$ = copy($1);}


NomCompose: SYMBOL {fprintf(stderr, "<SYMBOL= %s>", $1); $$ = copy($1); }
	| THIS {fprintf(stderr, "<THIS = %s>", $1); $$ = copy($1); }	
	| NomCompose '.' SYMBOL {fprintf(stderr, "<SYMBOL= %s>", $3); $$ = c3($1,$2,$3); }	

%%