KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > JFlex > Options


1 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
2  * JFlex 1.4.1 *
3  * Copyright (C) 1998-2004 Gerwin Klein <lsf@jflex.de> *
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 JavaDoc;
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.1, $Revision: 2.10 $, $Date: 2004/11/06 23:03:31 $
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 JavaDoc 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 JavaDoc 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 JavaDoc dirName) {
83     setDir(new File JavaDoc(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 JavaDoc 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   }
121
122   public static void setSkeleton(File JavaDoc skel) {
123     Skeleton.readSkelFile(skel);
124   }
125 }
126
Popular Tags