Revision 953879f0
Added by Pierre-Loïc Garoche about 7 years ago
| src/backends/EMF/EMF_backend.ml | ||
|---|---|---|
| 337 | 337 |
| MComment _ |
| 338 | 338 |
-> Format.eprintf "unhandled comment in EMF@.@?"; assert false |
| 339 | 339 |
(* not available for EMF output *) |
| 340 |
|
|
| 341 | 340 |
in |
| 342 |
match Corelang.get_instr_desc i with |
|
| 343 |
| MBranch (_, [_, single_branch]) -> ( |
|
| 344 |
pp_emf_instrs m fmt single_branch (* Single branch hack treated as regular instrs *) |
|
| 345 |
) |
|
| 346 |
| _ -> ( |
|
| 347 | 341 |
fprintf fmt "@[ @[<v 2>\"%a\": {@ " get_instr_id i;
|
| 348 | 342 |
fprintf fmt "%a" pp_content i; |
| 349 | 343 |
fprintf fmt "@]@]@ }" |
| 350 |
) |
|
| 351 | 344 |
and pp_emf_instrs m fmt instrs = fprintf_list ~sep:",@ " (pp_emf_instr m) fmt instrs |
| 352 | 345 |
|
| 353 | 346 |
let pp_machine fmt m = |
Also available in: Unified diff
Issue with clocked expressions. Now handled throught a local branch, ie. a single action block in Simulink