Blame src/ExtensionPath.ml
|
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 |
(** Manipulate path extension
|
|
Packit |
9ff65e |
*)
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
let get fn =
|
|
Packit |
9ff65e |
let start_pos =
|
|
Packit |
9ff65e |
(String.rindex fn '.') + 1
|
|
Packit |
9ff65e |
in
|
|
Packit |
9ff65e |
let fn_len =
|
|
Packit |
9ff65e |
String.length fn
|
|
Packit |
9ff65e |
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 |
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
let check fn ext =
|
|
Packit |
9ff65e |
try
|
|
Packit |
9ff65e |
(get fn) = ext
|
|
Packit |
9ff65e |
with Not_found ->
|
|
Packit |
9ff65e |
false
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
let chop fn =
|
|
Packit |
9ff65e |
try
|
|
Packit |
9ff65e |
let end_pos =
|
|
Packit |
9ff65e |
String.rindex fn '.'
|
|
Packit |
9ff65e |
in
|
|
Packit |
9ff65e |
if end_pos = 0 then
|
|
Packit |
9ff65e |
""
|
|
Packit |
9ff65e |
else
|
|
Packit |
9ff65e |
String.sub fn 0 end_pos
|
|
Packit |
9ff65e |
with Not_found ->
|
|
Packit |
9ff65e |
fn
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
let add fn ext =
|
|
Packit |
9ff65e |
fn ^ "." ^ ext
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
|
|
Packit |
9ff65e |
let replace fn ext =
|
|
Packit |
9ff65e |
add (chop fn) ext
|