Project

General

Profile

« Previous | Next » 

Revision 22a34b49

Added by Christophe Garion about 6 years ago

  • ID 22a34b49c4a5001b78734ad5ffae8704f9a89aaa
  • Parent 1d0fd52b

json-parser: starting changing datatypes

View differences:

src/tools/stateflow/common/datatype.ml
39 39
  | Junction of junction_name_t * transitions_t
40 40
  | SFFunction of 'prog_t
41 41

  
42
type prog_t = Program of state_name_t * prog_t src_components_t list * (Lustre_types.var_decl * Lustre_types.expr) list
42
(* type prog_t = Program of state_name_t * prog_t src_components_t list * (Lustre_types.var_decl * Lustre_types.expr) list *)
43

  
44
type prog_t = Program of state_name_t * prog_t src_components_t list * GlobalVarDef.t list
43 45

  
44 46
type scope_t = Constant | Input | Local | Output | Parameter
45 47

  
......
159 161
    Format.fprintf fmt "Main node name: %s@ %a@ %a@"
160 162
      name
161 163
      (pp_src pp_sffunction) component_list
162
      pp_vars (List.map fst vars)
164
      pp_vars (List.map .variable vars)
163 165

  
164 166
  let pp_scope fmt src =
165 167
    Format.fprintf fmt (match src with

Also available in: Unified diff