Project

General

Profile

Revision 69c96b6c src/tools/stateflow/semantics/cPS.ml

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