tables.ml

   1 (** Global list of tables *)
   2
   3 open Printf
   4
   5 type table = RA.table
   6
   7 let all : table list ref = ref []
   8
   9 (** @raise Error when no such table *)
  10 let get_from tables name =
  11   try
  12     List.find (fun (n,_) -> n = name) tables
  13   with Not_found -> failwith (sprintf "no such table %s" name)
  14
  15 let get name = get_from !all name
  16 let get_scheme name = snd (get name)
  17 let check name = ignore (get name)
  18
  19 let add v =
  20   let (name,scheme) = v in
  21   match List.find_all (fun (n,_) -> n = name) !all with
  22   | [] -> all := v :: !all
  23   | _ -> failwith (sprintf "table %s already exists" name)
  24
  25 let print () = List.iter RA.print_table !all