[Ada] AI-327

[Arnaud Charlet <charlet at adacore dot com>]

Tested on i686-linux, committed on trunk.

These patches add support in the frontend for a new mechanism
defined in Ada 2005 that enables the ceiling priority of a
protected object to be changed by assignment to the new attribute
Priority within a protected operation of the object.

For further information read:
http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00327.TXT?rev=1.18

2006-10-31  Javier Miranda  <miranda@adacore.com>

	* s-tpoben.ads, s-tpoben.adb, s-taprob.ads, s-taprob.adb
	(Get_Ceiling): New subprogram that returns
	the ceiling priority of the protected object.
	(Set_Ceiling): New subprogram that sets the new ceiling priority of
	the protected object.

	* s-tarest.adb: (Create_Restricted_Task): Fix potential CE.

	* s-taskin.ads, s-taskin.adb: (Storage_Size): New function.

Attachment: difs
Description: Text document