jpl_iterator_element/2

Documentation
- Reference manual
- Packages
  - JPL: A bidirectional Prolog/Java interface
    - library(jpl): A Java interface for SWI Prolog 7.x

Availability::- use_module(library(jpl)).(can be autoloaded)

jpl_iterator_element(+Iterator:jref, -Element:datum)

Iterator should be a JPL reference to an object which implements the java.util.Iterator interface.

Element is the JPL representation of the next element in the iteration. This is a utility predicate, defined thus:

jpl_iterator_element(I, E) :-
    (   jpl_call(I, hasNext, [], @(true))
    ->  (   jpl_call(I, next, [], E)
        ;   jpl_iterator_element(I, E)
        )
    ).