Source file regexp.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
(* Js_of_ocaml library
 * http://www.ocsigen.org/js_of_ocaml/
 * Copyright (C) 2010 Raphaël Proust, Jérôme Vouillon
 * Laboratoire PPS - CNRS Université Paris Diderot
 *
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU Lesser General Public License as published by
 * the Free Software Foundation, with linking exception;
 * either version 2.1 of the License, or (at your option) any later version.
 *
 * 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 Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser 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.
 *)
open! Import

type regexp = Js.regExp Js.t

type result = Js.match_result Js.t

let regexp s = new%js Js.regExp_withFlags (Js.bytestring s) (Js.string "g")

let regexp_case_fold s = new%js Js.regExp_withFlags (Js.bytestring s) (Js.string "gi")

let regexp_with_flag s f =
  new%js Js.regExp_withFlags (Js.bytestring s) (Js.string ("g" ^ f))

let blunt_str_array_get a i =
  Js.to_bytestring (Js.Optdef.get (Js.array_get a i) (fun () -> assert false))

let string_match r s i =
  r##.lastIndex := i;
  Js.Opt.to_option (Js.Opt.map (r##exec (Js.bytestring s)) Js.match_result)

let search r s i =
  r##.lastIndex := i;
  Js.Opt.to_option
    (Js.Opt.map
       (r##exec (Js.bytestring s))
       (fun res_pre ->
         let res = Js.match_result res_pre in
         res##.index, res))

let search_forward = search

let matched_string r = blunt_str_array_get r 0

let matched_group r i =
  Js.Optdef.to_option (Js.Optdef.map (Js.array_get r i) Js.to_bytestring)

let quote_repl_re = new%js Js.regExp_withFlags (Js.string "[$]") (Js.string "g")

let quote_repl s = (Js.bytestring s)##replace quote_repl_re (Js.string "$$$$")

let global_replace r s s_by =
  r##.lastIndex := 0;
  Js.to_bytestring (Js.bytestring s) ## (replace r (quote_repl s_by))

let replace_first r s s_by =
  let flags =
    match Js.to_bool r##.ignoreCase, Js.to_bool r##.multiline with
    | false, false -> Js.string ""
    | false, true -> Js.string "m"
    | true, false -> Js.string "i"
    | true, true -> Js.string "mi"
  in
  let r' = new%js Js.regExp_withFlags r##.source flags in
  Js.to_bytestring (Js.bytestring s) ## (replace r' (quote_repl s_by))

let list_of_js_array a =
  let rec aux accu idx =
    if idx < 0 then accu else aux (blunt_str_array_get a idx :: accu) (idx - 1)
  in
  aux [] (a##.length - 1)

let split r s =
  r##.lastIndex := 0;
  list_of_js_array (Js.str_array (Js.bytestring s) ## (split_regExp r))

let bounded_split r s i =
  r##.lastIndex := 0;
  list_of_js_array (Js.str_array (Js.bytestring s) ## (split_regExpLimited r i))

(* More constructors *)

let quote_re = regexp "[\\][()\\\\|+*.?{}^$]"

let quote s = Js.to_bytestring (Js.bytestring s) ## (replace quote_re (Js.string "\\$&"))

let regexp_string s = regexp (quote s)

let regexp_string_case_fold s = regexp_case_fold (quote s)