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.
|