-- The parent type is private then we need to inherit any TSS operations
-- from the full view.
- if Ekind (Par_Id) in Private_Kind
+ if Is_Private_Type (Par_Id)
and then Present (Full_View (Par_Id))
then
Par_Id := Base_Type (Full_View (Par_Id));
-- If the derived type itself is private with a full view, then
-- associate the full view with the inherited TSS_Elist as well.
- if Ekind (B_Id) in Private_Kind
+ if Is_Private_Type (B_Id)
and then Present (Full_View (B_Id))
then
Ensure_Freeze_Node (Base_Type (Full_View (B_Id)));
-- because the object has underlying discriminants with defaults.
if Present (Extra_Constrained (Formal)) then
- if Ekind (Etype (Prev)) in Private_Kind
+ if Is_Private_Type (Etype (Prev))
and then not Has_Discriminants (Base_Type (Etype (Prev)))
then
Add_Extra_Actual
end if;
if not Has_Discriminants (Formal_Type)
- and then Ekind (Formal_Type) in Private_Kind
+ and then Is_Private_Type (Formal_Type)
and then Present (Underlying_Type (Formal_Type))
then
Formal_Type := Underlying_Type (Formal_Type);
-- If the entity is a private type, then it must be declared in a
-- visible part.
- if Ekind (T) in Private_Kind then
+ if Is_Private_Type (T) then
return True;
elsif Is_Type (T) and then Has_Private_Declaration (T) then