Package Name: java.util.enumeration
with java.lang; use java.lang;
package java.util.Enumeration is
-- NOTE: Enumeration is an "interface" type
type Enumeration_Obj is new Object with null record;
pragma Convention(Java_Interface, Enumeration_Obj);
type Enumeration_Ptr is access all Enumeration_Obj'Class;
function hasMoreElements(Obj : access Enumeration_Obj) return Boolean;
function nextElement(Obj : access Enumeration_Obj) return Object_Ptr;
pragma Import(Java, hasMoreElements);
pragma Import(Java, nextElement);
end java.util.Enumeration;