1 | /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
|
---|
2 | * JFlex 1.4.3 *
|
---|
3 | * Copyright (C) 1998-2009 Gerwin Klein <[email protected]> *
|
---|
4 | * All rights reserved. *
|
---|
5 | * *
|
---|
6 | * This program is free software; you can redistribute it and/or modify *
|
---|
7 | * it under the terms of the GNU General Public License. See the file *
|
---|
8 | * COPYRIGHT for more information. *
|
---|
9 | * *
|
---|
10 | * This program is distributed in the hope that it will be useful, *
|
---|
11 | * but WITHOUT ANY WARRANTY; without even the implied warranty of *
|
---|
12 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *
|
---|
13 | * GNU General Public License for more details. *
|
---|
14 | * *
|
---|
15 | * You should have received a copy of the GNU General Public License along *
|
---|
16 | * with this program; if not, write to the Free Software Foundation, Inc., *
|
---|
17 | * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA *
|
---|
18 | * *
|
---|
19 | * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
|
---|
20 |
|
---|
21 | package JFlex;
|
---|
22 |
|
---|
23 | import java.io.File;
|
---|
24 |
|
---|
25 | /**
|
---|
26 | * Collects all global JFlex options. Can be set from command line parser,
|
---|
27 | * ant taks, gui, etc.
|
---|
28 | *
|
---|
29 | * @author Gerwin Klein
|
---|
30 | * @version JFlex 1.4.3, $Revision: 433 $, $Date: 2009-01-31 19:52:34 +1100 (Sat, 31 Jan 2009) $
|
---|
31 | */
|
---|
32 | public class Options {
|
---|
33 |
|
---|
34 | /** If true, additional verbose debug information is produced
|
---|
35 | * This is a compile time option */
|
---|
36 | public final static boolean DEBUG = false;
|
---|
37 |
|
---|
38 | /** code generation method: maximum packing */
|
---|
39 | final public static int PACK = 0;
|
---|
40 | /** code generation method: traditional */
|
---|
41 | final public static int TABLE = 1;
|
---|
42 | /** code generation method: switch statement */
|
---|
43 | final public static int SWITCH = 2;
|
---|
44 |
|
---|
45 |
|
---|
46 | /** output directory */
|
---|
47 | private static File directory;
|
---|
48 | /** strict JLex compatibility */
|
---|
49 | public static boolean jlex;
|
---|
50 | /** don't run minimization algorithm if this is true */
|
---|
51 | public static boolean no_minimize;
|
---|
52 | /** don't write backup files if this is true */
|
---|
53 | public static boolean no_backup;
|
---|
54 | /** default code generation method */
|
---|
55 | public static int gen_method;
|
---|
56 | /** If false, only error/warning output will be generated */
|
---|
57 | public static boolean verbose;
|
---|
58 | /** If true, progress dots will be printed */
|
---|
59 | public static boolean progress;
|
---|
60 | /** If true, jflex will print time statistics about the generation process */
|
---|
61 | public static boolean time;
|
---|
62 | /** If true, jflex will write graphviz .dot files for generated automata */
|
---|
63 | public static boolean dot;
|
---|
64 | /** If true, you will be flooded with information (e.g. dfa tables). */
|
---|
65 | public static boolean dump;
|
---|
66 |
|
---|
67 | static { setDefaults(); }
|
---|
68 |
|
---|
69 |
|
---|
70 | /**
|
---|
71 | * @return the output directory
|
---|
72 | */
|
---|
73 | public static File getDir() {
|
---|
74 | return directory;
|
---|
75 | }
|
---|
76 |
|
---|
77 | /**
|
---|
78 | * Set output directory
|
---|
79 | *
|
---|
80 | * @param dirName the name of the directory to write output files to
|
---|
81 | */
|
---|
82 | public static void setDir(String dirName) {
|
---|
83 | setDir(new File(dirName));
|
---|
84 | }
|
---|
85 |
|
---|
86 |
|
---|
87 | /**
|
---|
88 | * Set output directory
|
---|
89 | *
|
---|
90 | * @param d the directory to write output files to
|
---|
91 | */
|
---|
92 | public static void setDir(File d) {
|
---|
93 | if ( d.isFile() ) {
|
---|
94 | Out.error("Error: \""+d+"\" is not a directory.");
|
---|
95 | throw new GeneratorException();
|
---|
96 | }
|
---|
97 |
|
---|
98 | if ( !d.isDirectory() && !d.mkdirs() ) {
|
---|
99 | Out.error("Error: couldn't create directory \""+d+"\"");
|
---|
100 | throw new GeneratorException();
|
---|
101 | }
|
---|
102 |
|
---|
103 | directory = d;
|
---|
104 | }
|
---|
105 |
|
---|
106 | /**
|
---|
107 | * Sets all options back to default values.
|
---|
108 | */
|
---|
109 | public static void setDefaults() {
|
---|
110 | directory = null;
|
---|
111 | jlex = false;
|
---|
112 | no_minimize = false;
|
---|
113 | no_backup = false;
|
---|
114 | gen_method = Options.PACK;
|
---|
115 | verbose = true;
|
---|
116 | progress = true;
|
---|
117 | time = false;
|
---|
118 | dot = false;
|
---|
119 | dump = false;
|
---|
120 | Skeleton.readDefault();
|
---|
121 | }
|
---|
122 |
|
---|
123 | public static void setSkeleton(File skel) {
|
---|
124 | Skeleton.readSkelFile(skel);
|
---|
125 | }
|
---|
126 | }
|
---|