protocol
java_utils_protocol
¶
Abstract interface to Java utility predicates.
static
Public predicates¶
value_reference/2
¶
Returns an opaque term that represents the Java value with the given name.
static
value_reference(Value,Reference)
value_reference(?atom,--ground)
- one_or_more
true/1
¶
Returns an opaque term that represents the Java value true.
static
true(Reference)
true(--ground)
- one
false/1
¶
Returns an opaque term that represents the Java value false.
static
false(Reference)
false(--ground)
- one
void/1
¶
Returns an opaque term that represents the Java value void.
static
void(Reference)
void(--ground)
- one
null/1
¶
Returns an opaque term that represents the Java value null.
static
null(Reference)
null(--ground)
- one
is_true/1
¶
True when the argument is the Java value true. Fails if the argument is not instantiated.
static
is_true(Reference)
is_true(@term)
- zero_or_one
is_false/1
¶
True when the argument is the Java value false. Fails if the argument is not instantiated.
static
is_false(Reference)
is_false(@term)
- zero_or_one
is_void/1
¶
True when the argument is the Java value void. Fails if the argument is not instantiated.
static
is_void(Reference)
is_void(@term)
- zero_or_one
is_null/1
¶
True when the argument is the Java value null. Fails if the argument is not instantiated.
static
is_null(Reference)
is_null(@term)
- zero_or_one
is_object/1
¶
True when the argument is a reference to a Java object. Fails if the argument is not instantiated.
static
is_object(Reference)
is_object(@term)
- zero_or_one
terms_to_array/2
¶
Converts a list of ground Prolog terms to an array (a Java reference).
static
terms_to_array(Terms,Array)
terms_to_array(++list(ground),-array)
- one
array_to_terms/3
¶
Converts an array (a Java reference) to a list of ground Prolog terms returning also its length. The array elements must be atoms, integers, floats, or compound terms. Fails otherwise.
static
array_to_terms(Array,Terms,Length)
array_to_terms(+array,-list(ground),-integer)
- one
array_to_terms/2
¶
Converts an array (a Java reference) to a list of ground Prolog terms. The array elements must be atoms, integers, floats, or ground compound terms. Fails otherwise.
static
array_to_terms(Array,Terms)
array_to_terms(+array,-list(term))
- one
array_list/2
¶
Converts between an array (a Java reference) and a list. Deprecated. Use the terms_to_array/2
and array_to_terms/2-3
predicates instead in new code.
static
array_list(Array,List)
array_list(+array,-list)
- one
array_list(-array,+list)
- one
iterator_element/2
¶
Enumerates, by backtracking, all iterator elements.
static
iterator_element(Iterator,Element)
iterator_element(+iterator,-element)
- zero_or_more
decode_exception/2
¶
Decodes an exception into its corresponding cause. Fails if the exception is not a Java exception.
static
decode_exception(Exception,Cause)
decode_exception(+callable,-atom)
- zero_or_one
decode_exception/3
¶
Decodes an exception into its corresponding cause and a stack trace. Fails if the exception is not a Java exception.
static
decode_exception(Exception,Cause,StackTrace)
decode_exception(+callable,-atom,-list(atom))
- zero_or_one
Protected predicates¶
(none)
Private predicates¶
(none)