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/contracts.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/contracts.ads')
| -rw-r--r-- | gcc/ada/contracts.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/contracts.ads b/gcc/ada/contracts.ads index a53565f..0625b9f 100644 --- a/gcc/ada/contracts.ads +++ b/gcc/ada/contracts.ads @@ -45,6 +45,7 @@ package Contracts is -- Depends -- Effective_Reads -- Effective_Writes + -- Exceptional_Cases -- Extensions_Visible -- Global -- Initial_Condition @@ -58,6 +59,7 @@ package Contracts is -- Refined_Global -- Refined_Post -- Refined_States + -- Subprogram_Variant -- Test_Case -- Volatile_Function @@ -173,12 +175,14 @@ package Contracts is -- -- Contract_Cases -- Depends + -- Exceptional_Cases -- Global -- Postcondition -- Precondition -- Refined_Depends -- Refined_Global -- Refined_Post + -- Subprogram_Variant -- Test_Case procedure Analyze_Task_Contract (Task_Id : Entity_Id); |