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/restrict.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/restrict.ads')
| -rw-r--r-- | gcc/ada/restrict.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/restrict.ads b/gcc/ada/restrict.ads index 92709c9..31cecd7 100644 --- a/gcc/ada/restrict.ads +++ b/gcc/ada/restrict.ads @@ -265,8 +265,8 @@ package Restrict is -- SPARK restriction is set, then an error is issued on N. Msg is appended -- to the restriction failure message. - procedure Check_Formal_Restriction (Msg1, Msg2 : String; N : Node_Id); - -- Same as Check_Formal_Restriction except there is a continuation message + procedure Check_SPARK_Restriction (Msg1, Msg2 : String; N : Node_Id); + -- Same as Check_SPARK_Restriction except there is a continuation message -- Msg2 following the initial message Msg1. procedure Check_Implicit_Dynamic_Code_Allowed (N : Node_Id); |