diff options
| author | Gary Dismukes <dismukes@adacore.com> | 2021-01-29 20:03:34 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-05-07 05:28:59 -0400 |
| commit | 62acd2c453976165d2a6cd48d06a7341408b7e78 (patch) | |
| tree | eb140d38af5ec472cfc9694c74caa480a1004b4f /gcc/ada/sem_ch3.ads | |
| parent | fde5868f3667b2ec0fb43c1b6f8c737be549fcce (diff) | |
| download | gcc-62acd2c453976165d2a6cd48d06a7341408b7e78.zip gcc-62acd2c453976165d2a6cd48d06a7341408b7e78.tar.gz gcc-62acd2c453976165d2a6cd48d06a7341408b7e78.tar.bz2 | |
[Ada] Remove some ??? comments
gcc/ada/
* errout.ads (Size_Too_Small_Message): Remove low-value ???
comment.
* exp_util.ads: Remove ??? in part of overall package comments
and restructure comment to clarify.
(Duplicate_Subexpr): Remove ??? comment that seems unnecessary.
* sem_ch3.ads (Analyze_Declarations): Remove two parenthesized
??? comments and add more description of the procedure's
actions.
(Get_Discriminant_Value): Remove ??? comment requesting more
documentation, expanding description of the function's actions.
* sem_disp.ads (Check_Operation_From_Incomplete_Type): Add more
semantic description of the procedure and remove ??? comment
requesting such.
(Propagate_Tag): Refine comment to indicate meaning of formal
parameters and generally improve the spec comment (and remove
??? comment asking about the parameters).
Diffstat (limited to 'gcc/ada/sem_ch3.ads')
| -rw-r--r-- | gcc/ada/sem_ch3.ads | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/gcc/ada/sem_ch3.ads b/gcc/ada/sem_ch3.ads index 0299e05..dcd4a34 100644 --- a/gcc/ada/sem_ch3.ads +++ b/gcc/ada/sem_ch3.ads @@ -69,8 +69,10 @@ package Sem_Ch3 is -- interface primitives with the tagged type primitives that cover them. procedure Analyze_Declarations (L : List_Id); - -- Called to analyze a list of declarations (in what context ???). Also - -- performs necessary freezing actions (more description needed ???) + -- Called to analyze a list of declarations. Also performs necessary + -- freezing actions (such as freezing remaining unfrozen entities at + -- the end of declarative parts), resolves usage names in aspects, and + -- analyzes contracts that require delay until after freezing is done. procedure Analyze_Interface_Declaration (T : Entity_Id; Def : Node_Id); -- Analyze an interface declaration or a formal interface declaration @@ -169,9 +171,10 @@ package Sem_Ch3 is (Discriminant : Entity_Id; Typ_For_Constraint : Entity_Id; Constraint : Elist_Id) return Node_Id; - -- ??? MORE DOCUMENTATION - -- Given a discriminant somewhere in the Typ_For_Constraint tree and a - -- Constraint, return the value of that discriminant. + -- Given a discriminant Discriminant occurring somewhere up the derivation + -- tree from Typ_For_Constraint and a Constraint, return the expression + -- corresponding to that discriminant in the constraint that specifies its + -- value. function Is_Null_Extension (T : Entity_Id) return Boolean; -- Returns True if the tagged type T has an N_Full_Type_Declaration that |