CristalCaveGem » LustreC

let node_of_unless nused used node aut_id aut_state handler =

(*Format.eprintf "node_of_unless %s@." node.node_id;*)

  let inputs = unless_read ISet.empty handler in

  let var_outputs = aut_state.actual_r :: aut_state.actual_s :: [] in

  let eq_outputs = Eq (mkeq handler.hand_loc ([aut_state.actual_r.var_id; aut_state.actual_s.var_id], expr_outputs)) in

  let node_id = mk_new_name nused (Format.sprintf "%s__%s_unless" aut_id handler.hand_state) in

  let args = List.map (fun v -> mkexpr handler.hand_loc (Expr_when (mkident handler.hand_loc v.var_id, aut_state.incoming_s.var_id, handler.hand_state))) var_inputs in

  let writes = handler_write ISet.empty handler in

  let inputs = ISet.diff (handler_read (until_read ISet.empty handler) handler) writes in

  let frename = mk_frename used writes in

  let new_var_locals = node_vars_of_idents node writes in

  let var_outputs = List.sort IdentModule.compare (node_vars_of_idents node writes) in

  let new_var_outputs = List.map (fun vdecl -> { vdecl with var_id = frename vdecl.var_id }) var_outputs in