module JavaReferenceArray:sig
..end
type'a
t ='a java_reference_array
val length : 'a java_reference_array -> int32
length a
returns the length of a
.
Raises Java_exception
if a
is null.
val get : 'a java_reference_array -> int32 -> 'a
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 : 'a java_reference_array -> int32 -> 'a -> 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 : 'a java_reference_array -> java'lang'Object java_instance
to_object a
casts a
to a bare object.val of_object : java'lang'Object java_instance -> 'a java_reference_array
of_object o
casts object o
to array.
Raises Java_exception
if cast fails.
val null : 'a java_reference_array
val is_null : 'a java_reference_array -> bool
is_null x
returns true
iff x
is equal to null.val is_not_null : 'a java_reference_array -> bool
is_not_null x
returns false
iff x
is equal to null.