diff options
| author | Ian Lance Taylor <iant@golang.org> | 2021-09-13 10:37:49 -0700 |
|---|---|---|
| committer | Ian Lance Taylor <iant@golang.org> | 2021-09-13 10:37:49 -0700 |
| commit | e252b51ccde010cbd2a146485d8045103cd99533 (patch) | |
| tree | e060f101cdc32bf5e520de8e5275db9d4236b74c /gcc/ada/sem_ch3.ads | |
| parent | f10c7c4596dda99d2ee872c995ae4aeda65adbdf (diff) | |
| parent | 104c05c5284b7822d770ee51a7d91946c7e56d50 (diff) | |
| download | gcc-e252b51ccde010cbd2a146485d8045103cd99533.zip gcc-e252b51ccde010cbd2a146485d8045103cd99533.tar.gz gcc-e252b51ccde010cbd2a146485d8045103cd99533.tar.bz2 | |
Merge from trunk revision 104c05c5284b7822d770ee51a7d91946c7e56d50.
Diffstat (limited to 'gcc/ada/sem_ch3.ads')
| -rw-r--r-- | gcc/ada/sem_ch3.ads | 20 |
1 files changed, 9 insertions, 11 deletions
diff --git a/gcc/ada/sem_ch3.ads b/gcc/ada/sem_ch3.ads index e94ce15..eedb98c 100644 --- a/gcc/ada/sem_ch3.ads +++ b/gcc/ada/sem_ch3.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2020, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2021, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -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,14 +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. - - function Is_Null_Extension (T : Entity_Id) return Boolean; - -- Returns True if the tagged type T has an N_Full_Type_Declaration that - -- is a null extension, meaning that it has an extension part without any - -- components and does not have a known discriminant part. + -- 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_Visible_Component (C : Entity_Id; |