Module JavaString

module JavaString: sig .. end
Utility functions for Java strings.


String operations

val length : java'lang'String java_instance -> int
Similar to String.length.
val get : java'lang'String java_instance -> int -> int
Similar to String.get.
val make : int -> int -> java'lang'String java_instance
Similar to String.make.
val copy : java'lang'String java_instance -> java'lang'String java_instance
Equivalent to the identity function.
val sub : java'lang'String java_instance ->
int -> int -> java'lang'String java_instance
Similar to String.sub.
val concat : java'lang'String java_instance ->
java'lang'String java_instance list -> java'lang'String java_instance
Similar to String.concat.
val iter : (int -> unit) -> java'lang'String java_instance -> unit
Similar to String.iter.
val iteri : (int -> int -> unit) -> java'lang'String java_instance -> unit
Similar to String.iteri.
val map : (int -> int) ->
java'lang'String java_instance -> java'lang'String java_instance
Similar to String.map.
val trim : java'lang'String java_instance -> java'lang'String java_instance
Similar to String.trim.
val escaped : java'lang'String java_instance -> java'lang'String java_instance
Similar to String.escaped.
val index : java'lang'String java_instance -> int -> int
Similar to String.index.
val rindex : java'lang'String java_instance -> int -> int
Similar to String.rindex.
val index_from : java'lang'String java_instance -> int -> int -> int
Similar to String.index_from.
val rindex_from : java'lang'String java_instance -> int -> int -> int
Similar to String.rindex_from.
val contains : java'lang'String java_instance -> int -> bool
Similar to String.contains.
val contains_from : java'lang'String java_instance -> int -> int -> bool
Similar to String.contains_from.
val rcontains_from : java'lang'String java_instance -> int -> int -> bool
Similar to String.rcontains_from.
val uppercase : java'lang'String java_instance -> java'lang'String java_instance
Similar to String.uppercase.
val lowercase : java'lang'String java_instance -> java'lang'String java_instance
Similar to String.lowercase.
val capitalize : java'lang'String java_instance -> java'lang'String java_instance
Similar to String.capitalize.
val uncapitalize : java'lang'String java_instance -> java'lang'String java_instance
Similar to String.uncapitalize.
type t = java'lang'String java_instance 
Similar to String.t.
val compare : t -> t -> int
Similar to String.compare.
val compare_ignore_case : t -> t -> int
Similar to String.compare, but ignoring case when comparing strings.

Conversion from/to OCaml strings

val of_string : string -> java'lang'String java_instance
of_string s converts the OCaml string s into a Java string.
val to_string : java'lang'String java_instance -> string
to_string s converts the Java string s into an OCaml string.

Raises Java_exeption if s is null.


Null value

val null : java'lang'String java_instance
The null value.
val is_null : java'lang'String java_instance -> bool
is_null x returns true iff x is equal to null.
val is_not_null : java'lang'String java_instance -> bool
is_not_null x returns false iff x is equal to null.

Output functions

val print_string : java'lang'String java_instance -> unit
print_string s prints s onto the standard ouput.
val print_endline : java'lang'String java_instance -> unit
print_endline s prints s followed by a newline character onto the standard ouput.
val prerr_string : java'lang'String java_instance -> unit
prerr_string s prints s onto the error ouput.
val prerr_endline : java'lang'String java_instance -> unit
prerr_endline s prints s followed by a newline character onto the error ouput.
val output_string : Pervasives.out_channel -> java'lang'String java_instance -> unit
output_string ch s prints s onto channel ch.

Input functions

val read_line : unit -> java'lang'String java_instance
read_line () reads a line from the standard input. Returns null when end of input is reached.
val input_line : Pervasives.in_channel -> java'lang'String java_instance
input_line ch reads a line from channel ch. Returns null when end of input is reached.

Miscellaneous

val wrap : java'lang'String java_instance -> java'lang'String java_instance option
wrap x wraps the reference x into an option type: