source: Deliverables/D2.2/8051/src/utilities/stringTools.ml @ 640

(** FIXME: document here *)

type t = string

let compare = String.compare


module Set = Set.Make (String)


module Map = Map.Make (String)


module Gen = struct

  type universe = { prefix : string ; mutable next : int }

  let added_prefix = "_"

  let is_prefix prefix s =
    let l = String.length prefix in
    (String.length s >= l) && (String.sub s 0 l = prefix)

  let has_prefix set prefix =
    let f s b = b || (is_prefix prefix s) in
    Set.fold f set false

  let fresh_prefix set prefix =
    let rec aux prefix =
      if has_prefix set prefix then aux (added_prefix ^ prefix)
      else prefix in
    aux prefix


  let new_universe s = { prefix = s ; next = 0 }

  let fresh u =
    let s = u.prefix ^ (string_of_int u.next) in
    u.next <- u.next + 1 ;
    s

end