parser.mly

/* Imports. */

%{
open Type
open Ast.AstSyntax
%}


%token <int> ENTIER
%token <string> ID
%token <string> TID
%token RETURN
%token PV
%token AO
%token AF
%token PF
%token VIRG
%token PO
%token EQUAL
%token CONST
%token PRINT
%token IF
%token ELSE
%token WHILE
%token BOOL
%token INT
%token RAT
%token CALL 
%token CO
%token CF
%token SLASH
%token NUM
%token DENOM
%token TRUE
%token FALSE
%token PLUS
%token MULT
%token INF
%token NULL
%token NEW
%token ADRESSE
%token EOF
%token ENUM
%token SWITCH
%token CASE
%token BREAK
%token DPTS
%token DEFAULT


(* Type de l'attribut synthétisé des non-terminaux *)
%type <programme> prog
%type <instruction list> bloc
%type <fonction> fonc
%type <instruction list> is
%type <instruction> i
%type <typ> typ
%type <(typ*string) list> dp
%type <expression> e 
%type <expression list> cp
%type <affectable> a
%type <string list> idents
%type <typ> enum
%type <typ list> enums
%type <break> brk
%type <case list> lcase
%type <case> cas
(* Type et définition de l'axiome *)
%start <Ast.AstSyntax.programme> main

%%

main : lenum = enums lfi = prog EOF     {let (Programme (_,lf1,li))=lfi in (Programme (lenum,lf1,li))}

prog :
| lf = fonc  lfi = prog   {let (Programme (lenum,lf1,li))=lfi in (Programme (lenum,lf::lf1,li))}
| ID li = bloc            {Programme ([],[],li)}

fonc : t=typ n=ID PO p=dp PF AO li=is RETURN exp=e PV AF {Fonction(t,n,p,li,exp)}

bloc : AO li = is AF      {li}

is :
|                         {[]}
| i1=i li=is              {i1::li}

i :
| t=typ n=ID EQUAL e1=e PV          {Declaration (t,n,e1)}
| a1=a EQUAL e1=e PV                {Affectation (a1,e1)}
| CONST n=ID EQUAL e=ENTIER PV      {Constante (n,e)}
| PRINT e1=e PV                     {Affichage (e1)}
| IF exp=e li1=bloc ELSE li2=bloc   {Conditionnelle (exp,li1,li2)}
| WHILE exp=e li=bloc               {TantQue (exp,li)}
| SWITCH PO econd = e PF AO lc = lcase AF {Switch(econd, lc)}

dp :
|                         {[]}
| t=typ n=ID lp=dp        {(t,n)::lp}

typ :
| BOOL    {Bool}
| INT     {Int}
| RAT     {Rat}
| tid = TID {TypeEnum (tid,[])}
| typ1=typ MULT {Pointeur typ1}

a :
| n=ID             {Ident n}
| PO MULT a1=a PF  {Valeur a1}

e : 
| CALL n=ID PO lp=cp PF   {AppelFonction (n,lp)}
| CO e1=e SLASH e2=e CF   {Rationnel (e1,e2)}
| NUM e1=e                {Numerateur e1}
| DENOM e1=e              {Denominateur e1}
| TRUE                    {True}
| FALSE                   {False}
| e=ENTIER                {Entier e}
| PO e1=e PLUS e2=e PF    {Binaire (Plus,e1,e2)}
| PO e1=e MULT e2=e PF    {Binaire (Mult,e1,e2)}
| PO e1=e EQUAL e2=e PF   {Binaire (Equ,e1,e2)}
| PO e1=e INF e2=e PF     {Binaire (Inf,e1,e2)}
| PO exp=e PF             {exp}
| a1=a                    {Affectable a1}
| NULL                    {Null}
| PO NEW typ1=typ PF      {New typ1}
| ADRESSE n=ID            {Adresse n}
| tid = TID				  {ExpressionEnum (tid)}

cp :
|               {[]}
| e1=e le=cp    {e1::le}

enum : 
|ENUM id = TID  AO  lid = idents AF PV {TypeEnum(id,lid)}

idents : 
|idnt = TID  {[idnt]}
|idnt = TID VIRG lid = idents {idnt::lid}

enums :
|                         {[]}
| i1=enum li=enums              {i1::li}


brk :
|          {Lambda}
| BREAK PV   {Break}

lcase :
|                         {[]}
| i1=cas li=lcase              {i1::li}

cas :
| CASE TRUE DPTS ins = is b = brk {CaseTrue(ins,b)}
| CASE FALSE DPTS ins = is b = brk {CaseFalse(ins,b)}
| CASE inte = ENTIER DPTS ins = is b = brk {CaseEntier (inte,ins,b)}
| CASE tid = TID DPTS ins = is b = brk {CaseTid(tid,ins,b)}
| DEFAULT DPTS ins = is b = brk {CaseDefault(ins,b)}