diff options
Diffstat (limited to 'translate/grt/grt-processes.ads')
| -rw-r--r-- | translate/grt/grt-processes.ads | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/translate/grt/grt-processes.ads b/translate/grt/grt-processes.ads index e9faa3732..d7cb68caa 100644 --- a/translate/grt/grt-processes.ads +++ b/translate/grt/grt-processes.ads @@ -47,9 +47,10 @@ package Grt.Processes is function Get_Current_Process_Id return Process_Id; pragma Inline (Get_Current_Process_Id); - -- Return the number of processes. + -- Return the total number of processes and number of sensitized processes. -- Used for statistics. function Get_Nbr_Processes return Natural; + function Get_Nbr_Sensitized_Processes return Natural; -- Disp the name of process PROC. procedure Disp_Process_Name (Stream : Grt.Stdio.FILEs; Proc : Process_Id); |