diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-20 15:25:44 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-20 15:25:44 +0000 |
commit | 76860de6f04d53835f0b4418d8b6d96f1e79a09b (patch) | |
tree | 9e69f6d6604fa710148467001bcae9948127dc8a /gcc/ada/s-taasde.ads | |
parent | 6cf6bd523acf45111c5672120e5dd528f0c57123 (diff) | |
download | gcc-76860de6f04d53835f0b4418d8b6d96f1e79a09b.tar.gz |
2014-01-20 Robert Dewar <dewar@adacore.com>
* s-taasde.ads, gnat_ugn.texi, s-tadeca.adb, sem_res.adb, s-tadeca.ads:
Minor reformatting and code clean up.
2014-01-20 Arnaud Charlet <charlet@adacore.com>
* sem_cat.adb (Validate_Object_Declaration): Relax semantics
of objects of private type if Relaxed_RM_Semantics.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206823 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/s-taasde.ads')
-rw-r--r-- | gcc/ada/s-taasde.ads | 27 |
1 files changed, 12 insertions, 15 deletions
diff --git a/gcc/ada/s-taasde.ads b/gcc/ada/s-taasde.ads index 80039feeba9..dc4165a122c 100644 --- a/gcc/ada/s-taasde.ads +++ b/gcc/ada/s-taasde.ads @@ -81,7 +81,7 @@ package System.Tasking.Async_Delays is -- abort_undefer.all; -- end; -- end if; - -- + -- if Timed_Out (DB'Unchecked_Access) then -- ...continuation for timeout case... -- end if; @@ -108,9 +108,8 @@ package System.Tasking.Async_Delays is pragma Inline (Timed_Out); -- Return True if the delay specified in D has timed out - -- There are child units for delays on Ada.Calendar.Time and - -- Ada.Real_Time.Time, so that an application will not need to link in - -- features that is not using. + -- There are child units for delays on Ada.Calendar.Time/Ada.Real_Time.Time + -- so that an application need not link in features that it is not using. private @@ -119,11 +118,10 @@ private -- ID of the calling task Level : ATC_Level_Base; - -- Normally Level is the ATC nesting level of the - -- async. select statement to which this delay belongs, but - -- after a call has been dequeued we set it to - -- ATC_Level_Infinity so that the Cancel operation can - -- detect repeated calls, and act idempotently. + -- Normally Level is the ATC nesting level of the asynchronous select + -- statement to which this delay belongs, but after a call has been + -- dequeued we set it to ATC_Level_Infinity so that the Cancel operation + -- can detect repeated calls, and act idempotently. Resume_Time : Duration; -- The absolute wake up time, represented as Duration @@ -135,16 +133,15 @@ private -- A double linked list end record; - -- The above "overlaying" of Self_ID and Level to hold other - -- data that has a non-overlapping lifetime is an unabashed - -- hack to save memory. + -- The above "overlaying" of Self_ID and Level to hold other data that has + -- a non-overlapping lifetime is an unabashed hack to save memory. procedure Time_Enqueue (T : Duration; D : Delay_Block_Access); pragma Inline (Time_Enqueue); - -- Used by the child units to enqueue delays on the timer queue - -- implemented in the body of this package. T denotes a point in time as - -- the duration elapsed since the epoch of the Ada real-time clock. + -- Used by the child units to enqueue delays on the timer queue implemented + -- in the body of this package. T denotes a point in time as the duration + -- elapsed since the epoch of the Ada real-time clock. end System.Tasking.Async_Delays; |