protocol
java_utils_protocol¶
Abstract interface to Java utility predicates.
staticPublic predicates¶
value_reference/2¶
Returns an opaque term that represents the Java value with the given name.
staticvalue_reference(Value,Reference)value_reference(?atom,--ground) - one_or_moretrue/1¶
Returns an opaque term that represents the Java value true.
statictrue(Reference)true(--ground) - onefalse/1¶
Returns an opaque term that represents the Java value false.
staticfalse(Reference)false(--ground) - onevoid/1¶
Returns an opaque term that represents the Java value void.
staticvoid(Reference)void(--ground) - onenull/1¶
Returns an opaque term that represents the Java value null.
staticnull(Reference)null(--ground) - oneis_true/1¶
True when the argument is the Java value true. Fails if the argument is not instantiated.
staticis_true(Reference)is_true(@term) - zero_or_oneis_false/1¶
True when the argument is the Java value false. Fails if the argument is not instantiated.
staticis_false(Reference)is_false(@term) - zero_or_oneis_void/1¶
True when the argument is the Java value void. Fails if the argument is not instantiated.
staticis_void(Reference)is_void(@term) - zero_or_oneis_null/1¶
True when the argument is the Java value null. Fails if the argument is not instantiated.
staticis_null(Reference)is_null(@term) - zero_or_oneis_object/1¶
True when the argument is a reference to a Java object. Fails if the argument is not instantiated.
staticis_object(Reference)is_object(@term) - zero_or_oneterms_to_array/2¶
Converts a list of ground Prolog terms to an array (a Java reference).
staticterms_to_array(Terms,Array)terms_to_array(++list(ground),-array) - onearray_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.
staticarray_to_terms(Array,Terms,Length)array_to_terms(+array,-list(ground),-integer) - onearray_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.
staticarray_to_terms(Array,Terms)array_to_terms(+array,-list(term)) - onearray_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 instead in new code.
staticarray_list(Array,List)array_list(+array,-list) - onearray_list(-array,+list) - oneiterator_element/2¶
Enumerates, by backtracking, all iterator elements.
staticiterator_element(Iterator,Element)iterator_element(+iterator,-element) - zero_or_moredecode_exception/2¶
Decodes an exception into its corresponding cause. Fails if the exception is not a Java exception.
staticdecode_exception(Exception,Cause)decode_exception(+callable,-atom) - zero_or_onedecode_exception/3¶
Decodes an exception into its corresponding cause and a stack trace. Fails if the exception is not a Java exception.
staticdecode_exception(Exception,Cause,StackTrace)decode_exception(+callable,-atom,-list(atom)) - zero_or_oneProtected predicates¶
(none)
Private predicates¶
(none)