Package Name: java.util.vector

Return to: Package List

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

package java.util.Vector is
    type Vector_Obj is new Object with record
        Cloneable : aliased Cloneable_Obj;  -- implements Cloneable
    end record;

    type Vector_Ptr is access all Vector_Obj'Class;
    function new_Vector(
        initialCapacity : Integer;
        capacityIncrement : Integer;
        Obj : Vector_Ptr := null)

      return Vector_Ptr;
    function new_Vector(
        initialCapacity : Integer;
        Obj : Vector_Ptr := null)

      return Vector_Ptr;
    procedure init_Vector(Obj : access Vector_Obj'Class);

    function new_Vector(Obj : Vector_Ptr := null) return Vector_Ptr;

    type Object_Array is array(Positive range <>) of Object_Ptr;
    procedure copyInto(Obj : access Vector_Obj;

        anArray : Object_Array);

    procedure trimToSize(Obj : access Vector_Obj);
    procedure ensureCapacity(Obj : access Vector_Obj;

        minCapacity : Integer);
    procedure setSize(Obj : access Vector_Obj;

        newSize : Integer);

    function capacity(Obj : access Vector_Obj) return Integer;

    function size(Obj : access Vector_Obj) return Integer;

    function isEmpty(Obj : access Vector_Obj) return Boolean;

    function elements(Obj : access Vector_Obj) return Enumeration_Ptr;
    function contains(vector : access Vector_Obj;
        elem : Object_Ptr)

      return Boolean;
    function indexOf(vector : access Vector_Obj;
        elem : Object_Ptr)

      return Integer;
    function indexOf(vector : access Vector_Obj;
        elem : Object_Ptr;
        index : Integer)

      return Integer;
    function lastIndexOf(vector : access Vector_Obj;
        elem : Object_Ptr)

      return Integer;
    function lastIndexOf(vector : access Vector_Obj;
        elem : Object_Ptr;
        index : Integer)

      return Integer;
    function elementAt(vector : access Vector_Obj;
        index : Integer)

      return Object_Ptr;

    function firstElement(Obj : access Vector_Obj) return Object_Ptr;

    function lastElement(Obj : access Vector_Obj) return Object_Ptr;
    procedure setElementAt(vector : access Vector_Obj;
        obj : Object_Ptr;

        index : Integer);
    procedure removeElementAt(vector : access Vector_Obj;

        index : Integer);
    procedure insertElementAt(vector : access Vector_Obj;
        obj : Object_Ptr;

        index : Integer);
    procedure addElement(vector : access Vector_Obj;

        obj : Object_Ptr);
    function removeElement(vector : access Vector_Obj;
        obj : Object_Ptr)

      return Boolean;

    procedure removeAllElements(Obj : access Vector_Obj);

    function clone(Obj : access Vector_Obj) return Object_Ptr;

    function toString(Obj : access Vector_Obj) return String_Ptr;
    pragma Import(Java, indexOf);
    pragma Import(Java, removeElement);
    pragma Import(Java, setSize);
    pragma Import(Java, contains);
    pragma Import(Java, clone);
    pragma Import(Java, lastElement);
    pragma Import(Java, elements);
    pragma Import(Java, addElement);
    pragma Import(Java, size);
    pragma Import(Java, trimToSize);
    pragma Import(Java, lastIndexOf);
    pragma Import(Java, removeElementAt);
    pragma Import(Java, insertElementAt);
    pragma Import(Java, ensureCapacity);
    pragma Import(Java, capacity);
    pragma Import(Java, elementAt);
    pragma Import(Java, removeAllElements);
    pragma Import(Java, firstElement);
    pragma Import(Java, setElementAt);
    pragma Import(Java, isEmpty);
    pragma Import(Java, copyInto);

    pragma Import(Java, toString);
    pragma Import(Java_Constructor, init_Vector);

    pragma Import(Java_Constructor, new_Vector);
end java.util.Vector;