2 * Copyright 2001-2007 Adrian Thurston <thurston@complang.org>
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
33 #define PROGNAME "ragel"
35 /* To what degree are machine minimized. */
51 extern MinimizeLevel minimizeLevel;
52 extern MinimizeOpt minimizeOpt;
53 extern const char *machineSpec, *machineName;
54 extern bool printStatistics;
55 extern bool wantDupsRemoved;
56 extern bool generateDot;
58 /* Error reporting format. */
64 extern ErrorFormat errorFormat;
65 extern int gblErrorCount;
66 extern char mainMachine[];
68 InputLoc makeInputLoc( const char *fileName, int line = 0, int col = 0 );
69 std::ostream &operator<<( std::ostream &out, const InputLoc &loc );
71 /* Error reporting. */
72 std::ostream &error();
73 std::ostream &error( const InputLoc &loc );
74 std::ostream &warning( const InputLoc &loc );
78 void terminateAllParsers( );
79 void xmlEscapeHost( std::ostream &out, char *data, long len );
81 typedef Vector<const char *> ArgsVector;
82 extern ArgsVector includePaths;
84 extern CodeStyleEnum codeStyle;
86 /* IO filenames and stream. */
87 extern bool displayPrintables;
88 extern bool graphvizDone;
89 extern int gblErrorCount;
93 extern int numSplitPartitions;
94 extern bool noLineDirectives;
96 std::ostream &error();
98 /* Target language and output style. */
99 extern CodeStyleEnum codeStyle;
102 extern std::istream *inStream;
103 extern std::ostream *outStream;
104 extern output_filter *outFilter;
105 extern const char *outputFileName;
107 /* Graphviz dot file generation. */
108 extern bool graphvizDone;
110 extern int numSplitPartitions;
111 extern bool noLineDirectives;