Package Name: java.util.hashtableenumerator
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;