diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-07-07 15:16:05 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-07-07 15:16:05 +0200 |
| commit | 8c519039a6363f0013d92f2e742adee4800806a0 (patch) | |
| tree | 7e392e2007a8885558424eaf320f5844e82f4d38 /gcc/ada/sem_prag.ads | |
| parent | 1c122092dcf48801c638abdf070f18c6fe025ad6 (diff) | |
| download | gcc-8c519039a6363f0013d92f2e742adee4800806a0.zip gcc-8c519039a6363f0013d92f2e742adee4800806a0.tar.gz gcc-8c519039a6363f0013d92f2e742adee4800806a0.tar.bz2 | |
[multiple changes]
2016-07-07 Gary Dismukes <dismukes@adacore.com>
* sem_ch3.adb, sem_prag.adb, sem_prag.ads, prj-ext.adb, freeze.adb,
sem_attr.adb: Minor reformatting, fix typos.
2016-07-07 Justin Squirek <squirek@adacore.com>
* sem_ch12.adb (In_Same_Scope): Created this function to check
a generic package definition against an instantiation for scope
dependancies.
(Install_Body): Add function In_Same_Scope and
amend conditional in charge of delaying the package instance.
(Is_In_Main_Unit): Add guard to check if parent is present in
assignment of Current_Unit.
From-SVN: r238115
Diffstat (limited to 'gcc/ada/sem_prag.ads')
| -rw-r--r-- | gcc/ada/sem_prag.ads | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/sem_prag.ads b/gcc/ada/sem_prag.ads index 16ff72d..c442d55 100644 --- a/gcc/ada/sem_prag.ads +++ b/gcc/ada/sem_prag.ads @@ -244,21 +244,21 @@ package Sem_Prag is procedure Analyze_Test_Case_In_Decl_Part (N : Node_Id); -- Perform preanalysis of pragma Test_Case - procedure Build_Classwide_Expression + procedure Build_Class_Wide_Expression (Prag : Node_Id; Subp : Entity_Id; Par_Subp : Entity_Id; Adjust_Sloc : Boolean); - -- Build the expression for an inherited classwide condition. Prag is + -- Build the expression for an inherited class-wide condition. Prag is -- the pragma constructed from the corresponding aspect of the parent - -- subprogram, and Subp is the overridding operation and Par_Subp is + -- subprogram, and Subp is the overriding operation and Par_Subp is -- the overridden operation that has the condition. Adjust_Sloc is True -- when the sloc of nodes traversed should be adjusted for the inherited -- pragma. The routine is also called to check whether an inherited -- operation that is not overridden but has inherited conditions need -- a wrapper, because the inherited condition includes calls to other -- primitives that have been overridden. In that case the first argument - -- is the expression of the original classwide aspect. In SPARK_Mode, such + -- is the expression of the original class-wide aspect. In SPARK_Mode, such -- operation which are just inherited but have modified pre/postconditions -- are illegal. |