Neat ;)
----- Original Message -----
From: "Ric Klaren" <ric.klaren at gmail.com>
This is probably a bit friendlier than the big lookahead option:
ID: // classical ID code
....
{
if( $getText.equals("__attribute__") || .. )
$setType(Token.SKIP);
}
;