diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-07-12 12:49:10 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-07-12 12:49:10 +0200 |
| commit | 727e7b1a870bdc057c4cb6d7d09ef1b56a84f222 (patch) | |
| tree | 9754099aee8625dc123639e1fe1bb60689179ee3 /gcc/ada/scos.ads | |
| parent | 03459f403ea66cc694767e8ca351cf6550e148a7 (diff) | |
| download | gcc-727e7b1a870bdc057c4cb6d7d09ef1b56a84f222.zip gcc-727e7b1a870bdc057c4cb6d7d09ef1b56a84f222.tar.gz gcc-727e7b1a870bdc057c4cb6d7d09ef1b56a84f222.tar.bz2 | |
[multiple changes]
2012-07-12 Robert Dewar <dewar@adacore.com>
* s-atopri.adb, s-atopri.ads: Minor reformatting.
2012-07-12 Robert Dewar <dewar@adacore.com>
* ali.adb: Add circuitry to read new named form of restrictions lines.
* debug.adb: Add doc for new -gnatd.R switch (used positional
notation for output of restrictions data in ali file).
* lib-writ.adb: Implement new named format for restrictions lines.
* lib-writ.ads: Add documentation for new named format for
restrictions in ali files.
* restrict.adb, restrict.ads, sem_prag.adb: Update comments.
* rident.ads: Go back to withing System.Rident
* s-rident.ads: Add extensive comment on dealing with consistency
checking.
2012-07-12 Thomas Quinot <quinot@adacore.com>
* par_sco.adb, scos.ads: Emit detailed SCOs for SELECT statements.
From-SVN: r189438
Diffstat (limited to 'gcc/ada/scos.ads')
| -rw-r--r-- | gcc/ada/scos.ads | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/gcc/ada/scos.ads b/gcc/ada/scos.ads index e0e31b6..9f47898 100644 --- a/gcc/ada/scos.ads +++ b/gcc/ada/scos.ads @@ -152,14 +152,16 @@ package SCOs is -- o object declaration -- r renaming declaration -- i generic instantiation - -- C CASE statement (from CASE through end of expression) + -- A ACCEPT statement (from ACCEPT to end of parameter profile) + -- C CASE statement (from CASE to end of expression) -- E EXIT statement - -- F FOR loop (from FOR through end of iteration scheme) - -- I IF statement (from IF through end of condition) + -- F FOR loop (from FOR to end of iteration scheme) + -- I IF statement (from IF to end of condition) -- P[name:] PRAGMA with the indicated name -- p[name:] disabled PRAGMA with the indicated name -- R extended RETURN statement - -- W WHILE loop statement (from WHILE through end of condition) + -- S SELECT statement + -- W WHILE loop statement (from WHILE to end of condition) -- Note: for I and W, condition above is in the RM syntax sense (this -- condition is a decision in SCO terminology). |