[Ada] Ada 2012 aspect Synchronization

This patch adds some minor missing support for aspect Synchronization which is
later transformed into pragma Implemented by the expander.

------------
-- Source --
------------

--  checks.ads

package Checks is
   type Synch_Iface is synchronized interface;

   procedure With_Entry
     (Obj : in out Synch_Iface;
      Val : Integer) is abstract
   with Synchronization => By_Entry;
   procedure With_Procedure
     (Obj : in out Synch_Iface;
      Val : Integer) is abstract
   with Synchronization => By_Protected_Procedure;
   procedure With_Optional
     (Obj : in out Synch_Iface;
      Val : Integer) is abstract
   with Synchronization => Optional;

   protected type Prot_1 is new Synch_Iface with
      entry With_Entry (Val : Integer);
      entry With_Procedure (Val : Integer);  --  Illegal
      entry With_Optional (Val : Integer);
   end Prot_1;

   protected type Prot_2 is new Synch_Iface with
      procedure With_Entry (Val : Integer);  --  Illegal
      procedure With_Procedure (Val : Integer);
      procedure With_Optional (Val : Integer);
   end Prot_2;

   task type Task_1 is new Synch_Iface with
      entry With_Entry (Val : Integer);
      entry With_Procedure (Val : Integer);  --  Illegal
      entry With_Optional (Val : Integer);
   end Task_1;

   task type Task_2 is new Synch_Iface with
      entry Dummy;
   end Task_2;
   procedure With_Entry (Obj : in out Task_2; Val : Integer);  --  Illegal
   procedure With_Procedure (Obj : in out Task_2; Val : Integer);  --  Illegal
   procedure With_Optional (Obj : in out Task_2; Val : Integer);
end Checks;

--  checks.adb

package body Checks is
   protected body Prot_1 is
      entry With_Entry (Val : Integer) when True is
      begin
         null;
      end With_Entry;
      entry With_Procedure (Val : Integer) when True is
      begin
         null;
      end With_Procedure;
      entry With_Optional (Val : Integer) when True is
      begin
         null;
      end With_Optional;
   end Prot_1;

   protected body Prot_2 is
      procedure With_Entry (Val : Integer) is
      begin
         null;
      end With_Entry;
      procedure With_Procedure (Val : Integer) is
      begin
         null;
      end With_Procedure;
      procedure With_Optional (Val : Integer) is
      begin
         null;
      end With_Optional;
   end Prot_2;

   task body Task_1 is
   begin
      select
         accept With_Entry (Val : Integer) do
            null;
         end With_Entry;
      or
         accept With_Procedure (Val : Integer) do
            null;
         end With_Procedure;
      or
         accept With_Optional (Val : Integer) do
            null;
         end With_Optional;
      or
         terminate;
      end select;
   end Task_1;

   task body Task_2 is
   begin
      accept Dummy;
   end Task_2;

   procedure With_Entry (Obj : in out Task_2; Val : Integer) is
   begin
      null;
   end With_Entry;
   procedure With_Procedure (Obj : in out Task_2; Val : Integer) is
   begin
      null;
   end With_Procedure;
   procedure With_Optional (Obj : in out Task_2; Val : Integer) is
   begin
      null;
   end With_Optional;
end Checks;

-------------------------------------
-- Compilation and expected output --
-------------------------------------

$ gnatmake -q -gnat12 checks.adb
$ checks.ads:19:13: type "Prot_1" must implement abstract subprogram "With_Procedure" with a procedure
$ checks.ads:24:17: type "Prot_2" must implement abstract subprogram "With_Entry" with an entry
$ checks.ads:31:13: interface subprogram "With_Procedure" cannot be implemented by a primitive procedure of task type "Task_1"
$ checks.ads:38:14: type "Task_2" must implement abstract subprogram "With_Entry" with an entry
$ checks.ads:39:14: interface subprogram "With_Procedure" cannot be implemented by a primitive procedure of task type "Task_2"
$ gnatmake: "checks.adb" compilation error

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

2012-01-23  Hristian Kirtchev  <kirtchev@adacore.com>

	* exp_ch9.adb: Update the comments involving pragma Implemented.
	* sem_ch3.adb (Check_Pragma_Implemented (Entity_Id)): Add local
	constant Subp_Alias and local variable Impl_Subp. Properly
	handle aliases of synchronized wrappers. Code cleanup.
	(Check_Pragma_Implemented (Entity_Id; Entity_Id)): Add
	Name_Optional as part of the condition.
	* sem_prag.adb (Analyze_Pragma): Add "Optional" as one of the
	valid choices of implementation kind.
	(Check_Arg_Is_One_Of): New routine.
	* snames.ads-tmlp: Add Name_Optional.

[Ada] Ada 2012 aspect Synchronization

Commit Message

Patch