]> gcc.gnu.org Git - gcc.git/commitdiff
[Ada] Fix comments as volatility properties can apply to objects
authorYannick Moy <moy@adacore.com>
Fri, 17 Jul 2020 07:47:44 +0000 (09:47 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 20 Oct 2020 07:21:37 +0000 (03:21 -0400)
gcc/ada/

* sem_util.adb, sem_util.ads: Comment fix.

gcc/ada/sem_util.adb
gcc/ada/sem_util.ads

index 085ec69473b67ed992f2948917102ea9742aed07..f85dfd78a0ea147bd190d6a446e9b93bdc10142c 100644 (file)
@@ -116,7 +116,7 @@ package body Sem_Util is
      (Item_Id  : Entity_Id;
       Property : Name_Id) return Boolean;
    --  Subsidiary to routines Async_xxx_Enabled and Effective_xxx_Enabled.
-   --  Determine whether the state abstraction, variable, or type denoted by
+   --  Determine whether the state abstraction, object, or type denoted by
    --  entity Item_Id has enabled property Property.
 
    function Has_Null_Extension (T : Entity_Id) return Boolean;
index 181c657d7289e41c48dd7760d3696c3d6de2b2c1..73c7d2b78437d483d745b165b96f86efb64cd456 100644 (file)
@@ -157,11 +157,11 @@ package Sem_Util is
    --  force an error).
 
    function Async_Readers_Enabled (Id : Entity_Id) return Boolean;
-   --  Id should be the entity of a state abstraction, a variable, or a type.
+   --  Id should be the entity of a state abstraction, an object, or a type.
    --  Returns True iff Id is subject to external property Async_Readers.
 
    function Async_Writers_Enabled (Id : Entity_Id) return Boolean;
-   --  Id should be the entity of a state abstraction, a variable, or a type.
+   --  Id should be the entity of a state abstraction, an object, or a type.
    --  Returns True iff Id is subject to external property Async_Writers.
 
    function Available_Full_View_Of_Component (T : Entity_Id) return Boolean;
@@ -676,11 +676,11 @@ package Sem_Util is
    --  are looked through.
 
    function Effective_Reads_Enabled (Id : Entity_Id) return Boolean;
-   --  Id should be the entity of a state abstraction, a variable, or a type.
+   --  Id should be the entity of a state abstraction, an object, or a type.
    --  Returns True iff Id is subject to external property Effective_Reads.
 
    function Effective_Writes_Enabled (Id : Entity_Id) return Boolean;
-   --  Id should be the entity of a state abstraction, a variable, or a type.
+   --  Id should be the entity of a state abstraction, an object, or a type.
    --  Returns True iff Id is subject to external property Effective_Writes.
 
    function Enclosing_Comp_Unit_Node (N : Node_Id) return Node_Id;
This page took 0.111646 seconds and 5 git commands to generate.