Package Name: java.util.dictionary

Return to: Package List

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

package java.util.Dictionary is
    type Dictionary_Obj is abstract new Object with null record;

    type Dictionary_Ptr is access all Dictionary_Obj'Class;

    function size(Obj : access Dictionary_Obj) return Integer is abstract;

    function isEmpty(Obj : access Dictionary_Obj) return Boolean is abstract;

    function keys(Obj : access Dictionary_Obj) return Enumeration_Ptr is abstract;

    function elements(Obj : access Dictionary_Obj) return Enumeration_Ptr is abstract;
    function get(Obj : access Dictionary_Obj;
        P1 : Object_Ptr)

      return Object_Ptr is abstract;
    function put(Obj : access Dictionary_Obj;
        P1 : Object_Ptr;
        P2 : Object_Ptr)

      return Object_Ptr is abstract;
    function remove(Obj : access Dictionary_Obj;
        P1 : Object_Ptr)

      return Object_Ptr is abstract;

    procedure init_Dictionary(Obj : access Dictionary_Obj'Class);
    pragma Import(Java, put);
    pragma Import(Java, elements);
    pragma Import(Java, remove);
    pragma Import(Java, size);
    pragma Import(Java, get);
    pragma Import(Java, keys);

    pragma Import(Java, isEmpty);

    pragma Import(Java_Constructor, init_Dictionary);
end java.util.Dictionary;