Project

General

Profile

Revision 3769b712 src/tools/stateflow/common/basetypes.ml

View differences:

src/tools/stateflow/common/basetypes.ml
10 10
type user_variable_name_t = string
11 11

  
12 12
(* Connected to lustrec types *)
13
type base_action_t    = { defs : Lustre_types.statement list;
14
			  ainputs: Lustre_types.var_decl list;
15
			  aoutputs: Lustre_types.var_decl list;
16
			  avariables: Lustre_types.var_decl list;
13
type base_action_t    = { defs : Lustrec.Lustre_types.statement list;
14
			  ainputs: Lustrec.Lustre_types.var_decl list;
15
			  aoutputs: Lustrec.Lustre_types.var_decl list;
16
			  avariables: Lustrec.Lustre_types.var_decl list;
17 17
			  (* ident: string; *)
18 18
			}
19
type base_condition_t = { expr: Lustre_types.expr;
20
			  cinputs: Lustre_types.var_decl list;
21
			  coutputs: Lustre_types.var_decl list;
22
			  cvariables: Lustre_types.var_decl list }
19
type base_condition_t = { expr: Lustrec.Lustre_types.expr;
20
			  cinputs: Lustrec.Lustre_types.var_decl list;
21
			  coutputs: Lustrec.Lustre_types.var_decl list;
22
			  cvariables: Lustrec.Lustre_types.var_decl list }
23 23

  
24 24
(* P(r)etty printers *)
25 25
let pp_state_name     = Format.pp_print_string
26 26
let pp_junction_name  = Format.pp_print_string
27
let pp_path fmt p     = Utils.fprintf_list ~sep:"." pp_state_name fmt p
27
let pp_path fmt p     = Lustrec.Utils.fprintf_list ~sep:"." pp_state_name fmt p
28 28
let pp_event fmt e    = match e with None -> Format.fprintf fmt "none" | Some s -> Format.fprintf fmt "%s" s
29
let pp_base_act fmt a = Printers.pp_node_stmts fmt a.defs
30
let pp_base_cond fmt c= Printers.pp_expr fmt c.expr
29
let pp_base_act fmt a = Lustrec.Printers.pp_node_stmts fmt a.defs
30
let pp_base_cond fmt c= Lustrec.Printers.pp_expr fmt c.expr
31 31

  
32 32
(* Action and Condition types and functions. *)
33 33

  
......
158 158

  
159 159
module GlobalVarDef =
160 160
struct
161
  type t = {variable: Lustre_types.var_decl; init_val: Lustre_types.expr}
161
  type t = {variable: Lustrec.Lustre_types.var_decl; init_val: Lustrec.Lustre_types.expr}
162 162
end

Also available in: Unified diff