Package Name: java.util.enumeration

Return to: Package List


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;