home *** CD-ROM | disk | FTP | other *** search
- generic
- type Item is private;
- package Stack_Sequential_Bounded_Managed_Noniterator is
-
- type Stack(The_Size : Positive) is limited private;
-
- procedure Copy (From_The_Stack : in Stack;
- To_The_Stack : in out Stack);
- procedure Clear (The_Stack : in out Stack);
- procedure Push (The_Item : in Item;
- On_The_Stack : in out Stack);
- procedure Pop (The_Stack : in out Stack);
-
- function Is_Equal (Left : in Stack;
- Right : in Stack) return Boolean;
- function Depth_Of (The_Stack : in Stack) return Natural;
- function Is_Empty (The_Stack : in Stack) return Boolean;
- function Top_Of (The_Stack : in Stack) return Item;
-
- Overflow : exception;
- Underflow : exception;
-
- private
- ...
- end Stack_Sequential_Bounded_Managed_Noniterator;
-