lsi.yac

%{
	#include "global.h"
	#include "functions.h"


	extern FILE* yyin;
%}

%token  FUNCTION PROCEDURE TABLE STRUCT VAR PROG

%token CONST INT_CONST FLOAT_CONST LONG_CONST CHAR_CONST

%token INT FLOAT LONG CHAR

%token IF THEN ELSE WHILE FOR

%token COLON COMMA BR
%token LP //left parenthesis
%token RP //right parenthesis
%token LB //left braces
%token RB //right braces
%token LBR //left bracket
%token RBR //right bracket

%token AND OR NOT SUP INF EQUAL

%token E S ES

%token AFFECT PLUS MINUS DIV MULT POW MOD

%token BEG END EOL 

%token IDENT

%right AFFECT EQUAL

%left PLUS MINUS OR INF SUP

%left DIV MULT MOD

%left NOT NEG

%right POW




%start PROGRAM



%%

//la forme générale du progeamme

PROGRAM:PROG DECLARATION_LIST BEG MAIN END
;

//la partie declaration ou en declare les constantes et les varibles les tableux ...
DECLARATION_LIST:
	DECLARATION 	{	$$.id = $1.id; 	}
|	DECLARATION	DECLARATION_LIST	{	$$.id = $1.id; 	}
;



DECLARATION:
	CONST_DECLARATION		{	$$.id = $1.id; 	}
|	VAR_LIST_DECLARATION	{	$$.id = $1.id; 	}
|	TAB_DECLARATION			{	$$.id = $1.id; 	}
|	STRUCT_DECLARATION		{	$$.id = $1.id; 	}
|	FUNCTION_DECLARATION
|	PROCEDURE_DECLARATION
;

CONST_DECLARATION:	
	CONST IDENT AFFECT VALUE EOL	{
										set_val($2.id, $4.val, $4.type);
										set_const($2.id);

									}
;


//les valeurs que on peux rencontrer
VALUE:
	INT_CONST	{	$$ = $1;	}
|	LONG_CONST	{	$$ = $1;	}
|	FLOAT_CONST	{	$$ = $1;	}
|	CHAR_CONST	{	$$ = $1;	}
;

//declaration d'une liste de variables
VAR_LIST_DECLARATION:
	VAR VARIABLES COLON TYPE EOL	{
										auto_set_type($4.type);
										$$.id = current_scope->id;
									}
;

//liste des variables
VARIABLES:
	IDENT COMMA VARIABLES 	{	
								set_val($1.id, NILL, TO_SET);	
							}
|	IDENT	{
				set_val($1.id, NILL, TO_SET);
			}
;


//les types 
TYPE:
	FLOAT	{	$$.type = $1.type;	}
|	INT		{	$$.type = $1.type;	}
|	LONG	{	$$.type = $1.type;	}
|	CHAR	{	$$.type = $1.type;	}
;

//declaration d'un tableux
TAB_DECLARATION:
	TABLE IDENT LBR TABLE_DIMENSIONS RBR COLON TYPE EOL	{	
															set_val($2.id, NILL, TAB);
															build_table($2.id, (table*)$4.val, $7.type);
															$$.id = current_scope->id;
														}
;

//les démentions d'un tableau
TABLE_DIMENSIONS:
	INT_CONST	{	$$.val = init_table(*(int*)$1.val);	}
|	TABLE_DIMENSIONS COMMA INT_CONST 	{	
											//tab_push((table*)$3.val, *(int*)$1.val);
											((table*)$1.val)->table = tab_push(((table*)$1.val)->size, ((table*)$1.val)->dimensions++, $3.val, I);
											$$ = $1;
										}
;

//declaration d'une structure
STRUCT_DECLARATION:
	STRUCT IDENT BEGIN_SCOPE DECLARATION_LIST END_SCOPE EOL	{	
																void* scope_ptr = malloc(sizeof(int));
																*((int*)scope_ptr) = $4.id;
																set_val($2.id, scope_ptr, STR);
																$$.id = current_scope->id;
															}
;

BEGIN_SCOPE: 
	LB 	{	
			
			current_scope = add_son(current_scope, init_scope());
			$$.id = current_scope->id;
			printf("current_scope is %d\n", current_scope->id);
		}
;

END_SCOPE:
	RB 	{	
			current_scope = get_father(scope_tree, current_scope->id);
			printf("current_scope is %d\n", current_scope->id);
		}
;




FUNCTION_DECLARATION:
	FUNCTION IDENT LP ARGS_LIST RP COLON TYPE BEGIN_SCOPE ACTIONS END_SCOPE	{
																				((function*)$4.val)->ret_type = $7.type;
																
																				set_val($2.id, $4.val, FUN);
																			}	
;

ARGS_LIST:
	TYPE IDENT MODE	{
						set_val($2.id, NULL, $1.type);
						$$.val = init_args($2.id, $3.type);
					}
|	ARGS_LIST COMMA TYPE IDENT MODE {
										set_val($4.id, NULL, $3.type);
										$1.val = add_arg((function*)$1.val, $4.id, $5.type);
									}
;

PROCEDURE_DECLARATION:
	PROCEDURE IDENT LP ARGS_LIST RP BEGIN_SCOPE ACTIONS END_SCOPE 	{
																		((function*)$4.val)->ret_type = -1;

																		set_val($2.id, $4.val, PRO);
																	}
;

MODE:
	E 	{	$$.type = E_;	}
|	S 	{	$$.type = S_;	}
|	ES 	{	$$.type = ES_;	}
;

ACTIONS: 
	EOL
;

MAIN: 
	EOL
;

/*EXPRESSION:
| EXPRESSION OP EXPRESSION	
							{

							}
//| EXPRESSION RELOP EXPRESSION
| NOT EXPRESSION
| MINUS EXPRESSION %prec NEG
| LP EXPRESSION RP
;

OP:
|	PLUS	
		{	
			$$ = _plus;	
		}
|	MINUS
		{	
			$$ = _minus;	
		}
|	MULT
		{	
			$$ = _mult;	
		}
|	DIV
		{	
			$$ = _div;
		}
|	MOD
		{	
			$$ = _mod;
		}
|	POW
		{
			$$ = _pow;
		}
;

RELOP:
|	INF EQUAL
	{
		$$ = _inf_equal;
	}
|	SUP EQUAL
	{
		$$ = _sup_equal;
	}
|	INF
	{
		$$ = _inf;
	}
|	SUP
	{
		$$ = _sup;
	}
|	EQUAL
	{
		$$ = _equal;
	}
|	AND
	{
		$$ = _and;
	}
|	OR
	{
		$$ = _or;
	}
;*/


%%


int main(int argc, char **argv)
{
	if(argc != 2)
		yyin = stdin;
	else
		yyin = fopen(argv[1], "r+");

	init_all();

	yyparse();

	print_sym_tab();

	printf("%d", ((table*)get_var(26)->var)->dimensions);

	print_tables();

	print_functions();
}