2 * Copyright 2001-2007 Adrian Thurston <thurston@cs.queensu.ca>
5 /* This file is part of Ragel.
7 * Ragel is free software; you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License as published by
9 * the Free Software Foundation; either version 2 of the License, or
10 * (at your option) any later version.
12 * Ragel is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 * GNU General Public License for more details.
17 * You should have received a copy of the GNU General Public License
18 * along with Ragel; if not, write to the Free Software
19 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
31 #define PROGNAME "ragel"
33 /* To what degree are machine minimized. */
49 extern MinimizeLevel minimizeLevel;
50 extern MinimizeOpt minimizeOpt;
51 extern char *machineSpec, *machineName;
52 extern bool printStatistics;
53 extern bool wantDupsRemoved;
55 extern int gblErrorCount;
56 extern char mainMachine[];
58 /* Location in an input file. */
66 /* Error reporting. */
67 std::ostream &error();
68 std::ostream &error( const InputLoc &loc );
69 std::ostream &warning( const InputLoc &loc );
71 void terminateAllParsers( );
72 void writeMachines( std::ostream &out, std::string hostData, char *inputFileName );
73 void xmlEscapeHost( std::ostream &out, char *data, long len );