Project

General

Profile

« Previous | Next » 

Revision 04396cc7

Added by Christophe Garion over 4 years ago

parser-json: add variables in parsing

View differences:

src/tools/stateflow/main_with_json.ml
23 23
  let json                       = Yojson.Basic.from_file "GPCA_Alarm_Alarm_SFIR_pp.json"
24 24
  let Program (init, defs, vars) = Parse.parse_prog json
25 25
  let prog                       = Parse.parse_prog json
26
  let user_vars                  = Parse.parse_variables json
26
  (* let user_vars                  = Parse.parse_variables json *)
27 27
  (*let _ = Format.printf "Model definitions@.%a@.####" Simulink.pp_src defs; ()*)
28 28
end
29 29

  
......
55 55
let main ()  =
56 56
  begin
57 57
    SF.pp_prog Format.std_formatter (Parse.parse_prog Prog.json);
58
    SF.pp_vars Format.std_formatter (Parse.parse_variables Prog.json);
58
    (* SF.pp_vars Format.std_formatter (Parse.parse_variables Prog.json); *)
59 59
  end
60 60

  
61 61
let _ = main ()

Also available in: Unified diff