dcsimg

How do I recognize identifiers that can start with a number?

Terence Parr

How about factoring...easiest way:

ID_OR_NUM : DIGITS (ID {$setType(ID);} | {$setType(NUMBER);}) ;

where ID and NUMBER are protected...