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.adb | |
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.adb')
-rw-r--r-- | gcc/ada/contracts.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/contracts.adb b/gcc/ada/contracts.adb index c85df0f..e2df8b9 100644 --- a/gcc/ada/contracts.adb +++ b/gcc/ada/contracts.adb @@ -223,11 +223,13 @@ package body Contracts is -- Attach_Handler -- Contract_Cases -- Depends + -- Exceptional_Cases -- Extensions_Visible -- Global -- Interrupt_Handler -- Postcondition -- Precondition + -- Subprogram_Variant -- Test_Case -- Volatile_Function |