Revision 68601cf5 src/tools/stateflow/semantics/cPS_lustre_generator.ml
| src/tools/stateflow/semantics/cPS_lustre_generator.ml | ||
|---|---|---|
| 365 | 365 |
LustreSpec.Node {LustreSpec.node_id = "principal_loop";
|
| 366 | 366 |
node_type = Types.new_var (); |
| 367 | 367 |
node_clock = Clocks.new_var true; |
| 368 |
node_inputs = [event_var]; |
|
| 368 |
node_inputs = List.map Corelang.copy_var_decl [event_var];
|
|
| 369 | 369 |
node_outputs = state_vars_to_vdecl_list ~prefix:"sout_" Vars.state_vars; |
| 370 | 370 |
node_locals = []; (* TODO: add global vars *) |
| 371 | 371 |
node_gencalls = []; |
Also available in: Unified diff