|
Packit |
9ff65e |
(******************************************************************************)
|
|
Packit |
9ff65e |
(* ocaml-fileutils: files and filenames common operations *)
|
|
Packit |
9ff65e |
(* *)
|
|
Packit |
9ff65e |
(* Copyright (C) 2003-2014, Sylvain Le Gall *)
|
|
Packit |
9ff65e |
(* *)
|
|
Packit |
9ff65e |
(* This library is free software; you can redistribute it and/or modify it *)
|
|
Packit |
9ff65e |
(* under the terms of the GNU Lesser General Public License as published by *)
|
|
Packit |
9ff65e |
(* the Free Software Foundation; either version 2.1 of the License, or (at *)
|
|
Packit |
9ff65e |
(* your option) any later version, with the OCaml static compilation *)
|
|
Packit |
9ff65e |
(* exception. *)
|
|
Packit |
9ff65e |
(* *)
|
|
Packit |
9ff65e |
(* This library is distributed in the hope that it will be useful, but *)
|
|
Packit |
9ff65e |
(* WITHOUT ANY WARRANTY; without even the implied warranty of *)
|
|
Packit |
9ff65e |
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the file *)
|
|
Packit |
9ff65e |
(* COPYING for more details. *)
|
|
Packit |
9ff65e |
(* *)
|
|
Packit |
9ff65e |
(* You should have received a copy of the GNU Lesser General Public License *)
|
|
Packit |
9ff65e |
(* along with this library; if not, write to the Free Software Foundation, *)
|
|
Packit |
9ff65e |
(* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA *)
|
|
Packit |
9ff65e |
(******************************************************************************)
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
open FilePath_type
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
include CommonPath
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
let rec dir_writer lst =
|
|
Packit |
9ff65e |
match lst with
|
|
Packit |
9ff65e |
Root _ :: tl -> "/"^(dir_writer tl)
|
|
Packit |
9ff65e |
| [ CurrentDir Short ] -> ""
|
|
Packit |
9ff65e |
| lst ->
|
|
Packit |
9ff65e |
let dir_writer_aux cmp =
|
|
Packit |
9ff65e |
match cmp with
|
|
Packit |
9ff65e |
Root _ -> ""
|
|
Packit |
9ff65e |
| ParentDir -> ".."
|
|
Packit |
9ff65e |
| CurrentDir _ -> "."
|
|
Packit |
9ff65e |
| Component s -> s
|
|
Packit |
9ff65e |
in
|
|
Packit |
9ff65e |
String.concat "/" ( List.map dir_writer_aux lst )
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
let dir_reader fn =
|
|
Packit |
9ff65e |
let sep = '/' in
|
|
Packit |
9ff65e |
let fn_part_of_string =
|
|
Packit |
9ff65e |
function
|
|
Packit |
9ff65e |
| "." -> CurrentDir Long
|
|
Packit |
9ff65e |
| ".." -> ParentDir
|
|
Packit |
9ff65e |
| str -> Component str
|
|
Packit |
9ff65e |
in
|
|
Packit |
9ff65e |
if (String.length fn) > 0 then begin
|
|
Packit |
9ff65e |
if fn.[0] = sep then
|
|
Packit |
9ff65e |
StringExt.split
|
|
Packit |
9ff65e |
~start_acc:[Root ""]
|
|
Packit |
9ff65e |
~start_pos:1
|
|
Packit |
9ff65e |
~map:fn_part_of_string
|
|
Packit |
9ff65e |
sep
|
|
Packit |
9ff65e |
fn
|
|
Packit |
9ff65e |
else
|
|
Packit |
9ff65e |
StringExt.split
|
|
Packit |
9ff65e |
~map:fn_part_of_string
|
|
Packit |
9ff65e |
sep
|
|
Packit |
9ff65e |
fn
|
|
Packit |
9ff65e |
end else
|
|
Packit |
9ff65e |
[CurrentDir Short]
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
let path_writer lst = String.concat ":" lst
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
let path_reader str = StringExt.split ~map:(fun s -> s) ':' str
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
let fast_concat fn1 fn2 =
|
|
Packit |
9ff65e |
let fn1_len = String.length fn1 in
|
|
Packit |
9ff65e |
if fn1_len = 0 || fn1.[fn1_len - 1] = '/' then
|
|
Packit |
9ff65e |
fn1 ^ fn2
|
|
Packit |
9ff65e |
else
|
|
Packit |
9ff65e |
fn1 ^ "/" ^ fn2
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
let fast_basename fn =
|
|
Packit |
9ff65e |
try
|
|
Packit |
9ff65e |
let start_pos = (String.rindex fn '/') + 1 in
|
|
Packit |
9ff65e |
let fn_len = String.length fn in
|
|
Packit |
9ff65e |
if start_pos = fn_len then
|
|
Packit |
9ff65e |
""
|
|
Packit |
9ff65e |
else
|
|
Packit |
9ff65e |
String.sub fn start_pos (fn_len - start_pos)
|
|
Packit |
9ff65e |
with Not_found ->
|
|
Packit |
9ff65e |
fn
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
let fast_dirname fn =
|
|
Packit |
9ff65e |
try
|
|
Packit |
9ff65e |
let last_pos = String.rindex fn '/' in
|
|
Packit |
9ff65e |
if last_pos = 0 then
|
|
Packit |
9ff65e |
"/"
|
|
Packit |
9ff65e |
else
|
|
Packit |
9ff65e |
String.sub fn 0 last_pos
|
|
Packit |
9ff65e |
with Not_found ->
|
|
Packit |
9ff65e |
""
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
let fast_is_relative fn =
|
|
Packit |
9ff65e |
if String.length fn = 0 || fn.[0] <> '/' then
|
|
Packit |
9ff65e |
true
|
|
Packit |
9ff65e |
else
|
|
Packit |
9ff65e |
false
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
let fast_is_current fn =
|
|
Packit |
9ff65e |
if String.length fn = 0 || fn = "." then
|
|
Packit |
9ff65e |
true
|
|
Packit |
9ff65e |
else if fn.[0] <> '.' then
|
|
Packit |
9ff65e |
false
|
|
Packit |
9ff65e |
else
|
|
Packit |
9ff65e |
raise CannotHandleFast
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
let fast_is_parent fn =
|
|
Packit |
9ff65e |
if fn = ".." then
|
|
Packit |
9ff65e |
true
|
|
Packit |
9ff65e |
else if String.length fn < 2 || fn.[0] <> '.' || fn.[1] <> '.' then
|
|
Packit |
9ff65e |
false
|
|
Packit |
9ff65e |
else
|
|
Packit |
9ff65e |
raise CannotHandleFast
|
|
Packit |
9ff65e |
|