A | |
| append [JavaShortArray] | append a1 a2 returns the concatenation of a1 and a2.
|
| append [JavaLongArray] | append a1 a2 returns the concatenation of a1 and a2.
|
| append [JavaIntArray] | append a1 a2 returns the concatenation of a1 and a2.
|
| append [JavaFloatArray] | append a1 a2 returns the concatenation of a1 and a2.
|
| append [JavaDoubleArray] | append a1 a2 returns the concatenation of a1 and a2.
|
| append [JavaCharArray] | append a1 a2 returns the concatenation of a1 and a2.
|
| append [JavaByteArray] | append a1 a2 returns the concatenation of a1 and a2.
|
| append [JavaBooleanArray] | append a1 a2 returns the concatenation of a1 and a2.
|
| append [JavaArraySignature.T] | |
| 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.
|
| attribute_added [JavaServlet.HTTPSessionAttributeListener] |
Called to notify that a new session attribute has been added to a session.
|
| attribute_added [JavaServlet.ServletContextAttributeListener] |
Called to notify that a new attribute was added to the context.
|
| attribute_removed [JavaServlet.HTTPSessionAttributeListener] |
Called to notify that a session attribute has been removed from a session.
|
| attribute_removed [JavaServlet.ServletContextAttributeListener] |
Called to notify that an attribute was removed from the context.
|
| attribute_replaced [JavaServlet.HTTPSessionAttributeListener] |
Called to notify that a session attribute has been replaced in a session.
|
| attribute_replaced [JavaServlet.ServletContextAttributeListener] |
Called to notify that an attribute was replaced in the context.
|
B | |
| blit [JavaShortArray] | blit src srcofs dst dstofs len copies len elements from src at
offset srcofs to dst at offset dstofs.
|
| blit [JavaReferenceArray] | blit src srcofs dst dstofs len copies len elements from src at
offset srcofs to dst at offset dstofs.
|
| blit [JavaLongArray] | blit src srcofs dst dstofs len copies len elements from src at
offset srcofs to dst at offset dstofs.
|
| blit [JavaIntArray] | blit src srcofs dst dstofs len copies len elements from src at
offset srcofs to dst at offset dstofs.
|
| blit [JavaFloatArray] | blit src srcofs dst dstofs len copies len elements from src at
offset srcofs to dst at offset dstofs.
|
| blit [JavaDoubleArray] | blit src srcofs dst dstofs len copies len elements from src at
offset srcofs to dst at offset dstofs.
|
| blit [JavaCharArray] | blit src srcofs dst dstofs len copies len elements from src at
offset srcofs to dst at offset dstofs.
|
| blit [JavaByteArray] | blit src srcofs dst dstofs len copies len elements from src at
offset srcofs to dst at offset dstofs.
|
| blit [JavaBooleanArray] | blit src srcofs dst dstofs len copies len elements from src at
offset srcofs to dst at offset dstofs.
|
| blit [JavaArraySignature.T] | |
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.
|
| concat [JavaShortArray] | concat l returns the concatenation of arrays in l.
|
| concat [JavaLongArray] | concat l returns the concatenation of arrays in l.
|
| concat [JavaIntArray] | concat l returns the concatenation of arrays in l.
|
| concat [JavaFloatArray] | concat l returns the concatenation of arrays in l.
|
| concat [JavaDoubleArray] | concat l returns the concatenation of arrays in l.
|
| concat [JavaCharArray] | concat l returns the concatenation of arrays in l.
|
| concat [JavaByteArray] | concat l returns the concatenation of arrays in l.
|
| concat [JavaBooleanArray] | concat l returns the concatenation of arrays in l.
|
| concat [JavaArraySignature.T] | |
| contains [JavaString] |
Similar to
String.contains.
|
| contains_from [JavaString] |
Similar to
String.contains_from.
|
| context_destroyed [JavaServlet.ServletContextListener] |
Called to notify that the servlet context will shutdown.
|
| context_initialized [JavaServlet.ServletContextListener] |
Called to notify that the application initialization is starting.
|
| copy [JavaString] |
Equivalent to the identity function.
|
| copy [JavaShortArray] | copy a returns a copy of a.
|
| copy [JavaLongArray] | copy a returns a copy of a.
|
| copy [JavaIntArray] | copy a returns a copy of a.
|
| copy [JavaFloatArray] | copy a returns a copy of a.
|
| copy [JavaDoubleArray] | copy a returns a copy of a.
|
| copy [JavaCharArray] | copy a returns a copy of a.
|
| copy [JavaByteArray] | copy a returns a copy of a.
|
| copy [JavaBooleanArray] | copy a returns a copy of a.
|
| copy [JavaArraySignature.T] | |
D | |
| destroy [JavaServlet.HTTP] |
Called by the servlet container when the servlet is being taken out
of service.
|
| destroy [JavaServlet.Generic] |
Called by the servlet container when the servlet is being taken out
of service.
|
| destroy [JavaServlet.Default_HTTP] | |
| destroy [JavaServlet.Default_Generic] | |
| 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.
|
| do_delete [JavaServlet.HTTP] | do_delete v inst req resp handles the DELETE request req
through the servlet instance inst (associated to value v).
|
| do_delete [JavaServlet.Default_HTTP] | |
| do_get [JavaServlet.HTTP] | do_get v inst req resp handles the GET request req through
the servlet instance inst (associated to value v).
|
| do_get [JavaServlet.Default_HTTP] | |
| do_head [JavaServlet.HTTP] | do_head v inst req resp handles the HEAD request req
through the servlet instance inst (associated to value v).
|
| do_head [JavaServlet.Default_HTTP] | |
| do_options [JavaServlet.HTTP] | do_options v inst req resp handles the OPTIONS request req
through the servlet instance inst (associated to value v).
|
| do_post [JavaServlet.HTTP] | do_post v inst req resp handles the POST request req
through the servlet instance inst (associated to value v).
|
| do_post [JavaServlet.Default_HTTP] | |
| do_put [JavaServlet.HTTP] | do_put v inst req resp handles the PUT request req through
the servlet instance inst (associated to value v).
|
| do_put [JavaServlet.Default_HTTP] | |
| do_trace [JavaServlet.HTTP] | do_trace v inst req resp handles the TRACE request req
through the servlet instance inst (associated to value v).
|
| do_trace [JavaServlet.Default_HTTP] | |
E | |
| equal [Java] | equal x y returns true if x and y designate the very same
reference.
|
| escaped [JavaString] |
Similar to
String.escaped.
|
F | |
| fill [JavaShortArray] | fill a ofs len x sets len elements of a to x, starting at
offset ofs.
|
| fill [JavaLongArray] | fill a ofs len x sets len elements of a to x, starting at
offset ofs.
|
| fill [JavaIntArray] | fill a ofs len x sets len elements of a to x, starting at
offset ofs.
|
| fill [JavaFloatArray] | fill a ofs len x sets len elements of a to x, starting at
offset ofs.
|
| fill [JavaDoubleArray] | fill a ofs len x sets len elements of a to x, starting at
offset ofs.
|
| fill [JavaCharArray] | fill a ofs len x sets len elements of a to x, starting at
offset ofs.
|
| fill [JavaByteArray] | fill a ofs len x sets len elements of a to x, starting at
offset ofs.
|
| fill [JavaBooleanArray] | fill a ofs len x sets len elements of a to x, starting at
offset ofs.
|
| fill [JavaArraySignature.T] | |
| fold_left [JavaShortArray] | fold_left f z a returns f (... (f (f z a_0) a_1)) where a_i is
the element of a at index i.
|
| fold_left [JavaReferenceArray] | fold_left f z a returns f (... (f (f z a_0) a_1)) where a_i is
the element of a at index i.
|
| fold_left [JavaLongArray] | fold_left f z a returns f (... (f (f z a_0) a_1)) where a_i is
the element of a at index i.
|
| fold_left [JavaIntArray] | fold_left f z a returns f (... (f (f z a_0) a_1)) where a_i is
the element of a at index i.
|
| fold_left [JavaFloatArray] | fold_left f z a returns f (... (f (f z a_0) a_1)) where a_i is
the element of a at index i.
|
| fold_left [JavaDoubleArray] | fold_left f z a returns f (... (f (f z a_0) a_1)) where a_i is
the element of a at index i.
|
| fold_left [JavaCharArray] | fold_left f z a returns f (... (f (f z a_0) a_1)) where a_i is
the element of a at index i.
|
| fold_left [JavaByteArray] | fold_left f z a returns f (... (f (f z a_0) a_1)) where a_i is
the element of a at index i.
|
| fold_left [JavaBooleanArray] | fold_left f z a returns f (... (f (f z a_0) a_1)) where a_i is
the element of a at index i.
|
| fold_left [JavaArraySignature.T] | |
| fold_right [JavaShortArray] | fold_right f a z returns f a_0 (f a_1 (f ... z)) where a_i is
the element of a at index i.
|
| fold_right [JavaReferenceArray] | fold_right f a z returns f a_0 (f a_1 (f ... z)) where a_i is
the element of a at index i.
|
| fold_right [JavaLongArray] | fold_right f a z returns f a_0 (f a_1 (f ... z)) where a_i is
the element of a at index i.
|
| fold_right [JavaIntArray] | fold_right f a z returns f a_0 (f a_1 (f ... z)) where a_i is
the element of a at index i.
|
| fold_right [JavaFloatArray] | fold_right f a z returns f a_0 (f a_1 (f ... z)) where a_i is
the element of a at index i.
|
| fold_right [JavaDoubleArray] | fold_right f a z returns f a_0 (f a_1 (f ... z)) where a_i is
the element of a at index i.
|
| fold_right [JavaCharArray] | fold_right f a z returns f a_0 (f a_1 (f ... z)) where a_i is
the element of a at index i.
|
| fold_right [JavaByteArray] | fold_right f a z returns f a_0 (f a_1 (f ... z)) where a_i is
the element of a at index i.
|
| fold_right [JavaBooleanArray] | fold_right f a z returns f a_0 (f a_1 (f ... z)) where a_i is
the element of a at index i.
|
| fold_right [JavaArraySignature.T] | |
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.
|
| get_class [Java] | get_class "class_or_primitive_name" returns the class instance
representing the passed type descriptor.
|
| get_last_modified [JavaServlet.HTTP] | get_last_modified v inst req handles the request req through
the servlet instance inst (associated to value v), returning
the time the underlying information was last modified (in
milliseconds since 1970-01-01), or a negative value if the time
is unknown.
|
| get_last_modified [JavaServlet.Default_HTTP] | |
I | |
| in_channel_of_input_stream [JavaIOStreams] | 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 [JavaShortArray] | init len f creates and returns an array of len elements.
|
| init [JavaServlet.HTTP] |
Initializes a new servlet by returning its value (the function is
executed by javax.servlet.http.HttpServlet.init()).
|
| init [JavaServlet.Generic] |
Initializes a new servlet by returning its value (the function is
executed by javax.servlet.GenericServlet.init()).
|
| init [JavaLongArray] | init len f creates and returns an array of len elements.
|
| init [JavaIntArray] | init len f creates and returns an array of len elements.
|
| init [JavaFloatArray] | init len f creates and returns an array of len elements.
|
| init [JavaDoubleArray] | init len f creates and returns an array of len elements.
|
| init [JavaCharArray] | init len f creates and returns an array of len elements.
|
| init [JavaByteArray] | init len f creates and returns an array of len elements.
|
| init [JavaBooleanArray] | init len f creates and returns an array of len elements.
|
| init [JavaArraySignature.T] | |
| 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 [JavaIOStreams] | 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.
|
| iter [JavaShortArray] | iter f a applies f to each element of a.
|
| iter [JavaReferenceArray] | iter f a applies f to each element of a.
|
| iter [JavaLongArray] | iter f a applies f to each element of a.
|
| iter [JavaIntArray] | iter f a applies f to each element of a.
|
| iter [JavaFloatArray] | iter f a applies f to each element of a.
|
| iter [JavaDoubleArray] | iter f a applies f to each element of a.
|
| iter [JavaCharArray] | iter f a applies f to each element of a.
|
| iter [JavaByteArray] | iter f a applies f to each element of a.
|
| iter [JavaBooleanArray] | iter f a applies f to each element of a.
|
| iter [JavaArraySignature.T] | |
| iter [JavaArray] | iter f a applies f to the elements of a.
|
| iteri [JavaString] |
Similar to
String.iteri.
|
| iteri [JavaShortArray] | iter f a applies f to each element of a (also passing element index).
|
| iteri [JavaReferenceArray] | iter f a applies f to each element of a (also passing element index).
|
| iteri [JavaLongArray] | iter f a applies f to each element of a (also passing element index).
|
| iteri [JavaIntArray] | iter f a applies f to each element of a (also passing element index).
|
| iteri [JavaFloatArray] | iter f a applies f to each element of a (also passing element index).
|
| iteri [JavaDoubleArray] | iter f a applies f to each element of a (also passing element index).
|
| iteri [JavaCharArray] | iter f a applies f to each element of a (also passing element index).
|
| iteri [JavaByteArray] | iter f a applies f to each element of a (also passing element index).
|
| iteri [JavaBooleanArray] | iter f a applies f to each element of a (also passing element index).
|
| iteri [JavaArraySignature.T] | |
| iteri [JavaArray] | iter f a applies f to the elements of a.
|
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 [JavaArraySignature.T] | |
| 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.
|
| map [JavaShortArray] | map f a returns an array with elemens f a_0, f a_1, ... where
a_i is the element of a at index i.
|
| map [JavaLongArray] | map f a returns an array with elemens f a_0, f a_1, ... where
a_i is the element of a at index i.
|
| map [JavaIntArray] | map f a returns an array with elemens f a_0, f a_1, ... where
a_i is the element of a at index i.
|
| map [JavaFloatArray] | map f a returns an array with elemens f a_0, f a_1, ... where
a_i is the element of a at index i.
|
| map [JavaDoubleArray] | map f a returns an array with elemens f a_0, f a_1, ... where
a_i is the element of a at index i.
|
| map [JavaCharArray] | map f a returns an array with elemens f a_0, f a_1, ... where
a_i is the element of a at index i.
|
| map [JavaByteArray] | map f a returns an array with elemens f a_0, f a_1, ... where
a_i is the element of a at index i.
|
| map [JavaBooleanArray] | map f a returns an array with elemens f a_0, f a_1, ... where
a_i is the element of a at index i.
|
| map [JavaArraySignature.T] | |
| mapi [JavaShortArray] | map f a returns an array with elemens f 0 a_0, f 1 a_1, ... where
a_i is the element of a at index i.
|
| mapi [JavaLongArray] | map f a returns an array with elemens f 0 a_0, f 1 a_1, ... where
a_i is the element of a at index i.
|
| mapi [JavaIntArray] | map f a returns an array with elemens f 0 a_0, f 1 a_1, ... where
a_i is the element of a at index i.
|
| mapi [JavaFloatArray] | map f a returns an array with elemens f 0 a_0, f 1 a_1, ... where
a_i is the element of a at index i.
|
| mapi [JavaDoubleArray] | map f a returns an array with elemens f 0 a_0, f 1 a_1, ... where
a_i is the element of a at index i.
|
| mapi [JavaCharArray] | map f a returns an array with elemens f 0 a_0, f 1 a_1, ... where
a_i is the element of a at index i.
|
| mapi [JavaByteArray] | map f a returns an array with elemens f 0 a_0, f 1 a_1, ... where
a_i is the element of a at index i.
|
| mapi [JavaBooleanArray] | map f a returns an array with elemens f 0 a_0, f 1 a_1, ... where
a_i is the element of a at index i.
|
| mapi [JavaArraySignature.T] | |
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_list [JavaShortArray] | of_list l returns the elements of l as an array.
|
| of_list [JavaLongArray] | of_list l returns the elements of l as an array.
|
| of_list [JavaIntArray] | of_list l returns the elements of l as an array.
|
| of_list [JavaFloatArray] | of_list l returns the elements of l as an array.
|
| of_list [JavaDoubleArray] | of_list l returns the elements of l as an array.
|
| of_list [JavaCharArray] | of_list l returns the elements of l as an array.
|
| of_list [JavaByteArray] | of_list l returns the elements of l as an array.
|
| of_list [JavaBooleanArray] | of_list l returns the elements of l as an array.
|
| of_list [JavaArraySignature.T] | |
| 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_ocaml [JavaShortArray] | of_ocaml a returns a Java array equivalent to a.
|
| of_ocaml [JavaLongArray] | of_ocaml a returns a Java array equivalent to a.
|
| of_ocaml [JavaIntArray] | of_ocaml a returns a Java array equivalent to a.
|
| of_ocaml [JavaFloatArray] | of_ocaml a returns a Java array equivalent to a.
|
| of_ocaml [JavaDoubleArray] | of_ocaml a returns a Java array equivalent to a.
|
| of_ocaml [JavaCharArray] | of_ocaml a returns a Java array equivalent to a.
|
| of_ocaml [JavaByteArray] | of_ocaml a returns a Java array equivalent to a.
|
| of_ocaml [JavaBooleanArray] | of_ocaml a returns a Java array equivalent to a.
|
| of_ocaml [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.
|
| options [JavaServlet] | options resp l is an implementation of do_options _ _ _ resp
where l is the list of methods supported by the servlet.
|
| out_channel_of_output_stream [JavaIOStreams] | out_channel_of_output_stream os converts the output stream os
into a new output channel.
|
| output_stream_of_out_channel [JavaIOStreams] | 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] |
Sysnonym for
proxy_system.
|
| proxy_loader [Java] | proxy_loader "interfacenames" cl impl returns an instance that
implements interfacenames (a comma-separated list of interface
names) using the methods provided by impl.
|
| proxy_runtime [Java] |
Same as
proxy_loader, but uses the class loader that was used to
load the OCaml-Java runtime.
|
| proxy_system [Java] |
Same as
proxy_loader, but uses the system class loader.
|
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 | |
| service [JavaServlet.Generic] | service v inst req resp handles the request req through the
servlet instance inst (associated to value v).
|
| service [JavaServlet.Default_Generic] | |
| session_created [JavaServlet.HTTPSessionListener] |
Called to notify that a session was created.
|
| session_destroyed [JavaServlet.HTTPSessionListener] |
Called to notify that a session is about to be invalidated.
|
| session_did_activate [JavaServlet.HTTPSessionActivationListener] |
Called to notify that a session has just been activated.
|
| session_id_changed [JavaServlet.HTTPSessionIdListener] |
Called to notify that the session identifier has changed.
|
| session_will_passivate [JavaServlet.HTTPSessionActivationListener] |
Called to notify that a session is about to be passivated.
|
| 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.
|
| sub [JavaShortArray] | sub a ofs len returns an array of len elements, copying elements
from a starting at offset ofs.
|
| sub [JavaLongArray] | sub a ofs len returns an array of len elements, copying elements
from a starting at offset ofs.
|
| sub [JavaIntArray] | sub a ofs len returns an array of len elements, copying elements
from a starting at offset ofs.
|
| sub [JavaFloatArray] | sub a ofs len returns an array of len elements, copying elements
from a starting at offset ofs.
|
| sub [JavaDoubleArray] | sub a ofs len returns an array of len elements, copying elements
from a starting at offset ofs.
|
| sub [JavaCharArray] | sub a ofs len returns an array of len elements, copying elements
from a starting at offset ofs.
|
| sub [JavaByteArray] | sub a ofs len returns an array of len elements, copying elements
from a starting at offset ofs.
|
| sub [JavaBooleanArray] | sub a ofs len returns an array of len elements, copying elements
from a starting at offset ofs.
|
| sub [JavaArraySignature.T] | |
| 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_list [JavaShortArray] | to_list a returns the elements of a as a list.
|
| to_list [JavaLongArray] | to_list a returns the elements of a as a list.
|
| to_list [JavaIntArray] | to_list a returns the elements of a as a list.
|
| to_list [JavaFloatArray] | to_list a returns the elements of a as a list.
|
| to_list [JavaDoubleArray] | to_list a returns the elements of a as a list.
|
| to_list [JavaCharArray] | to_list a returns the elements of a as a list.
|
| to_list [JavaByteArray] | to_list a returns the elements of a as a list.
|
| to_list [JavaBooleanArray] | to_list a returns the elements of a as a list.
|
| to_list [JavaArraySignature.T] | |
| 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_ocaml [JavaShortArray] | to_ocaml a returns an OCaml array equivalent to a.
|
| to_ocaml [JavaLongArray] | to_ocaml a returns an OCaml array equivalent to a.
|
| to_ocaml [JavaIntArray] | to_ocaml a returns an OCaml array equivalent to a.
|
| to_ocaml [JavaFloatArray] | to_ocaml a returns an OCaml array equivalent to a.
|
| to_ocaml [JavaDoubleArray] | to_ocaml a returns an OCaml array equivalent to a.
|
| to_ocaml [JavaCharArray] | to_ocaml a returns an OCaml array equivalent to a.
|
| to_ocaml [JavaByteArray] | to_ocaml a returns an OCaml array equivalent to a.
|
| to_ocaml [JavaBooleanArray] | to_ocaml a returns an OCaml array equivalent to a.
|
| to_ocaml [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.
|
V | |
| value_bound [JavaServlet.HTTPSessionBindingListener] |
Called to notify that an object is being bound to a session as its identifier.
|
| value_unbound [JavaServlet.HTTPSessionBindingListener] |
Called to notify that an object is being unbound from a session.
|
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 [JavaShortArray] | wrap x wraps the array x into an option type: Some x if x is not null;, None if x is null.
|
| wrap [JavaReferenceArray] | wrap x wraps the array x into an option type: Some x if x is not null;, None if x is null.
|
| wrap [JavaLongArray] | wrap x wraps the array x into an option type: Some x if x is not null;, None if x is null.
|
| wrap [JavaIntArray] | wrap x wraps the array x into an option type: Some x if x is not null;, None if x is null.
|
| wrap [JavaFloatArray] | wrap x wraps the array x into an option type: Some x if x is not null;, None if x is null.
|
| wrap [JavaDoubleArray] | wrap x wraps the array x into an option type: Some x if x is not null;, None if x is null.
|
| wrap [JavaCharArray] | wrap x wraps the array x into an option type: Some x if x is not null;, None if x is null.
|
| wrap [JavaByteArray] | wrap x wraps the array x into an option type: Some x if x is not null;, None if x is null.
|
| wrap [JavaBooleanArray] | wrap x wraps the array x into an option type: Some x if x is not null;, None if x is null.
|
| wrap [JavaArraySignature.T] | |
| wrap [JavaArray] | wrap x wraps the array 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.
|