sig
type glob_expr = Netglob.glob_expr_atom list
and glob_expr_atom =
[ `Brace of Netglob.glob_expr list
| `Bracket of bool * Netglob.glob_set
| `Literal of string
| `Qmark
| `Star
| `Tilde of string ]
and glob_set = < set : (int * int) list >
type valid_glob_expr
class type user_info =
object
method home_directory : string -> string
method path_encoding : Netconversion.encoding option
end
class type glob_fsys =
object
method file_exists : string -> bool
method file_is_dir : string -> bool
method path_encoding : Netconversion.encoding option
method read_dir : string -> string list
end
type glob_mode = [ `All_paths | `All_words | `Existing_paths ]
type pattern = [ `Expr of Netglob.valid_glob_expr | `String of string ]
exception Bad_glob_expr of string
exception Unsupported_expr of string
val parse_glob_expr :
?encoding:Netconversion.encoding ->
?enable_star:bool ->
?enable_qmark:bool ->
?enable_brackets:bool ->
?enable_braces:bool ->
?enable_tilde:bool ->
?enable_escape:bool -> string -> Netglob.valid_glob_expr
val validate_glob_expr :
Netconversion.encoding -> Netglob.glob_expr -> Netglob.valid_glob_expr
val recover_glob_expr : Netglob.valid_glob_expr -> Netglob.glob_expr
val encoding_of_glob_expr :
Netglob.valid_glob_expr -> Netconversion.encoding
val literal_glob_expr :
Netconversion.encoding -> string -> Netglob.valid_glob_expr
val print_glob_expr :
?escape_in_literals:bool -> Netglob.valid_glob_expr -> string
val expand_glob_expr :
?user_info:Netglob.user_info ->
?expand_brace:bool ->
?expand_tilde:bool ->
Netglob.valid_glob_expr -> Netglob.valid_glob_expr list
val match_glob_expr :
?protect_period:bool ->
?protect_slash:bool ->
?encoding:Netconversion.encoding ->
Netglob.valid_glob_expr -> string -> bool
val split_glob_expr :
Netglob.valid_glob_expr -> Netglob.valid_glob_expr list
val check_rooted_glob_expr :
Netglob.valid_glob_expr -> Netglob.valid_glob_expr option
val check_directory_glob_expr :
Netglob.valid_glob_expr -> Netglob.valid_glob_expr option
val glob :
?encoding:Netconversion.encoding ->
?base_dir:string ->
?protect_period:bool ->
?fsys:Netglob.glob_fsys ->
?user_info:Netglob.user_info ->
?mode:Netglob.glob_mode -> Netglob.pattern -> string list
class local_user_info : unit -> user_info
val local_user_info : unit -> Netglob.user_info
class local_fsys : ?encoding:Netconversion.encoding -> unit -> glob_fsys
val local_fsys :
?encoding:Netconversion.encoding -> unit -> Netglob.glob_fsys
class of_stream_fs : Netfs.stream_fs -> glob_fsys
val of_stream_fs : Netfs.stream_fs -> Netglob.glob_fsys
end
