diff options
| author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2001-10-29 17:58:08 +0000 |
|---|---|---|
| committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2001-10-29 17:58:08 +0000 |
| commit | b31320d10b975ecdc0ef52bd754daa999391d27d (patch) | |
| tree | d47c04cc69bba50c841df0b97485b9b87c92ab3d /stdlib/stringLabels.mli | |
| parent | 83227879651e70e87fc132f4ee84fd60774c107c (diff) | |
| download | ocaml-b31320d10b975ecdc0ef52bd754daa999391d27d.tar.gz | |
Modification emplacement et syntaxe commentaires pour OCamldoc.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3938 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/stringLabels.mli')
| -rw-r--r-- | stdlib/stringLabels.mli | 176 |
1 files changed, 96 insertions, 80 deletions
diff --git a/stdlib/stringLabels.mli b/stdlib/stringLabels.mli index 15555e836b..27eb1261bb 100644 --- a/stdlib/stringLabels.mli +++ b/stdlib/stringLabels.mli @@ -12,119 +12,135 @@ (* $Id$ *) -(* Module [String]: string operations *) +(** String operations. *) +(** Return the length (number of characters) of the given string. *) external length : string -> int = "%string_length" - (* Return the length (number of characters) of the given string. *) +(** [String.get s n] returns character number [n] in string [s]. + The first character is character number 0. + The last character is character number [String.length s - 1]. + Raise [Invalid_argument] if [n] is outside the range + 0 to [(String.length s - 1)]. + You can also write [s.[n]] instead of [String.get s n]. *) external get : string -> int -> char = "%string_safe_get" - (* [String.get s n] returns character number [n] in string [s]. - The first character is character number 0. - The last character is character number [String.length s - 1]. - Raise [Invalid_argument] if [n] is outside the range - 0 to [(String.length s - 1)]. - You can also write [s.[n]] instead of [String.get s n]. *) + +(** [String.set s n c] modifies string [s] in place, + replacing the character number [n] by [c]. + Raise [Invalid_argument] if [n] is outside the range + 0 to [(String.length s - 1)]. + You can also write [s.[n] <- c] instead of [String.set s n c]. *) external set : string -> int -> char -> unit = "%string_safe_set" - (* [String.set s n c] modifies string [s] in place, - replacing the character number [n] by [c]. - Raise [Invalid_argument] if [n] is outside the range - 0 to [(String.length s - 1)]. - You can also write [s.[n] <- c] instead of [String.set s n c]. *) +(** [String.create n] returns a fresh string of length [n]. + The string initially contains arbitrary characters. + Raise [Invalid_argument] if [n < 0] or [n > Sys.max_string_length]. +*) external create : int -> string = "create_string" - (* [String.create n] returns a fresh string of length [n]. - The string initially contains arbitrary characters. - Raise [Invalid_argument] if [n <= 0] or [n > Sys.max_string_length]. - *) + +(** [String.make n c] returns a fresh string of length [n], + filled with the character [c]. + Raise [Invalid_argument] if [n < 0] or [n > ]{!Sys.max_string_length}.*) val make : int -> char -> string - (* [String.make n c] returns a fresh string of length [n], - filled with the character [c]. - Raise [Invalid_argument] if [n <= 0] or [n > Sys.max_string_length]. - *) + +(** Return a copy of the given string. *) val copy : string -> string - (* Return a copy of the given string. *) + +(** [String.sub s start len] returns a fresh string of length [len], + containing the characters number [start] to [start + len - 1] + of string [s]. + Raise [Invalid_argument] if [start] and [len] do not + designate a valid substring of [s]; that is, if [start < 0], + or [len < 0], or [start + len > ]{!StringLabels.length}[ s]. *) val sub : string -> pos:int -> len:int -> string - (* [String.sub s start len] returns a fresh string of length [len], - containing the characters number [start] to [start + len - 1] - of string [s]. - Raise [Invalid_argument] if [start] and [len] do not - designate a valid substring of [s]; that is, if [start < 0], - or [len < 0], or [start + len > String.length s]. *) + +(** [String.fill s start len c] modifies string [s] in place, + replacing the characters number [start] to [start + len - 1] + by [c]. + Raise [Invalid_argument] if [start] and [len] do not + designate a valid substring of [s]. *) val fill : string -> pos:int -> len:int -> char -> unit - (* [String.fill s start len c] modifies string [s] in place, - replacing the characters number [start] to [start + len - 1] - by [c]. - Raise [Invalid_argument] if [start] and [len] do not - designate a valid substring of [s]. *) + +(** [String.blit src srcoff dst dstoff len] copies [len] characters + from string [src], starting at character number [srcoff], to + string [dst], starting at character number [dstoff]. It works + correctly even if [src] and [dst] are the same string, + and the source and destination chunks overlap. + Raise [Invalid_argument] if [srcoff] and [len] do not + designate a valid substring of [src], or if [dstoff] and [len] + do not designate a valid substring of [dst]. *) val blit : src:string -> src_pos:int -> dst:string -> dst_pos:int -> len:int -> unit - (* [String.blit src srcoff dst dstoff len] copies [len] characters - from string [src], starting at character number [srcoff], to - string [dst], starting at character number [dstoff]. It works - correctly even if [src] and [dst] are the same string, - and the source and destination chunks overlap. - Raise [Invalid_argument] if [srcoff] and [len] do not - designate a valid substring of [src], or if [dstoff] and [len] - do not designate a valid substring of [dst]. *) +(** [String.concat sep sl] catenates the list of strings [sl], + inserting the separator string [sep] between each. *) val concat : sep:string -> string list -> string - (* [String.concat sep sl] catenates the list of strings [sl], - inserting the separator string [sep] between each. *) +(** [String.iter f s] applies function [f] in turn to all + the characters of [s]. It is equivalent to + [f s.(0); f s.(1); ...; f s.(String.length s - 1); ()]. *) val iter : f:(char -> unit) -> string -> unit - (* [String.iter f s] applies function [f] in turn to all - the characters of [s]. It is equivalent to - [f s.(0); f s.(1); ...; f s.(String.length s - 1); ()]. *) +(** Return a copy of the argument, with special characters + represented by escape sequences, following the lexical + conventions of Objective Caml. If there is no special + character in the argument, return the original string itself, + not a copy. *) val escaped: string -> string - (* Return a copy of the argument, with special characters represented - by escape sequences, following the lexical conventions of - Objective Caml. *) +(** [String.index s c] returns the position of the leftmost + occurrence of character [c] in string [s]. + Raise [Not_found] if [c] does not occur in [s]. *) val index: string -> char -> int - (* [String.index s c] returns the position of the leftmost - occurrence of character [c] in string [s]. - Raise [Not_found] if [c] does not occur in [s]. *) + +(** [String.rindex s c] returns the position of the rightmost + occurrence of character [c] in string [s]. + Raise [Not_found] if [c] does not occur in [s]. *) val rindex: string -> char -> int - (* [String.rindex s c] returns the position of the rightmost - occurrence of character [c] in string [s]. - Raise [Not_found] if [c] does not occur in [s]. *) + +(** Same as {!StringLabels.index}, but start + searching at the character position given as second argument. + [String.index s c] is equivalent to [String.index_from s 0 c].*) val index_from: string -> int -> char -> int + +(** Same as {!StringLabels.rindex}, but start + searching at the character position given as second argument. + [String.rindex s c] is equivalent to + [String.rindex_from s (String.length s - 1) c]. *) val rindex_from: string -> int -> char -> int - (* Same as [String.index] and [String.rindex], but start - searching at the character position given as second argument. - [String.index s c] is equivalent to [String.index_from s 0 c], - and [String.rindex s c] to - [String.rindex_from s (String.length s - 1) c]. *) +(** [String.contains s c] tests if character [c] + appears in the string [s]. *) val contains : string -> char -> bool - (* [String.contains s c] tests if character [c] - appears in the string [s]. *) + +(** [String.contains_from s start c] tests if character [c] + appears in the substring of [s] starting from [start] to the end + of [s]. + Raise [Invalid_argument] if [start] is not a valid index of [s]. *) val contains_from : string -> int -> char -> bool - (* [String.contains_from s start c] tests if character [c] - appears in the substring of [s] starting from [start] to the end - of [s]. - Raise [Invalid_argument] if [start] is not a valid index of [s]. *) + +(** [String.rcontains_from s stop c] tests if character [c] + appears in the substring of [s] starting from the beginning + of [s] to index [stop]. + Raise [Invalid_argument] if [stop] is not a valid index of [s]. *) val rcontains_from : string -> int -> char -> bool - (* [String.rcontains_from s stop c] tests if character [c] - appears in the substring of [s] starting from the beginning - of [s] to index [stop]. - Raise [Invalid_argument] if [stop] is not a valid index of [s]. *) +(** Return a copy of the argument, with all lowercase letters + translated to uppercase, including accented letters of the ISO + Latin-1 (8859-1) character set. *) val uppercase: string -> string - (* Return a copy of the argument, with all lowercase letters - translated to uppercase, including accented letters of the ISO - Latin-1 (8859-1) character set. *) + +(** Return a copy of the argument, with all uppercase letters + translated to lowercase, including accented letters of the ISO + Latin-1 (8859-1) character set. *) val lowercase: string -> string - (* Return a copy of the argument, with all uppercase letters - translated to lowercase, including accented letters of the ISO - Latin-1 (8859-1) character set. *) + +(** Return a copy of the argument, with the first letter set to uppercase. *) val capitalize: string -> string - (* Return a copy of the argument, with the first letter - set to uppercase. *) + +(** Return a copy of the argument, with the first letter set to lowercase. *) val uncapitalize: string -> string - (* Return a copy of the argument, with the first letter - set to lowercase. *) + (*--*) |
