CristalCaveGem » LustreC

open Vhdl_ast

open Mini_vhdl_ast

let mini_vhdl_declaration_t_names decl=

  match decl with

  | SigDecl { names; typ; init_val } -> names

  | _ -> []

let rec get_ports: vhdl_port_t list -> vhdl_port_mode_t -> vhdl_port_t list= 

  fun l -> fun m -> match l with 

    | [] -> [] 

    | hd::tl -> if hd.mode = m then hd::(get_ports tl m) else get_ports tl m

let get_names : vhdl_port_t -> vhdl_name_t list= fun x -> x.names

let rec duplicates l1=

  match l1 with

  | [] -> []

  | hd::tl -> if List.mem hd tl then hd::(duplicates (List.filter (fun x -> List.mem x tl) tl)) else duplicates tl

let equals n1 n2=

  match (n1,n2) with

  | (Simple a, Identifier b) -> a = b

  | (Identifier a, Simple b) -> a = b

  | (Simple a, Selected ((Simple b)::[])) -> a = b

  | (Simple a, Selected ((Identifier b)::[])) -> a = b

  | (Identifier a, Selected ((Simple b)::[])) -> a = b

  | (Identifier a, Selected ((Identifier b)::[])) -> a = b

  | (Selected ((Simple b)::[]), Simple a) -> a = b

  | (Selected ((Identifier b)::[]), Simple a) -> a = b

  | (Selected ((Simple b)::[]), Identifier a) -> a = b

  | (Selected ((Identifier b)::[]), Identifier a) -> a = b

  | (a,b) -> a = b

let find_vhdl_name_t l x =

  let rec find_vhdl_name_t_aux x l index =

    match l with

    | [] -> -1

    | hd::tl -> if (equals x hd) then index else find_vhdl_name_t_aux x tl (index+1) in

  find_vhdl_name_t_aux x l 0

let rec vhdl_name_t_mem x l =

  match l with

  | [] -> false

  | hd::tl -> equals x hd || vhdl_name_t_mem x tl

let rec diff l1 l2 to_string_name =

  match l1 with

  | [] -> []

  | hd::tl -> 

      if vhdl_name_t_mem hd l2 then diff tl l2 to_string_name else hd::(diff tl l2 to_string_name)