[Ada] Centralize decision on run-time package supporting protected object

[Arnaud Charlet <charlet at adacore dot com>]

Tested on i686-linux, committed on trunk

This patch introduces a new subprogram to centralize in a single
frontend routine the decision on the run-time package that supports
a given package (considering not only the features of the protected
object like number of entries, has interrupt handler, etc. but also
restrictions added by means of pragma restriction). After this patch
gnat.dg/specs/restricted_pkg.ads compiles without errors.

2008-03-26  Javier Miranda  <miranda@adacore.com>

	* exp_ch7.adb (Make_Clean): Code cleanup using the new centralized
	subprogram Corresponding_Runtime_Package to know the runtime package
	that will provide support to a given protected type.

	* exp_ch9.adb (Add_Private_Declarations,
	Build_Protected_Subprogram_Call,
	Build_Protected_Entry, Build_Simple_Entry_Call,
	Expand_N_Protected_Body, Expand_N_Protected_Type_Declaration,
	Expand_N_Timed_Entry_Call, Make_Initialize_Protection): Code
	cleanup using the new centralized subprogram Corresponding_Runtime
	Package to know the runtime package that provides support to
	a given protected type.

Attachment: difs
Description: Text document