generic type Element_Type is private; with function "="( left, right : Element_Type ) return Boolean is <>; -- This generic package implements a thread-safe linked list that can be -- modified by one thread while another is
function "="
( | left, right | : Element_Type ) return Boolean is <>; |
procedure Close
( | position | : in out Cursor ); |
function Element
( | position | : Cursor ) return Element_Type; |
function Has_Element
( | position | : Cursor ) return Boolean; |
procedure Next
( | position | : in out Cursor ); |
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 ) ); |
function Length
( | this | : access List ) return Natural; |
procedure Prepend
( | this | : access List; |
element | : Element_Type ); |