helm/interface/uriManager.ml.implementazione_banale

   1 type uri = string;;
   2
   3 let eq uri1 uri2 =
   4  uri1 = uri2
   5 ;;
   6
   7 let string_of_uri uri = uri;;
   8 let uri_of_string str = str;;
   9
  10 let name_of_uri uri =
  11  let l = Str.split (Str.regexp "/") uri in
  12   let name_suf = List.nth l (List.length l - 1) in
  13    List.hd (Str.split (Str.regexp "\.") name_suf)
  14 ;;
  15
  16 let depth_of_uri uri =
  17  List.length (Str.split (Str.regexp "/") uri) - 2
  18 ;;