-
Notifications
You must be signed in to change notification settings - Fork 0
/
parser.mly
93 lines (76 loc) · 1.91 KB
/
parser.mly
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
/* Imports. */
%{
open Type
open Ast.AstSyntax
%}
%token <int> ENTIER
%token <string> ID
%token RETURN
%token PV
%token AO
%token AF
%token PF
%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 EOF
(* Type de l'attribut synthétisé des non-terminaux *)
%type <programme> prog
%type <instruction list> bloc
%type <fonction> fonc
%type <instruction> i
%type <typ> typ
%type <typ*string> param
%type <expression> e
(* Type et définition de l'axiome *)
%start <Ast.AstSyntax.programme> main
%%
main : lfi=prog EOF {lfi}
prog : lf=fonc* ID li=bloc {Programme (lf,li)}
fonc : t=typ n=ID PO lp=param* PF li=bloc {Fonction(t,n,lp,li)}
param : t=typ n=ID {(t,n)}
bloc : AO li=i* AF {li}
i :
| t=typ n=ID EQUAL e1=e PV {Declaration (t,n,e1)}
| n=ID EQUAL e1=e PV {Affectation (n,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)}
| RETURN exp=e PV {Retour (exp)}
typ :
| BOOL {Bool}
| INT {Int}
| RAT {Rat}
e :
| CALL n=ID PO lp=e* PF {AppelFonction (n,lp)}
| CO e1=e SLASH e2=e CF {Binaire(Fraction,e1,e2)}
| n=ID {Ident n}
| TRUE {Booleen true}
| FALSE {Booleen false}
| e=ENTIER {Entier e}
| NUM e1=e {Unaire(Numerateur,e1)}
| DENOM e1=e {Unaire(Denominateur,e1)}
| 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}