CristalCaveGem » LustreC

  let get_node_eqs nd =

    let eqs, auts = get_node_eqs nd in

    if auts != [] then assert false (* No call on causality on a Lustre model

				       with automaton. They should be expanded by now. *);

    eqs

  let get_calls prednode nd =

    let accu f init objl = List.fold_left (fun accu o -> ESet.union accu (f o)) init objl in

    let get_eq_calls eq = get_expr_calls prednode eq.eq_rhs in

    let rec get_stmt_calls s =

      match s with Eq eq -> get_eq_calls eq | Aut aut -> get_aut_calls aut 

    and get_aut_calls aut =

      let get_handler_calls h =

	let get_cond_calls c = accu (fun (_,e,_,_) -> get_expr_calls prednode e) ESet.empty c in

	let until = get_cond_calls h.hand_until in

	let unless = get_cond_calls h.hand_unless in

	let calls = ESet.union until unless in 

	let calls = accu get_stmt_calls calls h.hand_stmts in

	let calls = accu (fun a -> get_expr_calls prednode a.assert_expr) calls h.hand_asserts in

	(* let calls = accu xx calls h.hand_annots in *) (* TODO: search for calls in eexpr *)

	calls

      in

      accu get_handler_calls ESet.empty aut.aut_handlers

    in

    let eqs, auts = get_node_eqs nd in

    let deps = accu get_eq_calls ESet.empty eqs in

    let deps = accu get_aut_calls deps auts in

	     (get_calls (fun _ -> true) nd) 

	   nd.node_gencalls <- get_calls prednode nd

    let eqs , auts = get_node_eqs node in

    assert (auts = []); (* TODO: check: For the moment we assume that auts are expanded by now *)

    let (mem_eqs, non_mem_eqs) = List.partition (fun eq -> List.exists (fun v -> ISet.mem v mems) eq.eq_lhs) eqs in