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