pcre 7.1.2 · OCaml Package

type error =

| Partial
| BadPartial
| BadPattern of string * int
| BadUTF8
| BadUTF8Offset
| MatchLimit
| RecursionLimit
| InternalError of string

exception Error of error

exception Backtrack

exception Regexp_or of string * error

type icflag

and irflag

and cflag = [

| `ANCHORED
| `AUTO_CALLOUT
| `CASELESS
| `DOLLAR_ENDONLY
| `DOTALL
| `EXTENDED
| `EXTRA
| `FIRSTLINE
| `MULTILINE
| `NO_AUTO_CAPTURE
| `NO_UTF8_CHECK
| `UNGREEDY
| `UTF8

]

val cflags : cflag list -> icflag

val cflag_list : icflag -> cflag list

type rflag = [

| `ANCHORED
| `NOTBOL
| `NOTEMPTY
| `NOTEOL
| `PARTIAL

]

val rflags : rflag list -> irflag

val rflag_list : irflag -> rflag list

val version : string

val config_utf8 : bool

val config_newline : char

val config_link_size : int

val config_match_limit : int

val config_match_limit_recursion : int

val config_stackrecurse : bool

type firstbyte_info = [

| `ANCHORED
| `Char of char
| `Start_only

]

type study_stat = [

| `Not_studied
| `Optimal
| `Studied

]

type regexp

val options : regexp -> icflag

val size : regexp -> int

val studysize : regexp -> int

val capturecount : regexp -> int

val backrefmax : regexp -> int

val namecount : regexp -> int

val names : regexp -> string array

val nameentrysize : regexp -> int

val firstbyte : regexp -> firstbyte_info

val firsttable : regexp -> string option

val lastliteral : regexp -> char option

val study_stat : regexp -> study_stat

val get_stringnumber : regexp -> string -> int

val get_match_limit : regexp -> int option

val get_match_limit_recursion : regexp -> int option

type chtables

val maketables : unit -> chtables

val regexp : 
  ?study:bool ->
  ?limit:int ->
  ?limit_recursion:int ->
  ?iflags:icflag ->
  ?flags:cflag list ->
  ?chtables:chtables ->
  string ->
  regexp

val regexp_or : 
  ?study:bool ->
  ?limit:int ->
  ?limit_recursion:int ->
  ?iflags:icflag ->
  ?flags:cflag list ->
  ?chtables:chtables ->
  string list ->
  regexp

val quote : string -> string

type substrings

val get_subject : substrings -> string

val num_of_subs : substrings -> int

val get_substring : substrings -> int -> string

val get_substring_ofs : substrings -> int -> int * int

val get_substrings : ?full_match:bool -> substrings -> string array

val get_opt_substrings : ?full_match:bool -> substrings -> string option array

val get_named_substring : regexp -> string -> substrings -> string

val get_named_substring_ofs : regexp -> string -> substrings -> int * int

type callout_data = {

callout_number : int;
substrings : substrings;
start_match : int;
current_position : int;
capture_top : int;
capture_last : int;
pattern_position : int;
next_item_length : int;

}

type callout = callout_data -> unit

val pcre_exec : 
  ?iflags:irflag ->
  ?flags:rflag list ->
  ?rex:regexp ->
  ?pat:string ->
  ?pos:int ->
  ?callout:callout ->
  string ->
  int array

val exec : 
  ?iflags:irflag ->
  ?flags:rflag list ->
  ?rex:regexp ->
  ?pat:string ->
  ?pos:int ->
  ?callout:callout ->
  string ->
  substrings

val exec_all : 
  ?iflags:irflag ->
  ?flags:rflag list ->
  ?rex:regexp ->
  ?pat:string ->
  ?pos:int ->
  ?callout:callout ->
  string ->
  substrings array

val next_match : 
  ?iflags:irflag ->
  ?flags:rflag list ->
  ?rex:regexp ->
  ?pat:string ->
  ?pos:int ->
  ?callout:callout ->
  substrings ->
  substrings

val extract : 
  ?iflags:irflag ->
  ?flags:rflag list ->
  ?rex:regexp ->
  ?pat:string ->
  ?pos:int ->
  ?full_match:bool ->
  ?callout:callout ->
  string ->
  string array

val extract_opt : 
  ?iflags:irflag ->
  ?flags:rflag list ->
  ?rex:regexp ->
  ?pat:string ->
  ?pos:int ->
  ?full_match:bool ->
  ?callout:callout ->
  string ->
  string option array

val extract_all : 
  ?iflags:irflag ->
  ?flags:rflag list ->
  ?rex:regexp ->
  ?pat:string ->
  ?pos:int ->
  ?full_match:bool ->
  ?callout:callout ->
  string ->
  string array array

val extract_all_opt : 
  ?iflags:irflag ->
  ?flags:rflag list ->
  ?rex:regexp ->
  ?pat:string ->
  ?pos:int ->
  ?full_match:bool ->
  ?callout:callout ->
  string ->
  string option array array

val pmatch : 
  ?iflags:irflag ->
  ?flags:rflag list ->
  ?rex:regexp ->
  ?pat:string ->
  ?pos:int ->
  ?callout:callout ->
  string ->
  bool

type substitution

val subst : string -> substitution

val replace : 
  ?iflags:irflag ->
  ?flags:rflag list ->
  ?rex:regexp ->
  ?pat:string ->
  ?pos:int ->
  ?itempl:substitution ->
  ?templ:string ->
  ?callout:callout ->
  string ->
  string

val qreplace : 
  ?iflags:irflag ->
  ?flags:rflag list ->
  ?rex:regexp ->
  ?pat:string ->
  ?pos:int ->
  ?templ:string ->
  ?callout:callout ->
  string ->
  string

val substitute_substrings : 
  ?iflags:irflag ->
  ?flags:rflag list ->
  ?rex:regexp ->
  ?pat:string ->
  ?pos:int ->
  ?callout:callout ->
  subst:(substrings -> string) ->
  string ->
  string

val substitute : 
  ?iflags:irflag ->
  ?flags:rflag list ->
  ?rex:regexp ->
  ?pat:string ->
  ?pos:int ->
  ?callout:callout ->
  subst:(string -> string) ->
  string ->
  string

val replace_first : 
  ?iflags:irflag ->
  ?flags:rflag list ->
  ?rex:regexp ->
  ?pat:string ->
  ?pos:int ->
  ?itempl:substitution ->
  ?templ:string ->
  ?callout:callout ->
  string ->
  string

val qreplace_first : 
  ?iflags:irflag ->
  ?flags:rflag list ->
  ?rex:regexp ->
  ?pat:string ->
  ?pos:int ->
  ?templ:string ->
  ?callout:callout ->
  string ->
  string

val substitute_substrings_first : 
  ?iflags:irflag ->
  ?flags:rflag list ->
  ?rex:regexp ->
  ?pat:string ->
  ?pos:int ->
  ?callout:callout ->
  subst:(substrings -> string) ->
  string ->
  string

val substitute_first : 
  ?iflags:irflag ->
  ?flags:rflag list ->
  ?rex:regexp ->
  ?pat:string ->
  ?pos:int ->
  ?callout:callout ->
  subst:(string -> string) ->
  string ->
  string

val split : 
  ?iflags:irflag ->
  ?flags:rflag list ->
  ?rex:regexp ->
  ?pat:string ->
  ?pos:int ->
  ?max:int ->
  ?callout:callout ->
  string ->
  string list

val asplit : 
  ?iflags:irflag ->
  ?flags:rflag list ->
  ?rex:regexp ->
  ?pat:string ->
  ?pos:int ->
  ?max:int ->
  ?callout:callout ->
  string ->
  string array

type split_result =

| Text of string
| Delim of string
| Group of int * string
| NoGroup

val full_split : 
  ?iflags:irflag ->
  ?flags:rflag list ->
  ?rex:regexp ->
  ?pat:string ->
  ?pos:int ->
  ?max:int ->
  ?callout:callout ->
  string ->
  split_result list

val foreach_line : ?ic:Pervasives.in_channel -> (string -> unit) -> unit

val foreach_file : 
  string list ->
  (string -> Pervasives.in_channel -> unit) ->
  unit

val unsafe_pcre_exec : 
  irflag ->
  regexp ->
  pos:int ->
  subj_start:int ->
  subj:string ->
  subgroups2:int ->
  int array ->
  callout option ->
  unit

val make_ovector : regexp -> int * int array

package pcre