Next: , Previous: Non_SPARK_Attributes, Up: Predefined Rules


23.6.33 Non_Tagged_Derived_Types

Flag all derived type declarations that do not have a record extension part.

This rule has no parameters.