module JavaArray: sig .. end
Support for unspecialized arrays.
type ('_, '_, '_) t
The type of unspecialized arrays, that are wrappers around
specialized ones. The type parameters indicate:
- the type of array elements;
- the type of array indexes;
- the type of the array that is wrapped.
val wrap_boolean_array : bool java_boolean_array -> (bool, int32, bool java_boolean_array) t
val wrap_byte_array : int java_byte_array -> (int, int32, int java_byte_array) t
val wrap_char_array : int java_char_array -> (int, int32, int java_char_array) t
val wrap_double_array : float java_double_array ->
(float, int32, float java_double_array) t
val wrap_float_array : float java_float_array -> (float, int32, float java_float_array) t
val wrap_int_array : int32 java_int_array -> (int32, int32, int32 java_int_array) t
val wrap_long_array : int64 java_long_array -> (int64, int32, int64 java_long_array) t
val wrap_short_array : int java_short_array -> (int, int32, int java_short_array) t
val wrap_reference_array : 'a java_reference_array -> ('a, int32, 'a java_reference_array) t
val wrap_boolean_array2 : bool java_boolean_array java_reference_array ->
(bool, int32 * int32, bool java_boolean_array java_reference_array)
t
val wrap_byte_array2 : int java_byte_array java_reference_array ->
(int, int32 * int32, int java_byte_array java_reference_array) t
val wrap_char_array2 : int java_char_array java_reference_array ->
(int, int32 * int32, int java_char_array java_reference_array) t
val wrap_double_array2 : float java_double_array java_reference_array ->
(float, int32 * int32, float java_double_array java_reference_array)
t
val wrap_float_array2 : float java_float_array java_reference_array ->
(float, int32 * int32, float java_float_array java_reference_array)
t
val wrap_int_array2 : int32 java_int_array java_reference_array ->
(int32, int32 * int32, int32 java_int_array java_reference_array) t
val wrap_long_array2 : int64 java_long_array java_reference_array ->
(int64, int32 * int32, int64 java_long_array java_reference_array)
t
val wrap_short_array2 : int java_short_array java_reference_array ->
(int, int32 * int32, int java_short_array java_reference_array) t
val wrap_reference_array2 : 'a java_reference_array java_reference_array ->
('a, int32 * int32, 'a java_reference_array java_reference_array) t
val length : ('a, 'b, 'c) t -> int32
length a
returns the length of a
.
Raises Java_exception
if a
is null.
val length_sub : ('a, int32 * int32, 'b) t -> int32 -> int32
length_sub a i
returns the length of the sub array at index i
of
a
.
Raises Java_exception
if a
is null, or if i
is out of bounds.
val get : ('e, 'i, 'a) t -> 'i -> '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, 'i, 'a) t -> 'i -> '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 iter : ('a -> unit) -> ('a, 'b, 'c) t -> unit
iter f a
applies f
to the elements of a
.
Raises Java_exception
if a
is null.
val iteri : ('i -> 'a -> unit) -> ('a, 'i, 'b) t -> unit
iter f a
applies f
to the elements of a
.
Raises Java_exception
if a
is null.
val is_null : ('a, 'b, 'c) t -> bool
is_null a
returns true
iff a
is equal to null.
val is_not_null : ('a, 'b, 'c) t -> bool
is_not_null a
returns false
iff a
is equal to null.
val wrap : ('e, 'i, 'r) t -> ('e, 'i, 'r) t option
wrap x
wraps the array
x
into an option type:
Some x
if x
is not null;
None
if x
is null.
val wrapped : ('a, 'b, 'r) t -> 'r
wrapped a
returns the wrapped array.