CristalCaveGem » LustreC

    mutable architecture_generics: vhdl_port_t list;

    mutable assigned_signals_names: vhdl_name_t list;

    mutable functions: (vhdl_name_t * vhdl_parameter_t list * vhdl_name_t) list;

    mutable contexts: vhdl_load_t list;

  }

    method to_string_vhdl_name_t : vhdl_name_t -> string=

      fun x  ->

        match x with

        | Selected a -> String.concat "." (List.map self#to_string_vhdl_name_t a)

        | Index { id; exprs } -> self#to_string_vhdl_name_t id

        | Slice { id; range } -> self#to_string_vhdl_name_t id

 *)

(*****************

 *)

    method mini_vhdl_concurrent_stmt_t_assigned_signals_names : mini_vhdl_concurrent_stmt_t -> vhdl_name_t list=

      fun x ->

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

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

        | _ -> []

(****************

 *End names_t extraction

 *)

    method vhdl_cst_val_t : vhdl_cst_val_t -> vhdl_cst_val_t=

      fun x  ->

        match x with

            let spec = self#vhdl_subprogram_spec_t spec  in

            let decl_part = List.map self#vhdl_declaration_t decl_part  in

            let stmts = List.map self#vhdl_sequential_stmt_t stmts  in

            Subprogram { spec; decl_part; stmts }

    method vhdl_declarative_item_t :

        let declarations = List.map self#vhdl_declarative_item_t declarations  in

        let active_sigs = self#list self#lower_vhdl_name_t active_sigs  in

        let body = List.map self#vhdl_sequential_stmt_t body  in

        let postponed = false in

        let label = None in

        { id; declarations; active_sigs; body; postponed; label }

        let functions = List.map (

          fun x -> match x with Subprogram (s) -> (Simple s.spec.name, s.spec.parameters, s.spec.typeMark) | _ -> failwith "Unreachable error"

        ) subprograms in

        self#db_add_tuple { entity=ref_ent; 

                            architecture=arch; 

                            architecture_signals=signals;

                            architecture_generics=generics;

                            assigned_signals_names=assigned_signals_names;

                            functions=functions;

                            contexts=contexts;

                          };

        { names;