" -l Minimize after most operations (default)\n"
" -e Minimize after every operation\n"
"visualization:\n"
+" -x Run the frontend only: emit XML intermediate format\n"
" -V Generate a dot file for Graphviz\n"
" -p Display printable characters on labels\n"
" -S <spec> FSM specification to output (for rlgen-dot)\n"
void processArgs( int argc, char **argv, char *&inputFileName, char *&outputFileName )
{
- ParamCheck pc("fo:nmleabjkS:M:CDJRvHh?-:sT:F:G:P:LpV", argc, argv);
+ ParamCheck pc("xo:nmleabjkS:M:CDJRvHh?-:sT:F:G:P:LpV", argc, argv);
while ( pc.check() ) {
switch ( pc.state ) {
generateDot = true;
break;
- case 'f':
+ case 'x':
frontendOnly = true;
break;
const char *progName = "ragel";
frontendArgs.insert( 0, progName );
- frontendArgs.insert( 1, "-f" );
+ frontendArgs.insert( 1, "-x" );
frontendArgs.append( "-o" );
frontendArgs.append( intermed );
frontendArgs.append( inputFileName );