Package Name: java.util.hashtableenumerator

Return to: Package List

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

package java.util.HashtableEnumerator is
    type HashtableEnumerator_Obj is new Object with record
        Enumeration : aliased Enumeration_Obj;  -- implements Enumeration
    end record;

    type HashtableEnumerator_Ptr is access all HashtableEnumerator_Obj'Class;

    function hasMoreElements(Obj : access HashtableEnumerator_Obj) return Boolean;

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


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