Index

Package: Dynamic_Tasks_Finalizer

Description

package Dynamic_Tasks_Finalizer is

Packages

Task_Ptr_Map (new Hashed_Maps) 

package Task_Ptr_Map is new Hashed_Maps (Key_Type        => Task_Id,
                                            Element_Type    => Dynamic_Task_Ptr,
                                            Hash            => Task_Id_Hash,
                                            Equivalent_Keys => "=");

Tasks & Protected

Finalizer_Deallocator (protected)

Entries:Register, Running_Tasks

References:

dynamic_tasks_finalizer.ads:15:14 (declaration)
dynamic_tasks_finalizer.adb:10:19 (body)
dynamic_tasks_finalizer.adb:38:8 (label)
scoped_vs_dynamic_finalization.adb:20:7 (reference)

Called by:

Scoped_vs_Dynamic_Finalization defined at scoped_vs_dynamic_finalization.adb:6:11

Subprograms & Entries

Finalizer_Deallocator. Register 

procedure Register 
(Ptr: Dynamic_Task_Ptr);

References:

Called by:

Finalizer_Deallocator. Running_Tasks (private) 

Running_Tasks: Task_Ptr_Map.Map;

References:

Called by:

Task_Id_Hash 

function Task_Id_Hash 
(Key: Task_Id) return Hash_Type is (Hash (Image (Key)));

References:

dynamic_tasks_finalizer.ads:8:13 (declaration)
dynamic_tasks_finalizer.ads:12:64 (reference)

Calls:

Hash defined at a-strhas.ads:20:22
Image defined at a-taside.ads:51:13