/usr/lib/ocaml/xstr/xstr_split.mli is in libxstr-ocaml-dev 0.2.1-21build6.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 | (* $Id: xstr_split.mli,v 1.2 1999/07/04 20:02:20 gerd Exp $
* ----------------------------------------------------------------------
* Split strings into words
*)
val split_string :
string -> bool -> bool -> string list -> string -> string list
(* split_string ignoreset ignoreleft ignoreright separators s:
*
* Splits 's' into words; the other parameters control the recognition
* of words.
* 'separators' is a list of strings that may separate the words.
* 'ignoreset' is a list of characters (written as string) that are
* ignored before and after separators.
* 'ignoreleft' controls whether characters can be ignored before the
* first word, too.
* 'ignoreright' controls whether characters can be ignored after the
* last word, too.
*
* Empty separators may have strange effects. Do not use them.
*
* 'ignoreleft = false' implies that at least one word will be found.
* For example:
* split_string " " false true [ "," ] " " = [ "" ]
* 'ignoreright = false' does not have this effect:
* split_string " " true false [ "," ] " " = [ ]
*
* Note that it is possible to ignore characters that are the beginning
* of separators. E.g.
* split_string " " true true [ " " ] " ab c d " = [ "ab"; "c"; "d" ]
*
* If many strings are splitted with the same rules, the following is
* the recommended way:
* let split_rule = split_string ign il ir seps in
* ...call many times split_rule s for different values of s...
* It is much more efficient than calling split_string directly.
*
* [Note thread-safety: such a 'split_rule' is allowed to be shared by
* several threads.]
*
* EXAMPLES:
*
* - split_string " " true true [ "," ] "a, b, c ,d "
* = [ "a"; "b"; "c"; "d" ]
* - split_string "" true true [ "," ] "a, b, c ,d "
* = [ "a"; " b"; " c "; "d " ]
* - split_string " " false false [ "," ] "a, b, c ,d "
* = [ "a"; "b"; "c"; "d " ]
*)
(* ======================================================================
* History:
*
* $Log: xstr_split.mli,v $
* Revision 1.2 1999/07/04 20:02:20 gerd
* Improved the comments.
*
* Revision 1.1 1999/06/27 23:03:38 gerd
* Initial revision.
*
*
*)
|