Next: , Previous: Expanded_Loop_Exit_Names, Up: Predefined Rules


23.7.20 Explicit_Full_Discrete_Ranges

Flag each discrete range that has the form A'First .. A'Last.

This rule has no parameters.