sem.mli

用ocaml编写的pascal编译程序

(* ---- Abstraction semantique pour les types  ----------------------------------- *)

type a_btype = A_int | A_bool
and  a_call  = A_adr | A_val                   (* par adresse ou par valeur *)
and  a_type  = A_bty of a_btype                (* type de base              *) 
             | A_arr of a_btype                (* type tableau de ...       *)
and  a_name  = A_var of a_type*a_call          (* variable ou parametre     *)
             | A_proc of (a_type*a_call) list  (* procedure                 *)

type s_sem   = A_btype of a_btype
             | A_name  of a_name
             | A_none

(* ---- Syntaxe abstraite pour les programmes ------------------------------------ *)

type s_ident   = string
and  s_ident_s = s_ident*s_sem

type s_number   = int
and  s_number_s = s_number*s_sem

type s_cst   = S_num of s_number | S_true | S_false
type s_unop  = S_minus | S_not
type s_binop = S_add | S_sub | S_mul | S_div | S_and | S_or
             | S_leq | S_les | S_geq | S_grt | S_eq  | S_neq

type s_expr    = S_cst of s_cst
               | S_una of s_unop*s_expr_s
               | S_bin of s_binop*s_expr_s*s_expr_s
               | S_der of s_deref
and  s_deref   = s_ident_s*(s_expr_s option)
and  s_expr_s  = s_expr*s_sem

type s_instr  = S_aff of s_deref*s_expr_s                  (* affectations  *)
              | S_ite of s_expr_s*s_instr*s_instr          (* if then else  *)
              | S_whi of s_expr_s*s_instr                  (* while do      *)
              | S_lst of s_instr list                      (* begin end     *)
              | S_cal of s_ident_s*(s_expr_s list)         (* appel proc.   *)

type s_btype   = S_int | S_bool

type s_tdecl   = S_dbty of s_btype 
               | S_darr of s_expr_s*s_expr_s*s_btype
type s_vdecl   = s_ident*s_tdecl

type s_call    = S_value | S_addr
type s_tspec   = S_sbty of s_btype 
               | S_sarr of s_ident*s_ident*s_btype
type s_pspec   = s_call*s_ident*s_tspec

type s_block   = S_blk of (s_vdecl list)*(s_procd list)*(s_instr list)
and  s_procd   = s_ident*(s_pspec list)*s_block
and  s_program = s_ident*s_block

(* ---- API des fonctions de typage -------------------------------- *)

exception Not_available of string
exception Type_error of string

val sem_compute : s_program -> s_program

val sem_null    : s_sem
val sem_btype   : s_sem ->  a_btype
val sem_var     : s_sem -> (a_type*a_call)
val sem_proc    : s_sem -> (a_type*a_call) list