protocol

java_utils_protocol

Abstract interface to Java utility predicates.

author:
Paulo Moura
version:
1.0
date:
2016/9/21
compilation flags:
static

(no dependencies on other files)

Public interface

true/1

Returns an opaque term that represents the Java value true.

compilation flags:
static
template:
true(Reference)
mode – number of proofs:
true(--var) – one

false/1

Returns an opaque term that represents the Java value false.

compilation flags:
static
template:
false(Reference)
mode – number of proofs:
false(--var) – one

void/1

Returns an opaque term that represents the Java value void.

compilation flags:
static
template:
void(Reference)
mode – number of proofs:
void(--var) – one

null/1

Returns an opaque term that represents the Java value null.

compilation flags:
static
template:
null(Reference)
mode – number of proofs:
null(--var) – one

is_true/1

True when the argument is the Java value true. Fails if the argument is not instantiated.

compilation flags:
static
template:
is_true(Reference)
mode – number of proofs:
is_true(++ground) – zero_or_one

is_false/1

True when the argument is the Java value false. Fails if the argument is not instantiated.

compilation flags:
static
template:
is_false(Reference)
mode – number of proofs:
is_false(++ground) – zero_or_one

is_void/1

True when the argument is the Java value void. Fails if the argument is not instantiated.

compilation flags:
static
template:
is_void(Reference)
mode – number of proofs:
is_void(++ground) – zero_or_one

is_null/1

True when the argument is the Java value null. Fails if the argument is not instantiated.

compilation flags:
static
template:
is_null(Reference)
mode – number of proofs:
is_null(++ground) – zero_or_one

array_list/2

Converts between an array and a list.

compilation flags:
static
template:
array_list(Array,List)
mode – number of proofs:
array_list(+array,-list) – one
array_list(-array,+list) – one

iterator_element/2

Enumerates, by backtracking, all iterator elements.

compilation flags:
static
template:
iterator_element(Iterator,Element)
mode – number of proofs:
iterator_element(+iterator,-element) – zero_or_more

Protected interface

(none)

Private predicates

(none)

Operators

(none)

Remarks

(none)

See also

(none)