T_Name : Node_Id;
begin
- Tasking_Used := True;
-
T_Name := First (Names (N));
while Present (T_Name) loop
Analyze (T_Name);
procedure Analyze_Accept_Alternative (N : Node_Id) is
begin
- Tasking_Used := True;
-
if Present (Pragmas_Before (N)) then
Analyze_List (Pragmas_Before (N));
end if;
Task_Nam : Entity_Id := Empty; -- initialize to prevent warning
begin
- Tasking_Used := True;
-
-- Entry name is initialized to Any_Id. It should get reset to the
-- matching entry entity. An error is signalled if it is not reset.
Trigger : Node_Id;
begin
- Tasking_Used := True;
Check_Restriction (Max_Asynchronous_Select_Nesting, N);
Check_Restriction (No_Select_Statements, N);
Is_Disp_Select : Boolean := False;
begin
- Tasking_Used := True;
Check_Restriction (No_Select_Statements, N);
-- Ada 2005 (AI-345): The trigger may be a dispatching call
Typ : Entity_Id;
begin
- Tasking_Used := True;
Check_Restriction (No_Delay, N);
if Present (Pragmas_Before (N)) then
E : constant Node_Id := Expression (N);
begin
- Tasking_Used := True;
Check_Restriction (No_Relative_Delay, N);
Check_Restriction (No_Delay, N);
Check_Potentially_Blocking_Operation (N);
Typ : Entity_Id;
begin
- Tasking_Used := True;
Check_Restriction (No_Delay, N);
Check_Potentially_Blocking_Operation (N);
Analyze_And_Resolve (E);
Freeze_Previous_Contracts (N);
- Tasking_Used := True;
-
-- Entry_Name is initialized to Any_Id. It should get reset to the
-- matching entry entity. An error is signalled if it is not reset.
Formals : constant List_Id := Parameter_Specifications (N);
begin
- Tasking_Used := True;
-
if Present (Index) then
Analyze (Index);
Call : constant Node_Id := Entry_Call_Statement (N);
begin
- Tasking_Used := True;
-
if Present (Pragmas_Before (N)) then
Analyze_List (Pragmas_Before (N));
end if;
begin
Generate_Definition (Def_Id);
- Tasking_Used := True;
-
-- Case of no discrete subtype definition
if No (D_Sdef) then
Loop_Id : constant Entity_Id := Make_Temporary (Sloc (N), 'L');
begin
- Tasking_Used := True;
Analyze (Def);
-- There is no elaboration of the entry index specification. Therefore,
Freeze_Previous_Contracts (N);
- Tasking_Used := True;
Mutate_Ekind (Body_Id, E_Protected_Body);
Set_Etype (Body_Id, Standard_Void_Type);
Spec_Id := Find_Concurrent_Spec (Body_Id);
-- Start of processing for Analyze_Protected_Definition
begin
- Tasking_Used := True;
Analyze_Declarations (Visible_Declarations (N));
if not Is_Empty_List (Private_Declarations (N)) then
return;
end if;
- Tasking_Used := True;
Check_Restriction (No_Protected_Types, N);
T := Find_Type_Name (N);
Modes => True,
Warnings => True);
- Tasking_Used := True;
Check_Restriction (No_Requeue_Statements, N);
Check_Unreachable_Code (N);
Alt_Count : Uint := Uint_0;
begin
- Tasking_Used := True;
Check_Restriction (No_Select_Statements, N);
-- Loop to analyze alternatives
begin
Generate_Definition (Obj_Id);
- Tasking_Used := True;
-- A single protected declaration is transformed into a pair of an
-- anonymous protected type and an object of that type. Generate:
begin
Generate_Definition (Obj_Id);
- Tasking_Used := True;
-- A single task declaration is transformed into a pair of an anonymous
-- task type and an object of that type. Generate:
Freeze_Previous_Contracts (N);
- Tasking_Used := True;
Set_Scope (Body_Id, Current_Scope);
Mutate_Ekind (Body_Id, E_Task_Body);
Set_Etype (Body_Id, Standard_Void_Type);
L : Entity_Id;
begin
- Tasking_Used := True;
-
if Present (Visible_Declarations (N)) then
Analyze_Declarations (Visible_Declarations (N));
end if;
-- Proceed ahead with analysis of task type declaration
- Tasking_Used := True;
-
-- The sequential partition elaboration policy is supported only in the
-- restricted profile.
procedure Analyze_Terminate_Alternative (N : Node_Id) is
begin
- Tasking_Used := True;
-
if Present (Pragmas_Before (N)) then
Analyze_List (Pragmas_Before (N));
end if;
Is_Disp_Select : Boolean := False;
begin
- Tasking_Used := True;
Check_Restriction (No_Select_Statements, N);
-- Ada 2005 (AI-345): The trigger may be a dispatching call
Trigger : constant Node_Id := Triggering_Statement (N);
begin
- Tasking_Used := True;
-
if Present (Pragmas_Before (N)) then
Analyze_List (Pragmas_Before (N));
end if;