diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2017-04-25 09:37:51 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-25 11:37:51 +0200 |
| commit | db78cb813401d088fb7ad35825f0bac9b9ef4754 (patch) | |
| tree | bb499403a3d0cfea45626cf5c925ed5f274782d8 /gcc/ada/sem_prag.ads | |
| parent | 2671885430ef8e938206bf41d907cfd40f6852db (diff) | |
| download | gcc-db78cb813401d088fb7ad35825f0bac9b9ef4754.zip gcc-db78cb813401d088fb7ad35825f0bac9b9ef4754.tar.gz gcc-db78cb813401d088fb7ad35825f0bac9b9ef4754.tar.bz2 | |
sem_prag.adb, [...]: Minor reformatting.
2017-04-25 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb, sem_prag.ads: Minor reformatting.
From-SVN: r247165
Diffstat (limited to 'gcc/ada/sem_prag.ads')
| -rw-r--r-- | gcc/ada/sem_prag.ads | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/gcc/ada/sem_prag.ads b/gcc/ada/sem_prag.ads index 049c5c4..401b779 100644 --- a/gcc/ada/sem_prag.ads +++ b/gcc/ada/sem_prag.ads @@ -357,12 +357,15 @@ package Sem_Prag is function Find_Related_Package_Or_Body (Prag : Node_Id; Do_Checks : Boolean := False) return Node_Id; - -- Subsidiary to the analysis of pragmas Abstract_State, Initial_Condition, - -- Initializes and Refined_State. Find the declaration of the related - -- package [body] subject to pragma Prag. The return value is either - -- N_Package_Declaration, N_Package_Body or Empty if the placement of - -- the pragma is illegal. If flag Do_Checks is set, the routine reports - -- duplicate pragmas. + -- Subsidiary to the analysis of pragmas + -- Abstract_State + -- Initial_Condition + -- Initializes + -- Refined_State + -- Find the declaration of the related package [body] subject to pragma + -- Prag. The return value is either N_Package_Declaration, N_Package_Body, + -- or Empty if the placement of the pragma is illegal. If flag Do_Checks is + -- set, the routine reports duplicate pragmas. function Find_Related_Declaration_Or_Body (Prag : Node_Id; @@ -372,6 +375,7 @@ package Sem_Prag is -- Depends -- Extensions_Visible -- Global + -- Max_Queue_Length -- Post -- Post_Class -- Postcondition @@ -382,6 +386,7 @@ package Sem_Prag is -- Refined_Global -- Refined_Post -- Test_Case + -- Volatile_Function -- as well as attributes 'Old and 'Result. Find the declaration of the -- related entry, subprogram or task type [body] subject to pragma Prag. -- If flag Do_Checks is set, the routine reports duplicate pragmas and |