Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / global.ml @ 66359a5e

History | View | Annotate | Download (573 Bytes)

1
module Types = Types.Main
2

    
3
let type_env : (Types.type_expr Env.t) ref = ref Env.initial
4
let clock_env : (Clocks.clock_expr Env.t) ref = ref Env.initial
5
let basename = ref ""
6
let main_node = ref ""
7

    
8
module TypeEnv =
9
struct
10
let lookup_value ident = Env.lookup_value !type_env ident
11
let exists_value ident = Env.exists_value !type_env ident
12
let iter f = Env.iter !type_env f
13
let pp pp_fun fmt () = Env.pp_env pp_fun fmt !type_env
14
end
15

    
16
let initialize () =
17
  begin
18
    main_node := !Options.main_node;
19
  end
20

    
21
(* Local Variables: *)
22
(* compile-command:"make -C .." *)
23
(* End: *)