blob: 0a346e5496ede0070e2b581b9d9ca258d496be83 (
plain) (
blame)
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
|
(*
Langages de Programmation et Compilation (J.-C. Filliatre)
2013-2014
Alex AUVOLAT
AST for Mini-C++
*)
module Sset = Set.Make(String)
let type_names = ref Sset.empty
type ident = string
type tident = string
type binop =
| Equal | NotEqual
| Lt | Le | Gt | Ge
| Add | Sub | Mul | Div | Modulo
| Land | Lor
type unop =
| PreIncr | PostIncr | PreDecr | PostDecr
| Ref | Deref
| Not
| Minus | Plus
type var_type =
| TVoid
| TInt
| TPtr of var_type
| TRef of var_type
| TIdent of tident
type expression =
| EInt of int
| EBool of bool
| ENull
| EIdent of ident
| EAssign of expression * expression
| ECall of expression * expression list
| EUnary of unop * expression
| EBinary of expression * binop * expression
type statement =
| SEmpty
| SExpr of expression
| SIf of expression * statement * statement
| SWhile of expression * statement
| SFor of expression list * expression option * expression list * statement
| SBlock of block
| SReturn of expression option
| SDeclare of ident * var_type * expression option
and block = statement list
type proto = {
p_name : ident;
p_ret_type : var_type;
p_args : (ident * var_type) list;
}
type declaration =
| DGlobal of (ident * var_type)
| DFunction of (proto * block)
type program = declaration list
|
