generic type Element_Type is private; with function "="( left, right : Element_Type ) return Boolean is <>; package Mutable_Lists is
type List is tagged limited private;
type Cursor is limited private;
type A_List is access all List'Class;
Container_Error : exception;
procedure Close
( | position | : in out Cursor ); |
procedure Next
( | position | : in out Cursor ); |
procedure Append
( | this | : access List; |
element | : Element_Type ); |
procedure Append_No_Duplicate
( | this | : access List; |
element | : Element_Type; | |
inserted | : out Boolean ); |
procedure Clear
( | this | : access List ); |
procedure Find
( | this | : access List; |
element | : Element_Type; | |
position | : out Cursor ); |
procedure Iterate
( | this | : access List; |
examine | : access procedure( element : Element_Type ) |
procedure Iterate_With_Quit
( | this | : access List; |
examine | : access procedure( element : Element_Type; | |
quit | : in out Boolean ) |
procedure Prepend
( | this | : access List; |
element | : Element_Type ); |
procedure Delete
( | this | : in out A_List ); |