module JavaCharArray:sig
..end
typee =
int
type'a
t ='a java_char_array
val make : int32 -> e java_char_array
make len
creates and returns an array of len
elements.
All elements are set to zero.
Raises Java_exception
if len
is negative.
val length : e java_char_array -> int32
length a
returns the length of a
.
Raises Java_exception
if a
is null.
val get : e java_char_array -> int32 -> e
get a i
returns the element at index i
in a
.
Raises Java_exception
if a
is null, or i
is out of bounds.
val set : e java_char_array -> int32 -> e -> unit
set a i x
changes the element at index i
in a
to x
.
Raises Java_exception
if a
is null, or i
is out of bounds.
val to_object : e java_char_array -> java'lang'Object java_instance
to_object a
casts a
to a bare object.val of_object : java'lang'Object java_instance -> e java_char_array
of_object o
casts object o
to array.
Raises Java_exception
if cast fails.
val null : e java_char_array
val is_null : e java_char_array -> bool
is_null x
returns true
iff x
is equal to null.val is_not_null : e java_char_array -> bool
is_not_null x
returns false
iff x
is equal to null.