Project

General

Profile

« Previous | Next » 

Revision 69c96b6c

Added by Pierre-Loïc Garoche about 6 years ago

lustresf: Better construction of lustre ast. Still more work to be done.

View differences:

src/tools/stateflow/semantics/cPS.ml
40 40 
  let module Eval = (val (eval modular)) in
41 41 
  Eval.eval_prog
42 42
43 
let code_gen fmt modular  =
43 
let code_gen modular  =
44 44 
  let module Eval = (val (eval modular)) in
45 45 
  let principal, components =  Eval.eval_prog, Eval.eval_components in
46 
  [
47 
    List.map (fun (c, tr) -> T.mkcomponent Ecall c tr) (components Ecall);
48 
    List.map (fun (c, tr) -> T.mkcomponent Dcall c tr) (components Dcall);
49 
    List.map (fun (c, tr) -> T.mkcomponent Xcall c tr) (components Xcall);
50 
    T.mkprincipal principal;
51 
  ]
46 
  List.flatten (List.map (fun (c, tr) -> T.mkcomponent Ecall c tr) (components Ecall))@
47 
    List.flatten (List.map (fun (c, tr) -> T.mkcomponent Dcall c tr) (components Dcall))@
48 
    List.flatten (List.map (fun (c, tr) -> T.mkcomponent Xcall c tr) (components Xcall))@
49 
    (T.mkprincipal principal)
52 50 
end

Also available in: Unified diff