-- Interfaces Elist25
-- Debug_Renaming_Link Node25
-- DT_Offset_To_Top_Func Node25
+ -- PPC_Wrapper Node25
-- Task_Body_Procedure Node25
-- Dispatch_Table_Wrappers Elist26
-- OK_To_Rename Flag247
-- (unused) Flag232
-
-- (unused) Flag248
-- (unused) Flag249
-- (unused) Flag250
return Node8 (Id);
end Postcondition_Proc;
+ function PPC_Wrapper (Id : E) return E is
+ begin
+ pragma Assert (Ekind_In (Id, E_Entry, E_Entry_Family));
+ return Node25 (Id);
+ end PPC_Wrapper;
+
function Prival (Id : E) return E is
begin
pragma Assert (Is_Protected_Component (Id));
function Spec_PPC_List (Id : E) return N is
begin
pragma Assert
- (Ekind (Id) = E_Entry
+ (Ekind_In (Id, E_Entry, E_Entry_Family)
or else Is_Subprogram (Id)
or else Is_Generic_Subprogram (Id));
return Node24 (Id);
Set_Node8 (Id, V);
end Set_Postcondition_Proc;
+ procedure Set_PPC_Wrapper (Id : E; V : E) is
+ begin
+ pragma Assert (Ekind_In (Id, E_Entry, E_Entry_Family));
+ Set_Node25 (Id, V);
+ end Set_PPC_Wrapper;
+
procedure Set_Direct_Primitive_Operations (Id : E; V : L) is
begin
pragma Assert
procedure Set_Spec_PPC_List (Id : E; V : N) is
begin
pragma Assert
- (Ekind_In (Id, E_Entry, E_Void)
+ (Ekind_In (Id, E_Entry, E_Entry_Family, E_Void)
or else Is_Subprogram (Id)
or else Is_Generic_Subprogram (Id));
Set_Node24 (Id, V);
return Ekind (Id);
end Parameter_Mode;
- ---------------------
- -- Record_Rep_Item --
- ---------------------
-
- procedure Record_Rep_Item (E : Entity_Id; N : Node_Id) is
- begin
- Set_Next_Rep_Item (N, First_Rep_Item (E));
- Set_First_Rep_Item (E, N);
- end Record_Rep_Item;
-
--------------------------
-- Primitive_Operations --
--------------------------
end if;
end Primitive_Operations;
+ ---------------------
+ -- Record_Rep_Item --
+ ---------------------
+
+ procedure Record_Rep_Item (E : Entity_Id; N : Node_Id) is
+ begin
+ Set_Next_Rep_Item (N, First_Rep_Item (E));
+ Set_First_Rep_Item (E, N);
+ end Record_Rep_Item;
+
---------------
-- Root_Type --
---------------
when E_Variable =>
Write_Str ("Debug_Renaming_Link");
+ when E_Entry |
+ E_Entry_Family =>
+ Write_Str ("PPC_Wrapper");
+
when others =>
Write_Str ("Field25??");
end case;