Patchwork [Ada] Complete implementation of AI05-0183-1 (aspect specifications)

Oct. 12, 2010, 9:38 a.m.

This AI is now fully implemented, the final stage in this patch is to
recognize the aspect syntax in all declarations where it is allowed.
The following test compiles silently with -gnat12:

procedure AllAspects is
   type R is new Integer
     with Warnings => Off;

   function "+" (A, B : R) return R is abstract
     with Warnings => Off;

   type R55 is record
      I : Integer
        with Warnings => Off;
   end record;

   task type Rtt is
      entry Q
        with Warnings => Off;
   end Rtt
     with Warnings => Off;

   task body Rtt is begin accept Q; end;

   X : exception
     with Warnings => Off;

   package Rpkg is end
     with Warnings => Off;

   I : Integer
     with Warnings => Off;

   type Jtag is tagged null record;

   package P3 is
      type R is private
        with Warnings => Off;
      type J is null record;
      type JJ is new Jtag with private
        with Warnings => Off;
   private
      type R is new Integer;
      type JJ is new Jtag with record
         X : Integer;
      end record;
   end P3;

   task XXX is end
     with Warnings => Off;

   task body XXX is begin null; end;

   subtype Q is Integer range 1 .. 2
     with Warnings => Off;

   procedure ppp
     with Warnings => Off;

   procedure ppp is begin null; end;

   generic package GP is end
     with Warnings => Off;

   package GGPP is new GP
     with Warnings => Off;

   generic procedure PG
     with Warnings => Off;

   procedure PG is begin null; end;

   procedure NPG is new PG
     with Warnings => Off;

   generic function FG return Integer
     with Warnings => Off;

   function FG return Integer is
   begin
      return 1;
   end;

   function FGG is new FG
     with Warnings => Off;

   generic
      A : Integer
        with Warnings => Off;
      type R is private
        with Warnings => Off;
      with package PPP is new GP
        with Warnings => Off;
      with procedure XXX (A : Jtag) is abstract
        with Warnings => Off;
      with procedure YYY
        with Warnings => Off;
   package PPPPP is end;

   protected type P is end
     with Warnings => Off;

   protected body P is end;

   protected PSINGLE is end
     with Warnings => Off;

   protected body PSINGLE is end;

begin
   null;
end;

Tested on x86_64-pc-linux-gnu, committed on trunk

2010-10-12  Robert Dewar  <dewar@adacore.com>

	* aspects.ads, aspects.adb (Move_Aspects): New procedure.
	* atree.ads, atree.adb: (New_Copy): Does not copy aspect specifications
	* sinfo.ads, par-ch3.adb, par-ch6.adb, par-ch7.adb, par-ch9.adb,
	par-endh.adb, par-ch13.adb, par-ch12.adb: Modify grammar to include
	aspect specifications.
	Recognize aspect specifications for all cases
	* par.adb: Recognize aspect specifications for all cases
	* sem_ch12.ads, sem_ch12.adb (Copy_Generic_Node): Copies aspect
	specifications.
	* sem_ch3.adb (Analyze_Subtype_Declaration): Improve patch to freeze
	generic actual types (was missing some guards before).
	* sem_ch9.adb (Analyze_Single_Protected_Declaration): Copy aspects to
	generated object
	(Analyze_Single_Task_Declaration): Copy aspects to generated object

Submitter	Arnaud Charlet
Date	Oct. 12, 2010, 9:38 a.m.
Message ID	<20101012093803.GA6590@adacore.com>
Download	mbox \| patch
Permalink	/patch/67514/
State	New
Headers	show Return-Path: <gcc-patches-return-275207-incoming=patchwork.ozlabs.org@gcc.gnu.org> Date: Tue, 12 Oct 2010 11:38:03 +0200 From: Arnaud Charlet <charlet@adacore.com> To: gcc-patches@gcc.gnu.org Cc: Robert Dewar <dewar@adacore.com> Subject: [Ada] Complete implementation of AI05-0183-1 (aspect specifications) Message-ID: <20101012093803.GA6590@adacore.com> Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="W/nzBZO5zC0uMSeA" Content-Disposition: inline User-Agent: Mutt/1.5.9i Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk Sender: gcc-patches-owner@gcc.gnu.org

Patchwork [Ada] Complete implementation of AI05-0183-1 (aspect specifications)

Comments

Patch