Next: Enumeration_Ranges_In_CASE_Statements, Previous: Direct_Calls_To_Primitives, Up: Predefined Rules
Discriminated_RecordsFlag all declarations of record types with discriminants. Only the declarations of record and record extension types are checked. Incomplete, formal, private, derived and private extension type declarations are not checked. Task and protected type declarations also are not checked.
This rule has no parameters.