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
.
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:
Some x
if x
is not null;
None
if x
is null.