Project

General

Profile

Revision 8446bf03 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 : LustreSpec.statement list;
14
			  ainputs: LustreSpec.var_decl list;
15
			  aoutputs: LustreSpec.var_decl list;
16
			  avariables: LustreSpec.var_decl list;
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;
17 17
			  (* ident: string; *)
18 18
			}
19
type base_condition_t = { expr: LustreSpec.expr;
20
			  cinputs: LustreSpec.var_decl list;
21
			  coutputs: LustreSpec.var_decl list;
22
			  cvariables: LustreSpec.var_decl list }
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 }
23 23

  
24 24
(* P(r)etty printers *)
25 25
let pp_state_name     = Format.pp_print_string
......
158 158

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

Also available in: Unified diff