OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Fix comments as volatility properties can apply to objects

Browse Source 
gcc/ada/

	* sem_util.adb, sem_util.ads: Comment fix.
This commit is contained in:
Yannick Moy 2020-07-17 09:47:44 +02:00 committed by Pierre-Marie de Rodat
parent 8281a07f0c
commit 562ccc89f5
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gcc/ada/sem_util.adb
View 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;

8
gcc/ada/sem_util.ads
View 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;