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
(*********************************************************************************)
(*                Stog                                                           *)
(*                                                                               *)
(*    Copyright (C) 2012-2024 INRIA All rights reserved.                         *)
(*    Author: Maxence Guesdon, INRIA Saclay                                      *)
(*                                                                               *)
(*    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 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                                          *)
(*                                                                               *)
(*********************************************************************************)

(** *)


exception Invalid of string

let invalid s = raise (Invalid s);;


type path = {
    path : string list;
    path_absolute : bool ;
  }

let path path path_absolute = { path ; path_absolute };;

let compare = Stdlib.compare;;

module Ordered = struct type t = path let compare = compare end;;
module Map = Map.Make(Ordered)
module Set = Set.Make(Ordered)

let append p l = { p with path = p.path @ l };;

let chop_extension path =
  match List.rev path.path with
    [] -> None
  | s :: q ->
      try
        let s = Filename.chop_extension s in
        Some { path with path = List.rev (s :: q) }
      with
        Invalid_argument _ -> (* no extension *) None
;;

let to_string path =
  Printf.sprintf "%s%s"
  (if path.path_absolute then "/" else "")
  (String.concat "/" path.path)

let of_string s =
  let len = String.length s in
  if len <= 0 then failwith (Printf.sprintf "Invalid path: %S" s);
  let (abs, s) =
    match s.[0] with
      '/' -> (true, String.sub s 1 (len - 1))
    | _ -> (false, s)
  in
  { path = Stog_base.Misc.split_string s ['/'];
    path_absolute = abs ;
  }
;;

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