sem_prag.adb, [...]: Minor reformatting.

2017-04-25  Hristian Kirtchev  <kirtchev@adacore.com>

	* sem_prag.adb, sem_prag.ads: Minor reformatting.

From-SVN: r247165

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index b856420..084b900 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2017-04-25  Hristian Kirtchev  <kirtchev@adacore.com>
+
+       * sem_prag.adb, sem_prag.ads: Minor reformatting.
+
 2017-04-25  Ed Schonberg  <schonberg@adacore.com>
 
        * sem_ch3.adb (Check_Entry_Contract): Call

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index aebc0a6..7a996bf 100644 (file)
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -231,12 +231,17 @@ package body Sem_Prag is
    function Find_Related_Context
      (Prag      : Node_Id;
       Do_Checks : Boolean := False) return Node_Id;
-   --  Subsidiaty to the analysis of pragmas Async_Readers, Async_Writers,
-   --  Constant_After_Elaboration, Effective_Reads, Effective_Writers and
-   --  Part_Of. Find the first source declaration or statement found while
-   --  traversing the previous node chain starting from pragma Prag. If flag
-   --  Do_Checks is set, the routine reports duplicate pragmas. The routine
-   --  returns Empty when reaching the start of the node chain.
+   --  Subsidiary to the analysis of pragmas
+   --    Async_Readers
+   --    Async_Writers
+   --    Constant_After_Elaboration
+   --    Effective_Reads
+   --    Effective_Writers
+   --    Part_Of
+   --  Find the first source declaration or statement found while traversing
+   --  the previous node chain starting from pragma Prag. If flag Do_Checks is
+   --  set, the routine reports duplicate pragmas. The routine returns Empty
+   --  when reaching the start of the node chain.
 
    function Get_Base_Subprogram (Def_Id : Entity_Id) return Entity_Id;
    --  If Def_Id refers to a renamed subprogram, then the base subprogram (the

diff --git a/gcc/ada/sem_prag.ads b/gcc/ada/sem_prag.ads
index 049c5c4..401b779 100644 (file)
--- 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