A | |
| applet_info [JavaApplet.Graphics] |
The value to be returned by the getAppletInfo() method.
|
| applet_info [JavaApplet.Swing] |
The value to be returned by the getAppletInfo() method.
|
| applet_info [JavaApplet.AWT] |
The value to be returned by the getAppletInfo() method.
|
C | |
| call [Java] | call "methoddesc" p0 ... pn calls and returns the result of method
methoddesc called with parameters pi, where p0 is the instance
to call method upon if the method is not static.
|
| capitalize [JavaString] |
Similar to
String.capitalize.
|
| cast [Java] | cast "classname" x casts x to an instance of classname, where
classname can designate an array type.
|
| compare [JavaString] |
Similar to
String.compare.
|
| compare_ignore_case [JavaString] |
Similar to
String.compare, but ignoring case when comparing
strings.
|
| concat [JavaString] |
Similar to
String.concat.
|
| contains [JavaString] |
Similar to
String.contains.
|
| contains_from [JavaString] |
Similar to
String.contains_from.
|
| copy [JavaString] |
Equivalent to the identity function.
|
D | |
| destroy [JavaApplet.Graphics] |
The implementation of the destroy() method.
|
| destroy [JavaApplet.Swing] |
The implementation of the destroy() method.
|
| destroy [JavaApplet.AWT] |
The implementation of the destroy() method.
|
E | |
| equal [Java] | equal x y returns true if x and y designate the very same
reference.
|
| escaped [JavaString] |
Similar to
String.escaped.
|
G | |
| get [JavaString] |
Similar to
String.get.
|
| get [JavaShortArray] | get a i returns the element at index i in a.
|
| get [JavaReferenceArray] | get a i returns the element at index i in a.
|
| get [JavaLongArray] | get a i returns the element at index i in a.
|
| get [JavaIntArray] | get a i returns the element at index i in a.
|
| get [JavaFloatArray] | get a i returns the element at index i in a.
|
| get [JavaDoubleArray] | get a i returns the element at index i in a.
|
| get [JavaCharArray] | get a i returns the element at index i in a.
|
| get [JavaByteArray] | get a i returns the element at index i in a.
|
| get [JavaBooleanArray] | get a i returns the element at index i in a.
|
| get [JavaArraySignature.T] | |
| get [JavaArray] | get a i returns the element at index i in a.
|
| get [Java] | get "fielddesc" obj retrieves the value of field fielddesc for
instance obj.
|
I | |
| in_channel_of_input_stream [JavaStreams] | in_channel_of_input_stream is converts the input stream is into a
new input channel.
|
| index [JavaString] |
Similar to
String.index.
|
| index_from [JavaString] |
Similar to
String.index_from.
|
| init [JavaApplet.Graphics] |
The implementation of the init() method.
|
| init [JavaApplet.Swing] |
The implementation of the init() method.
|
| init [JavaApplet.AWT] |
The implementation of the init() method.
|
| input_line [JavaString] | input_line ch reads a line from channel ch.
|
| input_stream_of_in_channel [JavaStreams] | input_stream_of_in_channel ic converts the input channel ic into
a new input stream.
|
| instanceof [Java] | instanceof "classname" x returns true if x is an instance of
classname or one of its subclasses, where classname can designate
an array type.
|
| is_not_null [JavaString] | is_not_null x returns false iff x is equal to null.
|
| is_not_null [JavaShortArray] | is_not_null x returns false iff x is equal to null.
|
| is_not_null [JavaReferenceArray] | is_not_null x returns false iff x is equal to null.
|
| is_not_null [JavaLongArray] | is_not_null x returns false iff x is equal to null.
|
| is_not_null [JavaIntArray] | is_not_null x returns false iff x is equal to null.
|
| is_not_null [JavaFloatArray] | is_not_null x returns false iff x is equal to null.
|
| is_not_null [JavaDoubleArray] | is_not_null x returns false iff x is equal to null.
|
| is_not_null [JavaCharArray] | is_not_null x returns false iff x is equal to null.
|
| is_not_null [JavaByteArray] | is_not_null x returns false iff x is equal to null.
|
| is_not_null [JavaBooleanArray] | is_not_null x returns false iff x is equal to null.
|
| is_not_null [JavaArraySignature.T] | |
| is_not_null [JavaArray] | is_not_null a returns false iff a is equal to null.
|
| is_not_null [Java] | is_not_null x returns false iff x is equal to null.
|
| is_null [JavaString] | is_null x returns true iff x is equal to null.
|
| is_null [JavaShortArray] | is_null x returns true iff x is equal to null.
|
| is_null [JavaReferenceArray] | is_null x returns true iff x is equal to null.
|
| is_null [JavaLongArray] | is_null x returns true iff x is equal to null.
|
| is_null [JavaIntArray] | is_null x returns true iff x is equal to null.
|
| is_null [JavaFloatArray] | is_null x returns true iff x is equal to null.
|
| is_null [JavaDoubleArray] | is_null x returns true iff x is equal to null.
|
| is_null [JavaCharArray] | is_null x returns true iff x is equal to null.
|
| is_null [JavaByteArray] | is_null x returns true iff x is equal to null.
|
| is_null [JavaBooleanArray] | is_null x returns true iff x is equal to null.
|
| is_null [JavaArraySignature.T] | |
| is_null [JavaArray] | is_null a returns true iff a is equal to null.
|
| is_null [Java] | is_null x returns true iff x is equal to null.
|
| iter [JavaString] |
Similar to
String.iter.
|
| iteri [JavaString] |
Similar to
String.iteri.
|
L | |
| length [JavaString] |
Similar to
String.length.
|
| length [JavaShortArray] | length a returns the length of a.
|
| length [JavaReferenceArray] | length a returns the length of a.
|
| length [JavaLongArray] | length a returns the length of a.
|
| length [JavaIntArray] | length a returns the length of a.
|
| length [JavaFloatArray] | length a returns the length of a.
|
| length [JavaDoubleArray] | length a returns the length of a.
|
| length [JavaCharArray] | length a returns the length of a.
|
| length [JavaByteArray] | length a returns the length of a.
|
| length [JavaBooleanArray] | length a returns the length of a.
|
| length [JavaArraySignature.T] | |
| length [JavaArray] | length a returns the length of a.
|
| length_sub [JavaArray] | length_sub a i returns the length of the sub array at index i of
a.
|
| lowercase [JavaString] |
Similar to
String.lowercase.
|
M | |
| make [JavaString] |
Similar to
String.make.
|
| make [JavaShortArray] | make len creates and returns an array of len elements.
|
| make [JavaLongArray] | make len creates and returns an array of len elements.
|
| make [JavaIntArray] | make len creates and returns an array of len elements.
|
| make [JavaFloatArray] | make len creates and returns an array of len elements.
|
| make [JavaDoubleArray] | make len creates and returns an array of len elements.
|
| make [JavaCharArray] | make len creates and returns an array of len elements.
|
| make [JavaByteArray] | make len creates and returns an array of len elements.
|
| make [JavaBooleanArray] | make len creates and returns an array of len elements.
|
| make [Java] | make "constructordesc" p0 ... pn calls constructor
constructordesc with parameters pi and returns the created
instance.
|
| make_array [Java] | make_array "arraydesc" dim1 ... dimn builds and returns an array
with n dimensions.
|
| make_array_dims [Java] | make_array_dims "arraydesc" dim1 ... dimn is similar to
make_array, except that the array descriptor is made of two kinds
of dimension specifiers: [_] that indicates that the dimension will be allocated;, [] that indicates that the dimension will not be allocated.
For example, the following code creates a two-dimensional array, but
only the first dimension of the array is allocated and initialized:
|
| map [JavaString] |
Similar to
String.map.
|
N | |
| not_equal [Java] | not_equal x y returns false if x and y designate the very
same reference.
|
| null [JavaString] |
The null value.
|
| null [JavaShortArray] |
The null value.
|
| null [JavaReferenceArray] |
The null value.
|
| null [JavaLongArray] |
The null value.
|
| null [JavaIntArray] |
The null value.
|
| null [JavaFloatArray] |
The null value.
|
| null [JavaDoubleArray] |
The null value.
|
| null [JavaCharArray] |
The null value.
|
| null [JavaByteArray] |
The null value.
|
| null [JavaBooleanArray] |
The null value.
|
| null [JavaArraySignature.T] | |
| null [Java] |
The null value.
|
O | |
| of_object [JavaShortArray] | of_object o casts object o to array.
|
| of_object [JavaReferenceArray] | of_object o casts object o to array.
|
| of_object [JavaLongArray] | of_object o casts object o to array.
|
| of_object [JavaIntArray] | of_object o casts object o to array.
|
| of_object [JavaFloatArray] | of_object o casts object o to array.
|
| of_object [JavaDoubleArray] | of_object o casts object o to array.
|
| of_object [JavaCharArray] | of_object o casts object o to array.
|
| of_object [JavaByteArray] | of_object o casts object o to array.
|
| of_object [JavaBooleanArray] | of_object o casts object o to array.
|
| of_object [JavaArraySignature.T] | |
| of_string [JavaString] | of_string s converts the OCaml string s into a Java string.
|
| of_string [JavaByteArray] | of_string x returns the array wrapped inside the passed string.
|
| out_channel_of_output_stream [JavaStreams] | out_channel_of_output_stream os converts the output stream os
into a new output channel.
|
| output_stream_of_out_channel [JavaStreams] | output_stream_of_out_channel oc converts the output channel oc
into a new output stream.
|
| output_string [JavaString] | output_string ch s prints s onto channel ch.
|
P | |
| parameter_info [JavaApplet.Graphics] |
The value to be returned by the getParameterInfo() method.
|
| parameter_info [JavaApplet.Swing] |
The value to be returned by the getParameterInfo() method.
|
| parameter_info [JavaApplet.AWT] |
The value to be returned by the getParameterInfo() method.
|
| parameter_info_of_list [JavaApplet] |
Converts a list of parameters into a parameter info, preserving the
order of elements.
|
| prerr_endline [JavaString] | prerr_endline s prints s followed by a newline character onto the
error ouput.
|
| prerr_string [JavaString] | prerr_string s prints s onto the error ouput.
|
| print_endline [JavaString] | print_endline s prints s followed by a newline character onto the
standard ouput.
|
| print_string [JavaString] | print_string s prints s onto the standard ouput.
|
| proxy [Java] | proxy "interfacenames" impl returns an instance that implements
interfacenames (a comma-separated list of interface names) using
the methods provided by impl.
|
R | |
| rcontains_from [JavaString] |
Similar to
String.rcontains_from.
|
| read_line [JavaString] | read_line () reads a line from the standard input.
|
| rindex [JavaString] |
Similar to
String.rindex.
|
| rindex_from [JavaString] |
Similar to
String.rindex_from.
|
| run [JavaApplet.Graphics] |
Callback called for each event.
|
S | |
| set [JavaShortArray] | set a i x changes the element at index i in a to x.
|
| set [JavaReferenceArray] | set a i x changes the element at index i in a to x.
|
| set [JavaLongArray] | set a i x changes the element at index i in a to x.
|
| set [JavaIntArray] | set a i x changes the element at index i in a to x.
|
| set [JavaFloatArray] | set a i x changes the element at index i in a to x.
|
| set [JavaDoubleArray] | set a i x changes the element at index i in a to x.
|
| set [JavaCharArray] | set a i x changes the element at index i in a to x.
|
| set [JavaByteArray] | set a i x changes the element at index i in a to x.
|
| set [JavaBooleanArray] | set a i x changes the element at index i in a to x.
|
| set [JavaArraySignature.T] | |
| set [JavaArray] | set a i x changes the element at index i in a to x.
|
| set [Java] | set "fielddesc" obj x changes the value of field fielddesc for
instance obj to x.
|
| start [JavaApplet.Graphics] |
The implementation of the start() method.
|
| start [JavaApplet.Swing] |
The implementation of the start() method.
|
| start [JavaApplet.AWT] |
The implementation of the start() method.
|
| stop [JavaApplet.Graphics] |
The implementation of the stop() method.
|
| stop [JavaApplet.Swing] |
The implementation of the stop() method.
|
| stop [JavaApplet.AWT] |
The implementation of the stop() method.
|
| sub [JavaString] |
Similar to
String.sub.
|
| synchronized [Java] | synchronized obj (fun () -> ...) is equivalent to the Java code
synchronized (obj) { ...
|
T | |
| throw [Java] | throw x raises the exception instance x
(wrapped into a Java_exception on the OCaml side).
|
| to_object [JavaShortArray] | to_object a casts a to a bare object.
|
| to_object [JavaReferenceArray] | to_object a casts a to a bare object.
|
| to_object [JavaLongArray] | to_object a casts a to a bare object.
|
| to_object [JavaIntArray] | to_object a casts a to a bare object.
|
| to_object [JavaFloatArray] | to_object a casts a to a bare object.
|
| to_object [JavaDoubleArray] | to_object a casts a to a bare object.
|
| to_object [JavaCharArray] | to_object a casts a to a bare object.
|
| to_object [JavaByteArray] | to_object a casts a to a bare object.
|
| to_object [JavaBooleanArray] | to_object a casts a to a bare object.
|
| to_object [JavaArraySignature.T] | |
| to_string [JavaString] | to_string s converts the Java string s into an OCaml string.
|
| to_string [JavaByteArray] | to_string x returns the passed array as wrapped into a string.
|
| trim [JavaString] |
Similar to
String.trim.
|
U | |
| uncapitalize [JavaString] |
Similar to
String.uncapitalize.
|
| uppercase [JavaString] |
Similar to
String.uppercase.
|
W | |
| wrap [JavaString] | wrap x wraps the reference x into an option type: Some x if x is not null;, None if x is null.
|
| wrap [Java] | wrap x wraps the reference x into an option type: Some x if x is not null;, None if x is null.
|
| wrap_boolean_array [JavaArray] | |
| wrap_boolean_array2 [JavaArray] | |
| wrap_byte_array [JavaArray] | |
| wrap_byte_array2 [JavaArray] | |
| wrap_char_array [JavaArray] | |
| wrap_char_array2 [JavaArray] | |
| wrap_double_array [JavaArray] | |
| wrap_double_array2 [JavaArray] | |
| wrap_float_array [JavaArray] | |
| wrap_float_array2 [JavaArray] | |
| wrap_int_array [JavaArray] | |
| wrap_int_array2 [JavaArray] | |
| wrap_long_array [JavaArray] | |
| wrap_long_array2 [JavaArray] | |
| wrap_reference_array [JavaArray] | |
| wrap_reference_array2 [JavaArray] | |
| wrap_short_array [JavaArray] | |
| wrap_short_array2 [JavaArray] | |
| wrapped [JavaArray] | wrapped a returns the wrapped array.
|