Next: Declarations_In_Blocks, Previous: Boolean_Relational_Operators, Up: Predefined Rules
Controlled_Type_Declarations
Flag all declarations of controlled types. A declaration of a private type
is flagged if its full declaration declares a controlled type. A declaration
of a derived type is flagged if its ancestor type is controlled. Subtype
declarations are not checked. A declaration of a type that itself is not a
descendant of a type declared in Ada.Finalization but has a controlled
component is not checked.
This rule has no parameters.