-- Is_Controlled_Active [base type only]
-- Defined in all type entities. Indicates that the type is controlled,
-- i.e. has been declared with the Finalizable or the Destructor aspect
--- or has inherited the this aspect from an ancestor. Can only be set for
+-- or has inherited the aspect from an ancestor. Can only be set for
-- record types, tagged or untagged.
-- System.Finalization_Root.Root_Controlled is an example of the former
-- case while Ada.Finalization.Controlled and
Comp : Boolean := False;
Deriv : Boolean := False);
-- Set Disable_Controlled, Finalize_Storage_Only, Has_Controlled_Component,
- -- Has_Relaxed_Finalization, and Is_Controlled_Active on Typ when the flags
- -- are set on From_Typ. If Comp is True, From_Typ is assumed to be the type
- -- of a component of Typ while, if Deriv is True, From_Typ is assumed to be
- -- the parent type of Typ. This procedure can only set flags for Typ, and
- -- never clear them.
+ -- Has_Destructor, Has_Relaxed_Finalization, and Is_Controlled_Active on
+ -- Typ when the flags are set on From_Typ. If Comp is True, From_Typ is
+ -- assumed to be the type of a component of Typ while, if Deriv is True,
+ -- From_Typ is assumed to be the parent type of Typ. This procedure can
+ -- only set flags for Typ, and never clear them.
procedure Propagate_DIC_Attributes
(Typ : Entity_Id;