Sharing some naming conventions is a key point to make it possible for a team to efficiently collaborate. This rule checks that loop statement labels match a provided regular expression.
^[a-z]|[a-z]+[a-z0-9_]*[a-z0-9]+$
MyForLoop : for i in data'range loop ... end loop MyForLoop; MyWhileLoop : while cnt > 0 loop ... end loop MyWhileLoop; MyInfiniteLoop : loop ... end loop MyInfiniteLoop;
^[a-z]|[a-z]+[a-z0-9_]*[a-z0-9]+$
my_for_loop : for i in data'range loop ... end loop my_for_loop; my_while_loop : while cnt > 0 loop ... end loop my_while_loop; my_infinite_loop : loop ... end loop my_infinite_loop;