%% %include Jflex.include %include JflexCup.include ANY = [^] BLANC = [ \t\f] NL = \R COMMENT = "#".* IGNORE = {BLANC} | {COMMENT} ENTIER = [0-9]+ IDENT = [:jletter:] [:jletterdigit:]* %% union { return TOKEN(UNION); } inter { return TOKEN(INTER); } diff { return TOKEN(DIFF); } "=" { return TOKEN(AFF); } "(" { return TOKEN(LPAR); } ")" { return TOKEN(RPAR); } "{" { return TOKEN(LSET); } "}" { return TOKEN(RSET); } "," { return TOKEN(COMMA); } {NL} { return TOKEN(NL); } {ENTIER} { return TOKEN(ENTIER,Integer.parseInt(yytext())); } {IDENT} { return TOKEN(VAR, yytext()); } {IGNORE} {} {ANY} { WARN("Unknown char.: " + yytext()); return TOKEN(error); }