Next: Float_Equality_Checks, Previous: Expanded_Loop_Exit_Names, Up: Predefined Rules
Explicit_Full_Discrete_Ranges
Flag each discrete range that has the form A'First .. A'Last.
A'First .. A'Last
This rule has no parameters.