jpl_enumeration_to

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

jpl_enumeration_to_list(+Enumeration:jref, -Elements:list(datum))

Enumeration should be a JPL reference to an object which implements the Enumeration interface.

Elements is a Prolog list of JPL references to the enumerated objects. This is a utility predicate, defined thus:

jpl_enumeration_to_list(Enumeration, Es) :-
    (   jpl_call(Enumeration, hasMoreElements, [], @(true))
    ->  jpl_call(Enumeration, nextElement, [], E),
        Es = [E|Es1],
        jpl_enumeration_to_list(Enumeration, Es1)
    ;   Es = []
    ).