/*
- * Copyright 2001-2007 Adrian Thurston <thurston@cs.queensu.ca>
+ * Copyright 2001-2007 Adrian Thurston <thurston@complang.org>
*/
/* This file is part of Ragel.
#include <fcntl.h>
#include <errno.h>
-#ifndef _WIN32
-#include <sys/wait.h>
-#else
+#ifdef _WIN32
#include <windows.h>
#include <psapi.h>
#include <time.h>
#include "vector.h"
#include "version.h"
#include "common.h"
+#include "xmlparse.h"
+#include "inputdata.h"
using std::istream;
using std::ostream;
bool frontendOnly = false;
bool generateDot = false;
-ArgsVector frontendArgs;
-ArgsVector backendArgs;
+/* Target language and output style. */
+CodeStyleEnum codeStyle = GenTables;
+
+int numSplitPartitions = 0;
+bool noLineDirectives = false;
+
+bool displayPrintables = false;
+bool graphvizDone = false;
+
+/* Target ruby impl */
+RubyImplEnum rubyImpl = MRI;
+
ArgsVector includePaths;
+istream *inStream = 0;
+ostream *outStream = 0;
+output_filter *outFilter = 0;
+const char *outputFileName = 0;
+
/* Print a summary of the options. */
void usage()
{
" -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"
-" -M <machine> Machine definition/instantiation to output (for rlgen-dot)\n"
+" -S <spec> FSM specification to output (for graphviz output)\n"
+" -M <machine> Machine definition/instantiation to output (for graphviz output)\n"
"host language:\n"
" -C The host language is C, C++, Obj-C or Obj-C++ (default)\n"
" -D The host language is D\n"
void version()
{
cout << "Ragel State Machine Compiler version " VERSION << " " PUBDATE << endl <<
- "Copyright (c) 2001-2007 by Adrian Thurston" << endl;
+ "Copyright (c) 2001-2008 by Adrian Thurston" << endl;
exit(0);
}
}
}
-void processArgs( int argc, const char **argv,
- const char *&inputFileName, const char *&outputFileName )
+void processArgs( int argc, const char **argv, const char *&inputFileName )
{
ParamCheck pc("xo:dnmleabjkS:M:I:CDJRAvHh?-:sT:F:G:P:LpV", argc, argv);
+ /* FIXME: Need to check code styles VS langauge. */
+
while ( pc.check() ) {
switch ( pc.state ) {
case ParamCheck::match:
}
break;
- /* Minimization, mostly hidden options. */
+ /* Flag for turning off duplicate action removal. */
case 'd':
wantDupsRemoved = false;
- frontendArgs.append( "-d" );
break;
/* Minimization, mostly hidden options. */
case 'n':
minimizeOpt = MinimizeNone;
- frontendArgs.append( "-n" );
break;
case 'm':
minimizeOpt = MinimizeEnd;
- frontendArgs.append( "-m" );
break;
case 'l':
minimizeOpt = MinimizeMostOps;
- frontendArgs.append( "-l" );
break;
case 'e':
minimizeOpt = MinimizeEveryOp;
- frontendArgs.append( "-e" );
break;
case 'a':
minimizeLevel = MinimizeApprox;
- frontendArgs.append( "-a" );
break;
case 'b':
minimizeLevel = MinimizeStable;
- frontendArgs.append( "-b" );
break;
case 'j':
minimizeLevel = MinimizePartition1;
- frontendArgs.append( "-j" );
break;
case 'k':
minimizeLevel = MinimizePartition2;
- frontendArgs.append( "-k" );
break;
/* Machine spec. */
else {
/* Ok, remember the path to the machine to generate. */
machineSpec = pc.paramArg;
- frontendArgs.append( "-S" );
- frontendArgs.append( pc.paramArg );
}
break;
else {
/* Ok, remember the machine name to generate. */
machineName = pc.paramArg;
- frontendArgs.append( "-M" );
- frontendArgs.append( pc.paramArg );
}
break;
error() << "please specify an argument to -I" << endl;
else {
includePaths.append( pc.paramArg );
- frontendArgs.append( "-I" );
- frontendArgs.append( pc.paramArg );
}
break;
/* Host language types. */
case 'C':
hostLang = &hostLangC;
- frontendArgs.append( "-C" );
break;
case 'D':
hostLang = &hostLangD;
- frontendArgs.append( "-D" );
break;
case 'J':
hostLang = &hostLangJava;
- frontendArgs.append( "-J" );
break;
case 'R':
hostLang = &hostLangRuby;
- frontendArgs.append( "-R" );
break;
case 'A':
hostLang = &hostLangCSharp;
- frontendArgs.append( "-A" );
break;
/* Version and help. */
break;
case 's':
printStatistics = true;
- frontendArgs.append( "-s" );
break;
case '-': {
char *eq = strchr( pc.paramArg, '=' );
else if ( strcmp( pc.paramArg, "error-format" ) == 0 ) {
if ( eq == 0 )
error() << "expecting '=value' for error-format" << endl;
- else if ( strcmp( eq, "gnu" ) == 0 ) {
+ else if ( strcmp( eq, "gnu" ) == 0 )
errorFormat = ErrorFormatGNU;
- frontendArgs.append( "--error-format=gnu" );
- }
- else if ( strcmp( eq, "msvc" ) == 0 ) {
+ else if ( strcmp( eq, "msvc" ) == 0 )
errorFormat = ErrorFormatMSVC;
- frontendArgs.append( "--error-format=msvc" );
- }
- else {
+ else
error() << "invalid value for error-format" << endl;
- }
}
else if ( strcmp( pc.paramArg, "rbx" ) == 0 )
- backendArgs.append( "--rbx" );
+ rubyImpl = Rubinius;
else {
error() << "--" << pc.paramArg <<
" is an invalid argument" << endl;
/* Passthrough args. */
case 'T':
- backendArgs.append( "-T" );
- backendArgs.append( pc.paramArg );
+ if ( pc.paramArg[0] == '0' )
+ codeStyle = GenTables;
+ else if ( pc.paramArg[0] == '1' )
+ codeStyle = GenFTables;
+ else {
+ error() << "-T" << pc.paramArg[0] <<
+ " is an invalid argument" << endl;
+ exit(1);
+ }
break;
case 'F':
- backendArgs.append( "-F" );
- backendArgs.append( pc.paramArg );
+ if ( pc.paramArg[0] == '0' )
+ codeStyle = GenFlat;
+ else if ( pc.paramArg[0] == '1' )
+ codeStyle = GenFFlat;
+ else {
+ error() << "-F" << pc.paramArg[0] <<
+ " is an invalid argument" << endl;
+ exit(1);
+ }
break;
case 'G':
- backendArgs.append( "-G" );
- backendArgs.append( pc.paramArg );
+ if ( pc.paramArg[0] == '0' )
+ codeStyle = GenGoto;
+ else if ( pc.paramArg[0] == '1' )
+ codeStyle = GenFGoto;
+ else if ( pc.paramArg[0] == '2' )
+ codeStyle = GenIpGoto;
+ else {
+ error() << "-G" << pc.paramArg[0] <<
+ " is an invalid argument" << endl;
+ exit(1);
+ }
break;
case 'P':
- backendArgs.append( "-P" );
- backendArgs.append( pc.paramArg );
+ codeStyle = GenSplit;
+ numSplitPartitions = atoi( pc.paramArg );
break;
+
case 'p':
- backendArgs.append( "-p" );
+ displayPrintables = true;
break;
+
case 'L':
- backendArgs.append( "-L" );
+ noLineDirectives = true;
break;
}
break;
}
}
-int frontend( const char *inputFileName, const char *outputFileName )
+void process( const char *inputFileName )
{
+ bool wantComplete = true;
+ bool outputActive = true;
+
/* Open the input file for reading. */
assert( inputFileName != 0 );
ifstream *inFile = new ifstream( inputFileName );
- istream *inStream = inFile;
if ( ! inFile->is_open() )
error() << "could not open " << inputFileName << " for reading" << endp;
/* Used for just a few things. */
std::ostringstream hostData;
- if ( machineSpec == 0 && machineName == 0 )
- hostData << "<host line=\"1\" col=\"1\">";
+ /* Make the first input item. */
+ InputItem *firstInputItem = new InputItem;
+ firstInputItem->type = InputItem::HostData;
+ firstInputItem->loc.line = 1;
+ firstInputItem->loc.col = 1;
+ inputItems.append( firstInputItem );
- Scanner scanner( inputFileName, *inStream, hostData, 0, 0, 0, false );
+ Scanner scanner( inputFileName, *inFile, 0, 0, 0, false );
scanner.do_scan();
/* Finished, final check for errors.. */
if ( gblErrorCount > 0 )
- return 1;
+ exit(1);
/* Now send EOF to all parsers. */
terminateAllParsers();
/* Finished, final check for errors.. */
if ( gblErrorCount > 0 )
- return 1;
+ exit(1);
+
+ /* Bail on above error. */
+ if ( gblErrorCount > 0 )
+ exit(1);
+
+ /* Locate the backend program */
+ if ( generateDot ) {
+ wantComplete = false;
+ outputActive = false;
+ }
+
+ InputData inputData( inputFileName, outputActive, wantComplete );
+
+ /* Compiles machines. */
+ inputData.prepareMachineGen();
+
+ if ( gblErrorCount > 0 )
+ exit(1);
+
+ inputData.openOutput();
- if ( machineSpec == 0 && machineName == 0 )
- hostData << "</host>\n";
+ /* Generates the reduced machine, which we use to write output. */
+ inputData.generateReduced();
if ( gblErrorCount > 0 )
- return 1;
-
- ostream *outputFile = 0;
- if ( outputFileName != 0 )
- outputFile = new ofstream( outputFileName );
- else
- outputFile = &cout;
+ exit(1);
+
+ inputData.openOutput2();
+ inputData.writeOutput();
- /* Write the machines, then the surrounding code. */
- writeMachines( *outputFile, hostData.str(), inputFileName );
+ /* Close the input and the intermediate file. */
+ delete inFile;
+
+ /* Bail on above error. */
+ if ( gblErrorCount > 0 )
+ exit(1);
- /* Close the intermediate file. */
- if ( outputFileName != 0 )
- delete outputFile;
+ /* If writing to a file, delete the ostream, causing it to flush.
+ * Standard out is flushed automatically. */
+ if ( outputFileName != 0 ) {
+ delete outStream;
+ delete outFilter;
+ }
- return gblErrorCount > 0;
+ /* Finished, final check for errors.. */
+ if ( gblErrorCount > 0 ) {
+ /* If we opened an output file, remove it. */
+ if ( outputFileName != 0 )
+ unlink( outputFileName );
+ exit(1);
+ }
}
char *makeIntermedTemplate( const char *baseFileName )
}
-void cleanExit( const char *intermed, int status )
-{
- unlink( intermed );
- exit( status );
-}
-
-#ifndef _WIN32
-
-/* If any forward slash is found in argv0 then it is assumed that the path is
- * explicit and the path to the backend executable should be derived from
- * that. Whe check that location and also go up one then inside a directory of
- * the same name in case we are executing from the source tree. If no forward
- * slash is found it is assumed the file is being run from the installed
- * location. The PREFIX supplied during configuration is used. */
-char **makePathChecksUnix( const char *argv0, const char *progName )
-{
- char **result = new char*[3];
- const char *lastSlash = strrchr( argv0, '/' );
- int numChecks = 0;
-
- if ( lastSlash != 0 ) {
- char *path = strdup( argv0 );
- int givenPathLen = (lastSlash - argv0) + 1;
- path[givenPathLen] = 0;
-
- int progNameLen = strlen(progName);
- int length = givenPathLen + progNameLen + 1;
- char *check = new char[length];
- sprintf( check, "%s%s", path, progName );
- result[numChecks++] = check;
-
- length = givenPathLen + 3 + progNameLen + 1 + progNameLen + 1;
- check = new char[length];
- sprintf( check, "%s../%s/%s", path, progName, progName );
- result[numChecks++] = check;
- }
- else {
- int prefixLen = strlen(PREFIX);
- int progNameLen = strlen(progName);
- int length = prefixLen + 5 + progNameLen + 1;
- char *check = new char[length];
-
- sprintf( check, PREFIX "/bin/%s", progName );
- result[numChecks++] = check;
- }
-
- result[numChecks] = 0;
- return result;
-}
-
-int main(int argc, const char **argv);
-int cd_main(int argc, const char **argv);
-int java_main(int argc, const char **argv);
-int ruby_main(int argc, const char **argv);
-int csharp_main(int argc, const char **argv);
-
-
-void forkAndExec( const char *progName, char **pathChecks,
- ArgsVector &args, const char *intermed )
-{
-#if 0
- pid_t pid = fork();
- if ( pid < 0 ) {
- /* Error, no child created. */
- error() << "failed to fork for " << progName << endl;
- cleanExit( intermed, 1 );
- }
- else if ( pid == 0 ) {
- /* child */
- while ( *pathChecks != 0 ) {
- /* Execv does not modify argv, it just uses the const form that is
- * compatible with the most code. Ours not included. */
- execv( *pathChecks, (char *const*) args.data );
- pathChecks += 1;
- }
- error() << "failed to exec " << progName << endl;
- cleanExit( intermed, 1 );
- }
-#endif
-
- if ( strcmp( progName, "ragel" ) == 0 )
- main( args.length()-1, args.data );
- else if ( strcmp( progName, "rlgen-cd" ) == 0 )
- cd_main( args.length()-1, args.data );
- else if ( strcmp( progName, "rlgen-java" ) == 0 )
- java_main( args.length()-1, args.data );
- else if ( strcmp( progName, "rlgen-ruby" ) == 0 )
- ruby_main( args.length()-1, args.data );
- else if ( strcmp( progName, "rlgen-csharp" ) == 0 )
- csharp_main( args.length()-1, args.data );
-
-#if 0
- /* Parent process, wait for the child. */
- int status;
- wait( &status );
-
- /* What happened with the child. */
- if ( ! WIFEXITED( status ) ) {
- error() << progName << " did not exit normally" << endl;
- cleanExit( intermed, 1 );
- }
-
- if ( WEXITSTATUS(status) != 0 )
- cleanExit( intermed, WEXITSTATUS(status) );
-#endif
-}
-
-#else
-
-/* GetModuleFileNameEx is used to find out where the the current process's
- * binary is. That location is searched first. If that fails then we go up one
- * directory and look for the executable inside a directory of the same name
- * in case we are executing from the source tree.
- * */
-char **makePathChecksWin( const char *progName )
-{
- int len = 1024;
- char *imageFileName = new char[len];
- HANDLE h = GetCurrentProcess();
- len = GetModuleFileNameEx( h, NULL, imageFileName, len );
- imageFileName[len] = 0;
-
- char **result = new char*[3];
- const char *lastSlash = strrchr( imageFileName, '\\' );
- int numChecks = 0;
-
- assert( lastSlash != 0 );
- char *path = strdup( imageFileName );
- int givenPathLen = (lastSlash - imageFileName) + 1;
- path[givenPathLen] = 0;
-
- int progNameLen = strlen(progName);
- int length = givenPathLen + progNameLen + 1;
- char *check = new char[length];
- sprintf( check, "%s%s", path, progName );
- result[numChecks++] = check;
-
- length = givenPathLen + 3 + progNameLen + 1 + progNameLen + 1;
- check = new char[length];
- sprintf( check, "%s..\\%s\\%s", path, progName, progName );
- result[numChecks++] = check;
-
- result[numChecks] = 0;
- return result;
-}
-
-void spawn( const char *progName, char **pathChecks,
- ArgsVector &args, char *intermed )
-{
- int result = 0;
- while ( *pathChecks != 0 ) {
- //cerr << "trying to execute " << *pathChecks << endl;
- result = _spawnv( _P_WAIT, *pathChecks, args.data );
- if ( result >= 0 || errno != ENOENT )
- break;
- pathChecks += 1;
- }
-
- if ( result < 0 ) {
- error() << "failed to spawn " << progName << endl;
- cleanExit( intermed, 1 );
- }
-
- if ( result > 0 )
- cleanExit( intermed, 1 );
-}
-
-#endif
-
-void execFrontend( const char *argv0, const char *inputFileName, const char *intermed )
-{
- /* The frontend program name. */
- const char *progName = "ragel";
-
- frontendArgs.insert( 0, progName );
- frontendArgs.insert( 1, "-x" );
- frontendArgs.append( "-o" );
- frontendArgs.append( intermed );
- frontendArgs.append( inputFileName );
- frontendArgs.append( 0 );
-
-#ifndef _WIN32
- char **pathChecks = makePathChecksUnix( argv0, progName );
- forkAndExec( progName, pathChecks, frontendArgs, intermed );
-#else
- char **pathChecks = makePathChecksWin( progName );
- spawn( progName, pathChecks, frontendArgs, intermed );
-#endif
-}
-
-void execBackend( const char *argv0, const char *intermed, const char *outputFileName )
-{
- /* Locate the backend program */
- const char *progName = 0;
- if ( generateDot )
- progName = "rlgen-dot";
- else {
- switch ( hostLang->lang ) {
- case HostLang::C:
- case HostLang::D:
- progName = "rlgen-cd";
- break;
- case HostLang::Java:
- progName = "rlgen-java";
- break;
- case HostLang::Ruby:
- progName = "rlgen-ruby";
- break;
- case HostLang::CSharp:
- progName = "rlgen-csharp";
- }
- }
-
- backendArgs.insert( 0, progName );
- if ( outputFileName != 0 ) {
- backendArgs.append( "-o" );
- backendArgs.append( outputFileName );
- }
- backendArgs.append( intermed );
- backendArgs.append( 0 );
-
-#ifndef _WIN32
- char **pathChecks = makePathChecksUnix( argv0, progName );
- forkAndExec( progName, pathChecks, backendArgs, intermed );
-#else
- char **pathChecks = makePathChecksWin( progName );
- spawn( progName, pathChecks, backendArgs, intermed );
-#endif
-}
/* Main, process args and call yyparse to start scanning input. */
-int main(int argc, const char **argv)
+int main( int argc, const char **argv )
{
const char *inputFileName = 0;
- const char *outputFileName = 0;
-
- processArgs( argc, argv, inputFileName, outputFileName );
+ processArgs( argc, argv, inputFileName );
+
/* If -M or -S are given and we're not generating a dot file then invoke
* the frontend. These options are not useful with code generators. */
"\" is the same as the input file" << endp;
}
- const char *intermed = openIntermed( inputFileName, outputFileName );
- frontend( inputFileName, intermed );
- execBackend( argv[0], intermed, outputFileName );
+ process( inputFileName );
/* Clean up the intermediate. */
- cleanExit( intermed, 0 );
+ exit( 0 );
return 0;
}