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...

0 Comments  (click to add your comment)
Comment and Contribute

 

 

 

 

 


(Maximum characters: 1200). You have 1200 characters left.

 

 

About | Sitemap | Contact