diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2023-03-04 18:07:33 +0100 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-25 09:44:17 +0200 |
commit | 54d8dbebf1b1b7f2ff5dcaa50a7b17c116ddb60f (patch) | |
tree | 0cb36a813510f27f7fe40c444ba8f21a9449523c /gcc/ada/sinfo.ads | |
parent | 2288b12cfe60f7bf65f382951449b070f9067da7 (diff) | |
download | gcc-54d8dbebf1b1b7f2ff5dcaa50a7b17c116ddb60f.zip gcc-54d8dbebf1b1b7f2ff5dcaa50a7b17c116ddb60f.tar.gz gcc-54d8dbebf1b1b7f2ff5dcaa50a7b17c116ddb60f.tar.bz2 |
ada: Fix comments for recently added SPARK aspects
Implementation of contract Subprogram_Variant and Exceptional_Cases was
based on the existing code for Contract_Cases, i.e. on the existing
occurrences of Aspect_Contract_Cases, Name_Contract_Cases and
Pragma_Contract_Cases. However, occurrences of "Contract_Cases" itself
in the comments were not updated.
gcc/ada/
* contracts.adb
(Add_Pre_Post_Condition): Mention new aspects in the comment.
* contracts.ads
(Add_Contract_Item): Likewise.
(Analyze_Subprogram_Body_Stub_Contract): Likewise.
* sem_prag.adb
(Contract_Freeze_Error): Likewise.
(Ensure_Aggregate_Form): Likewise.
* sem_prag.ads
(Find_Related_Declaration_Or_Body): Likewise.
* sinfo.ads
(Is_Generic_Contract_Pragma): Likewise.
Diffstat (limited to 'gcc/ada/sinfo.ads')
-rw-r--r-- | gcc/ada/sinfo.ads | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index e6a27e6..e4fd679 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -1712,6 +1712,7 @@ package Sinfo is -- Abstract_State -- Contract_Cases -- Depends + -- Exceptional_Cases -- Extensions_Visible -- Global -- Initial_Condition @@ -1726,6 +1727,7 @@ package Sinfo is -- Refined_Global -- Refined_Post -- Refined_State + -- Subprogram_Variant -- Test_Case -- Is_Homogeneous_Aggregate |