From 90e8523311e9616c99a9fc9cfa2454f753eb9f13 Mon Sep 17 00:00:00 2001 From: Yannick Moy Date: Thu, 15 Mar 2012 08:48:36 +0000 Subject: aspects.adb, [...] (Aspect_Id): New GNAT aspect Aspect_Contract_Case. 2012-03-15 Yannick Moy * aspects.adb, aspects.ads (Aspect_Id): New GNAT aspect Aspect_Contract_Case. * gnat_rm.texi Document the new pragma/aspect Contract_Case. Correct the documentation of the existing pragma/aspect Test_Case with the new semantics. * sem_attr.adb (Analyze_Attribute): Allow use of 'Result in the Ensures component of a Contract_Case pragma. * sem_ch13.adb (Analyze_Aspect_Specifications): Check new aspect and translate it into a pragma. (Check_Aspect_At_Freeze_Point): Take into account the new aspect. * sem_ch3.adb, sinfo.adb, sinfo.ads Renaming of TC (for test case) into CTC (for contract and test case). * sem_ch6.adb (Process_PPCs): Generate Check pragmas from Contract_Case pragmas, similarly to what is done already for postconditions. * sem_prag.adb, sem_prag.ads (Check_Contract_Or_Test_Case): Renaming of Check_Test_Case. (Analyze_Pragma, Sig_Flags): Take into account the new pragma. * sem_util.adb, sem_util.ads Renaming to take into account the new pragma, so that functions which applied only to Test_Case now apply to both Test_Case and Contract_Case. * par-prag.adb, sem_warn.adb, snames.ads-tmpl Take into account the new pragma. From-SVN: r185415 --- gcc/ada/aspects.adb | 1 + 1 file changed, 1 insertion(+) (limited to 'gcc/ada/aspects.adb') diff --git a/gcc/ada/aspects.adb b/gcc/ada/aspects.adb index 51f468c..b155a08 100755 --- a/gcc/ada/aspects.adb +++ b/gcc/ada/aspects.adb @@ -249,6 +249,7 @@ package body Aspects is Aspect_Bit_Order => Aspect_Bit_Order, Aspect_Component_Size => Aspect_Component_Size, Aspect_Constant_Indexing => Aspect_Constant_Indexing, + Aspect_Contract_Case => Aspect_Contract_Case, Aspect_CPU => Aspect_CPU, Aspect_Default_Component_Value => Aspect_Default_Component_Value, Aspect_Default_Iterator => Aspect_Default_Iterator, -- cgit v1.1