diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-09-05 08:07:00 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-09-05 08:07:00 +0000 |
| commit | 1d9b970a8fc86e69c3eeb9314b9a5de609047115 (patch) | |
| tree | 4719707ee1466c01c795cf2a027236826eba7d41 /gcc/ada/g-semaph.ads | |
| parent | 0759bfdcbc2b16b34d811b699902287f5386df46 (diff) | |
| download | gcc-1d9b970a8fc86e69c3eeb9314b9a5de609047115.tar.gz | |
2005-09-01 Robert Dewar <dewar@adacore.com>
* a-dirval-mingw.adb, a-direct.adb, a-coinve.adb,
g-dynhta.adb, g-dynhta.ads, cstand.adb, exp_smem.adb, g-debuti.ads,
g-dirope.adb, g-table.adb, lib-sort.adb, sem_maps.adb,
exp_fixd.adb, exp_aggr.adb, a-intnam-mingw.ads, a-intnam-vxworks.ads,
g-arrspl.adb, g-arrspl.ads, g-awk.adb, g-awk.ads, g-boubuf.ads,
g-boubuf.ads, g-boubuf.ads, g-bubsor.ads, g-bubsor.adb, g-busora.adb,
g-busora.ads, g-busorg.adb, g-busorg.ads, g-calend.adb, g-calend.ads,
g-casuti.adb, g-casuti.ads, g-catiio.adb, g-catiio.ads, g-cgi.adb,
g-cgi.ads, g-cgicoo.adb, g-cgicoo.ads, g-cgideb.adb, g-cgideb.ads,
g-comlin.adb, g-comver.ads, g-semaph.ads, g-socthi.ads,
sem_ch7.adb, a-direio.adb, a-caldel.ads, i-cstrea-vms.adb,
a-ztedit.adb, a-ztenau.adb, g-socthi-vms.adb, g-socthi-vms.ads,
g-socthi-mingw.adb, g-socthi-mingw.ads, g-socthi-vxworks.ads,
a-intnam-irix.ads, a-intnam-irix.ads, a-intnam-hpux.ads,
a-intnam-os2.ads, a-intnam-os2.ads, a-caldel-vms.adb, a-calend-vms.adb,
a-calend-vms.ads, g-heasor.adb, g-heasor.ads, g-hesora.adb,
g-hesora.ads, g-hesorg.adb, g-hesorg.ads, g-htable.adb, g-htable.ads,
g-io.adb, g-io.ads, g-io_aux.adb, g-io_aux.ads, g-locfil.ads,
g-memdum.adb, g-memdum.ads, g-traceb.adb, g-traceb.ads, i-cobol.adb,
i-cobol.ads, i-cstrea.ads, i-cstrin.adb, a-wtedit.adb, a-tifiio.adb,
a-wtenau.adb, a-wtenau.adb, a-teioed.adb: Minor reformatting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@103894 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/g-semaph.ads')
| -rw-r--r-- | gcc/ada/g-semaph.ads | 37 |
1 files changed, 18 insertions, 19 deletions
diff --git a/gcc/ada/g-semaph.ads b/gcc/ada/g-semaph.ads index 1089c7f4af6..a1ed4e9e797 100644 --- a/gcc/ada/g-semaph.ads +++ b/gcc/ada/g-semaph.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2003 Ada Core Technologies, Inc. -- +-- Copyright (C) 2003-2005, AdaCore -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -40,7 +40,7 @@ with System; package GNAT.Semaphores is Default_Ceiling : constant System.Priority := System.Default_Priority; - -- A convenient value for the priority discriminants that follow. + -- A convenient value for the priority discriminants that follow ------------------------ -- Counting_Semaphore -- @@ -52,19 +52,18 @@ package GNAT.Semaphores is -- value of this counter is set by clients via the discriminant. Ceiling : System.Priority) - -- Users must specify the ceiling priority for the object. - -- If the Real-Time Systems Annex is not in use this value - -- is not important. + -- Users must specify the ceiling priority for the object. If the + -- Real-Time Systems Annex is not in use this value is not important. is pragma Priority (Ceiling); entry Seize; - -- Blocks caller until/unless the semaphore's internal counter - -- is greater than zero. - -- Decrements the semaphore's internal counter when executed. + -- Blocks caller until/unless the semaphore's internal counter is + -- greater than zero. Decrements the semaphore's internal counter when + -- executed. procedure Release; - -- Increments the semaphore's internal counter. + -- Increments the semaphore's internal counter private Count : Natural := Initial_Value; @@ -75,23 +74,23 @@ package GNAT.Semaphores is ---------------------- protected type Binary_Semaphore - (Initially_Available : Boolean; - -- Binary semaphores are either available or not; there is no - -- internal count involved. The discriminant value determines - -- whether the individual object is initially available. + (Initially_Available : Boolean; + -- Binary semaphores are either available or not; there is no internal + -- count involved. The discriminant value determines whether the + -- individual object is initially available. + Ceiling : System.Priority) - -- Users must specify the ceiling priority for the object. - -- If the Real-Time Systems Annex is not in use - -- this value is not important. + -- Users must specify the ceiling priority for the object. If the + -- Real-Time Systems Annex is not in use this value is not important. is pragma Priority (Ceiling); entry Seize; - -- Blocks the caller unless/until semaphore is available. - -- After execution the semaphore is no longer available. + -- Blocks the caller unless/until semaphore is available. After + -- execution the semaphore is no longer available. procedure Release; - -- Makes the semaphore available. + -- Makes the semaphore available private Available : Boolean := Initially_Available; |