How do I recognize identifiers that can start with a number?
Created May 4, 2012
Terence Parr How about factoring...easiest way:
ID_OR_NUM : DIGITS (ID {$setType(ID);} | {$setType(NUMBER);}) ;
where ID and NUMBER are protected...