%% /* SPECIFICATION FLEX : numeration */ %include Jflex.include %include JflexCup.include %% [0-9] { return TOKEN ( DIG, yytext().charAt(0) ); } [^] { return TOKEN(SEP); }