diff options
Diffstat (limited to 'src/grt/grt-processes.ads')
-rw-r--r-- | src/grt/grt-processes.ads | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/grt/grt-processes.ads b/src/grt/grt-processes.ads index 818b81f7d..f431c7e2b 100644 --- a/src/grt/grt-processes.ads +++ b/src/grt/grt-processes.ads @@ -43,6 +43,19 @@ package Grt.Processes is -- < 0 in case of failure or stop request. function Simulation return Integer; + -- Broken down version of Simulation. + procedure Simulation_Init; + function Simulation_Cycle return Integer; + procedure Simulation_Finish; + + -- True if simulation has reached a user timeout (--stop-time or + -- --stop-delta). Emit an info message as a side effect. + function Has_Simulation_Timeout return Boolean; + + -- Updated by Initialization_Phase and Simulation_Cycle to the time of the + -- next cycle. Unchanged in case of delta-cycle. + Next_Time : Std_Time; + -- Number of delta cycles. Nbr_Delta_Cycles : Integer; -- Number of non-delta cycles. |