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