Package Name: java.util.stack
with java.util.Vector; use java.util.Vector;
with java.lang; use java.lang;
package java.util.Stack is
type Stack_Obj is new Vector_Obj with null record;
type Stack_Ptr is access all Stack_Obj'Class;
function push(Obj : access Stack_Obj;
item : Object_Ptr)
return Object_Ptr;
function pop(Obj : access Stack_Obj) return Object_Ptr;
function peek(Obj : access Stack_Obj) return Object_Ptr;
function empty(Obj : access Stack_Obj) return Boolean;
function search(Obj : access Stack_Obj;
o : Object_Ptr)
return Integer;
procedure init_Stack(Obj : access Stack_Obj'Class);
function new_Stack(Obj : Stack_Ptr := null) return Stack_Ptr;
pragma Import(Java, pop);
pragma Import(Java, search);
pragma Import(Java, push);
pragma Import(Java, peek);
pragma Import(Java, empty);
pragma Import(Java_Constructor, init_Stack);
pragma Import(Java_Constructor, new_Stack);
end java.util.Stack;