Source file `path.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
(*********************************************************************************)
(*                Ojs-base                                                       *)
(*                                                                               *)
(*    Copyright (C) 2014-2021 INRIA. All rights reserved.                        *)
(*                                                                               *)
(*    This program is free software; you can redistribute it and/or modify       *)
(*    it under the terms of the GNU General Public License as                    *)
(*    published by the Free Software Foundation, version 3 of the License.       *)
(*                                                                               *)
(*    This program is distributed in the hope that it will be useful,            *)
(*    but WITHOUT ANY WARRANTY; without even the implied warranty of             *)
(*    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the               *)
(*    GNU Library General Public License for more details.                       *)
(*                                                                               *)
(*    You should have received a copy of the GNU General Public                  *)
(*    License along with this program; if not, write to the Free Software        *)
(*    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA                   *)
(*    02111-1307  USA                                                            *)
(*                                                                               *)
(*    As a special exception, you have permission to link this program           *)
(*    with the OCaml compiler and distribute executables, as long as you         *)
(*    follow the requirements of the GNU GPL in regard to all of the             *)
(*    software in the executable aside from the OCaml compiler.                  *)
(*                                                                               *)
(*    Contact: Maxence.Guesdon@inria.fr                                          *)
(*                                                                               *)
(*********************************************************************************)

(**  *)

type t = {
  abs : bool ;
  path : string list ;
  } [@@deriving yojson]

module Ord = struct
    type u = t
    type t = u
    let compare = Stdlib.compare
  end
module Map = Map.Make (Ord)
module Set = Set.Make (Ord)

let dir_sep = String.get Filename.dir_sep 0

let empty = { abs = false ; path = [] }
let root = { abs = true ; path = [] }

let is_absolute p = p.abs
let path p = p.path


(*c==v=[String.split_string]=1.2====*)
let split_string ?(keep_empty=false) s chars =
  let len = String.length s in
  let rec iter acc pos =
    if pos >= len then
      match acc with
        "" -> if keep_empty then [""] else []
      | _ -> [acc]
    else
      if List.mem s.[pos] chars then
        match acc with
          "" ->
            if keep_empty then
              "" :: iter "" (pos + 1)
            else
              iter "" (pos + 1)
        | _ -> acc :: (iter "" (pos + 1))
      else
        iter (Printf.sprintf "%s%c" acc s.[pos]) (pos + 1)
  in
  iter "" 0
(*/c==v=[String.split_string]=1.2====*)

let of_string s =
  let path = split_string s [dir_sep] in
  let abs = String.length s > 0 && String.get s 0 = dir_sep in
  { abs ; path }

let to_string p =
  Printf.sprintf "%s%s"
    (if p.abs then Filename.dir_sep else "")
    (String.concat Filename.dir_sep p.path)

let basename p =
  match List.rev p.path with
    [] -> failwith "Path.basename: Invalid argument"
  | f :: _ -> f

let parent p =
  match List.rev p.path with
  | [] -> { abs = false ; path = [] }
  | _ :: q -> { p with path = List.rev q }

let append p1 l = { p1 with path = p1.path @ l }
let append_path p1 p2 = { p1 with path = p1.path @ p2.path }

let is_prefix =
  let rec iter = function
    h1 :: q1, h2 :: q2 -> h1 = h2 && iter (q1, q2)
  | [], _ -> true
  | _ :: _, [] -> false
  in
  fun p1 p2 -> iter (p1.path, p2.path)

let normalize path =
    let rec iter acc = function
      [] -> List.rev acc
    | h :: q ->
        if h = Filename.current_dir_name then
          iter acc q
        else
          if h = Filename.parent_dir_name then
            match acc with
              [] -> []
            | _ :: r -> iter r q
          else
            iter (h::acc) q
    in
    { path with path = iter [] path.path}