CristalCaveGem » LustreC

        | SigCondAssign { label; lhs; rhs; delay} -> [lhs]

        | SigSelectAssign { label; lhs; sel; branches; delay } -> [lhs]

        | If { label; if_cases; default } -> 

            List.flatten (List.map self#mini_vhdl_sequential_stmt_t_assigned_signals_names (if_cases_stmts@default))

        | Case { label; guard; branches } ->

            List.flatten (List.map self#mini_vhdl_sequential_stmt_t_assigned_signals_names case_branches_stmts)

        | ProcedureCall { label; name; assocs } -> [] (* TODO: resolve this *)

        | _ -> []

      fun assigned_signals -> fun mems -> fun x ->

        match x with

        | If { label; if_cases; default } ->

            let if_cases_assigned_signals = 

              List.map self#mini_vhdl_sequential_stmt_t_assigned_signals_names (List.flatten (if_cases_stmts@[default])) in

            let if_cases_memories = List.flatten (List.map (fun x -> List.flatten (List.map (self#memories assigned_signals []) x)) (if_cases_stmts@[default])) in

            let mems = if_cases_memories@mems in

            (match default with

              | [] -> (List.flatten if_cases_assigned_signals)@mems

              | _ -> mems)

        | Case { label; guard; branches } ->

         (*   let case_assigned_signals = List.map self#mini_vhdl_sequential_stmt_t_assigned_signals_names (List.flatten (case_branches_stmts)) in *)

            let cases_memories = List.flatten (List.map (fun x -> List.flatten (List.map (self#memories assigned_signals []) x)) (case_branches_stmts)) in

            cases_memories@mems

    method vhdl_if_case_t : vhdl_if_case_t -> mini_vhdl_if_case_t=

      fun { if_cond; if_block }  ->

        let if_cond = self#vhdl_expr_t if_cond  in

    method vhdl_case_item_t : vhdl_case_item_t -> mini_vhdl_case_item_t=

      fun { when_cond; when_stmt }  ->

        let when_cond = self#list self#vhdl_expr_t when_cond  in

    method vhdl_declaration_t : vhdl_declaration_t -> mini_vhdl_declaration_t=

      fun x  ->