Out_Of_Ids : exception;
procedure Read_Id
| ( | Id | : out Id_Range); |
Current_Id: Id_Range := Id_Range'First; References:
id_generator_concurrent.ads:15:7 (declaration)id_generator_concurrent.adb:15:19 (reference)id_generator_concurrent.adb:16:16 (reference)id_generator_concurrent.adb:17:16 (write reference)id_generator_concurrent.adb:17:30 (reference)Called by:
Read_Id defined at id_generator_concurrent.ads:12:17Read_Id defined at id_generator_concurrent.ads:12:17Read_Id defined at id_generator_concurrent.ads:12:17Read_Id defined at id_generator_concurrent.ads:12:17Generator. Last_Id_Gone (private)
Last_Id_Gone: Boolean := False; References:
id_generator_concurrent.ads:16:7 (declaration)id_generator_concurrent.adb:12:13 (reference)id_generator_concurrent.adb:19:16 (write reference)Called by:
Read_Id defined at id_generator_concurrent.ads:12:17Read_Id defined at id_generator_concurrent.ads:12:17