Next: Volatile_Objects_Without_Address_Clauses, Previous: USE_PACKAGE_Clauses, Up: Predefined Rules
Visible_ComponentsFlags all the type declarations located in the visible part of a library package or a library generic package that can declare a visible component. A type is considered as declaring a visible component if it contains a record definition by its own or as a part of a record extension. Type declaration is flagged even if it contains a record definition that defines no components.
Declarations located in private parts of local (generic) packages are not flagged. Declarations in private packages are not flagged.
This rule has no parameters.