Package Name: java.util.vectorenumerator

Return to: Package List

with java.util.Enumeration; use java.util.Enumeration;
with java.lang; use java.lang;

package java.util.VectorEnumerator is
    type VectorEnumerator_Obj is tagged limited record
        Enumeration : aliased Enumeration_Obj;  -- implements Enumeration
    end record;

    type VectorEnumerator_Ptr is access all VectorEnumerator_Obj;

    function hasMoreElements(Obj : access VectorEnumerator_Obj) return Boolean;

    function nextElement(Obj : access VectorEnumerator_Obj) return Object_Ptr;
    pragma Import(Java, hasMoreElements);


    pragma Import(Java, nextElement);
end java.util.VectorEnumerator;