diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-03 11:17:28 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-03 11:17:28 +0200 |
| commit | c4d67e2d730f6a8e45182a384b5b674f5134bc64 (patch) | |
| tree | 2f36ebbabd6d8f0da8f9326f7c1404ccfd4d24e2 /gcc/ada/prj-ext.ads | |
| parent | 3f5a8feea3381fb0311e4d1a264c0661f37432dd (diff) | |
| download | gcc-c4d67e2d730f6a8e45182a384b5b674f5134bc64.zip gcc-c4d67e2d730f6a8e45182a384b5b674f5134bc64.tar.gz gcc-c4d67e2d730f6a8e45182a384b5b674f5134bc64.tar.bz2 | |
[multiple changes]
2011-08-03 Yannick Moy <moy@adacore.com>
* sem_ch6.adb (New_Overloaded_Entity): only issue error for SPARK
restriction on overloaded entity if the entity is not an operator.
2011-08-03 Yannick Moy <moy@adacore.com>
* sem_ch7.adb, sem_res.adb, sem_attr.adb, restrict.adb,
restrict.ads: Rename remaining Check_Formal_Restriction* into
Check_SPARK_Restriction*.
2011-08-03 Emmanuel Briot <briot@adacore.com>
* prj-proc.adb, prj-part.adb, prj.adb, prj.ads, prj-nmsc.adb,
prj-nmsc.ads, prj-err.adb (Project_Data): now discriminated on its
qualifier.
(Project_Empty): removed
(Empty_Project): new parameter Qualifier
This is used to have fields specific to aggregate projects, cleaner
New field to store the list of aggregated projects.
(Check_Aggregate_Project): removed
(Process_Aggregated_Projects, Free): new subprograms.
From-SVN: r177243
Diffstat (limited to 'gcc/ada/prj-ext.ads')
0 files changed, 0 insertions, 0 deletions