Project

General

Profile

Revision 2863281f src/backends/EMF/EMF_backend.ml

View differences:

src/backends/EMF/EMF_backend.ml
100 100

  
101 101
open Lustre_types
102 102
open Machine_code_types
103
open Machine_code
103
open Machine_code_common
104 104
open Format 
105 105
open EMF_common
106 106
exception Unhandled of string
......
121 121
  | MStep ([var], i, vl) ->
122 122
     (
123 123
       try
124
	 let name = (Machine_code.get_node_def i m).node_id in
124
	 let name = (get_node_def i m).node_id in
125 125
	 match name, vl with
126 126
	 | "_arrow", [v1; v2] -> (
127 127
	   match v1.value_desc, v2.value_desc with
......
245 245
    | _ -> assert false
246 246
  in
247 247
  let sorted_branches = List.sort sorting_branches branches in
248
  instrs @ (Machine_code.join_guards_list sorted_branches)
248
  instrs @ (join_guards_list sorted_branches)
249 249
    
250 250
let rec pp_emf_instr m fmt i =
251 251
  let pp_content fmt i =
......
340 340
    )
341 341

  
342 342
    | MStep (outputs, f, inputs) when not (is_imported_node f m) -> (
343
      let node_f = Machine_code.get_node_def f m in
343
      let node_f = get_node_def f m in
344 344
      let is_stateful = List.mem_assoc f m.minstances in 
345 345
      fprintf fmt "\"kind\": \"%s\",@ \"name\": \"%a\",@ \"id\": \"%s\",@ "
346 346
	(if is_stateful then "statefulcall" else "statelesscall")

Also available in: Unified diff