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
|
(***********************************************************************)
(* *)
(* Objective Caml *)
(* *)
(* Pierre Weis, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 2001 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. This file is distributed *)
(* only by permission. *)
(* *)
(***********************************************************************)
type constante =
| Entire of int
| Boolenne of bool;;
type expr_type =
| Integer (* le type des entiers *)
| Boolean (* le type des boolens *)
| Array of int * int * expr_type;; (* le type des tableaux *)
(* (les deux "int" sont les bornes) *)
type expression =
| Constante of constante
| Variable of string
| Application of string * expression list
| Op_unaire of string * expression
| Op_binaire of string * expression * expression
| Accs_tableau of expression * expression;;
type instruction =
| Affectation_var of string * expression
| Affectation_tableau of expression * expression * expression
| Appel of string * expression list (* appel de procdure *)
| If of expression * instruction * instruction
| While of expression * instruction
| Write of expression
| Read of string
| Bloc of instruction list;; (* bloc begin ... end *)
type dcl_proc =
{ proc_paramtres: (string * expr_type) list;
proc_variables: (string * expr_type) list;
proc_corps: instruction }
and dcl_fonc =
{ fonc_paramtres: (string * expr_type) list;
fonc_type_rsultat: expr_type;
fonc_variables: (string * expr_type) list;
fonc_corps: instruction };;
type programme =
{ prog_variables: (string * expr_type) list;
prog_procdures: (string * dcl_proc) list;
prog_fonctions: (string * dcl_fonc) list;
prog_corps: instruction };;
val lire_programme : char Stream.t -> programme;;
|
