JFlex source - Formula

package szabivan.cup;
import java_cup.runtime.*;

%%

%class FormulaLexer
%unicode
%cup
%line
%column
%public

%{
  private Symbol symbol( int type ){ return new Symbol(type, yyline, yycolumn); }
  private Symbol symbol( int type, Object value ){ return new Symbol(type, yyline, yycolumn, value); }
%}

%%

"V"   { return symbol( FormulaParserSym.VEE ); }
"&"   { return symbol( FormulaParserSym.WEDGE ); }
"~"   { return symbol( FormulaParserSym.NEGATION ); }
"->"  { return symbol( FormulaParserSym.IMPLIES ); }
"<->" { return symbol( FormulaParserSym.IFF ); }
"("   { return symbol( FormulaParserSym.LPAREN ); }
")"   { return symbol( FormulaParserSym.RPAREN ); }
[:jletter:][:jletterdigit:]*  { return symbol( FormulaParserSym.VARIABLE, yytext() ); }
[ \t]+ {}
[^]    { throw new Error("Illegal character <"+yytext()+">"); }