diff options
| author | Yannick Moy <moy@adacore.com> | 2013-04-22 10:41:08 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-22 12:41:08 +0200 |
| commit | ddb8a2c7c199ce0f49375bb6d947a45f0f439e6b (patch) | |
| tree | f2e9837ea6a9339e1675e6f060ed7ea549f8beaa /gcc/ada/sem_attr.adb | |
| parent | 541fb4d9bc40ec95eaba46fc2474067b296f1680 (diff) | |
| download | gcc-ddb8a2c7c199ce0f49375bb6d947a45f0f439e6b.zip gcc-ddb8a2c7c199ce0f49375bb6d947a45f0f439e6b.tar.gz gcc-ddb8a2c7c199ce0f49375bb6d947a45f0f439e6b.tar.bz2 | |
par-prag.adb, [...]: Remove all references to Pragma_Contract_Case and Name_Contract_Case.
2013-04-22 Yannick Moy <moy@adacore.com>
* par-prag.adb, sem_attr.adb, sem_ch6.adb, sem_prag.adb, sem_warn.adb,
snames.ads-tmpl, sinfo.ads, sem_util.ads: Remove all references to
Pragma_Contract_Case and Name_Contract_Case.
From-SVN: r198128
Diffstat (limited to 'gcc/ada/sem_attr.adb')
| -rw-r--r-- | gcc/ada/sem_attr.adb | 26 |
1 files changed, 4 insertions, 22 deletions
diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index 42615c1..974a57b 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -4265,10 +4265,7 @@ package body Sem_Attr is if Nkind (Prag) /= N_Pragma then Error_Attr ("% attribute can only appear in postcondition", P); - elsif Get_Pragma_Id (Prag) = Pragma_Contract_Case - or else - Get_Pragma_Id (Prag) = Pragma_Test_Case - then + elsif Get_Pragma_Id (Prag) = Pragma_Test_Case then declare Arg_Ens : constant Node_Id := Get_Ensures_From_CTC_Pragma (Prag); @@ -4281,13 +4278,7 @@ package body Sem_Attr is end loop; if Arg /= Arg_Ens then - if Get_Pragma_Id (Prag) = Pragma_Contract_Case then - Error_Attr - ("% attribute misplaced inside contract case", P); - else - Error_Attr - ("% attribute misplaced inside test case", P); - end if; + Error_Attr ("% attribute misplaced inside test case", P); end if; end; @@ -4681,10 +4672,7 @@ package body Sem_Attr is ("% attribute can only appear in postcondition of function", P); - elsif Get_Pragma_Id (Prag) = Pragma_Contract_Case - or else - Get_Pragma_Id (Prag) = Pragma_Test_Case - then + elsif Get_Pragma_Id (Prag) = Pragma_Test_Case then declare Arg_Ens : constant Node_Id := Get_Ensures_From_CTC_Pragma (Prag); @@ -4697,13 +4685,7 @@ package body Sem_Attr is end loop; if Arg /= Arg_Ens then - if Get_Pragma_Id (Prag) = Pragma_Contract_Case then - Error_Attr - ("% attribute misplaced inside contract case", P); - else - Error_Attr - ("% attribute misplaced inside test case", P); - end if; + Error_Attr ("% attribute misplaced inside test case", P); end if; end; |