Package jflex
Class Options
- java.lang.Object
-
- jflex.Options
-
public class Options extends java.lang.Object
Collects all global JFlex options. Can be set from command line parser, ant task, gui, etc.- Version:
- JFlex 1.7.0
-
-
Field Summary
Fields Modifier and Type Field Description static boolean
DEBUG
If true, additional verbose debug information is produced.private static java.io.File
directory
output directorystatic boolean
dot
If true, jflex will write graphviz .dot files for generated automatastatic boolean
dump
If true, you will be flooded with information (e.g.static java.nio.charset.Charset
encoding
The encoding to use for input and output files.static boolean
jlex
strict JLex compatibilitystatic boolean
legacy_dot
If true, dot (.) metachar matches [^\n] instead of [^\r\n ]|"\r\n"static boolean
no_backup
don't write backup files if this is truestatic boolean
no_minimize
don't run minimization algorithm if this is truestatic boolean
progress
If true, progress dots will be printedstatic boolean
time
If true, jflex will print time statistics about the generation processstatic boolean
unused_warning
Whether to warn about unused macros.static boolean
verbose
If false, only error/warning output will be generated
-
Constructor Summary
Constructors Constructor Description Options()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static java.io.File
getDir()
getDir.static void
setDefaults()
Sets all options back to default values.static void
setDir(java.io.File d)
Set output directorystatic void
setDir(java.lang.String dirName)
Set output directorystatic void
setEncoding(java.lang.String encodingName)
Sets encoding for input files, and check availability of encoding on this JVM.static void
setSkeleton(java.io.File skel)
setSkeleton.
-
-
-
Field Detail
-
DEBUG
public static final boolean DEBUG
If true, additional verbose debug information is produced. This is a compile time option.- See Also:
- Constant Field Values
-
directory
private static java.io.File directory
output directory
-
jlex
public static boolean jlex
strict JLex compatibility
-
no_minimize
public static boolean no_minimize
don't run minimization algorithm if this is true
-
no_backup
public static boolean no_backup
don't write backup files if this is true
-
verbose
public static boolean verbose
If false, only error/warning output will be generated
-
unused_warning
public static boolean unused_warning
Whether to warn about unused macros.
-
progress
public static boolean progress
If true, progress dots will be printed
-
time
public static boolean time
If true, jflex will print time statistics about the generation process
-
dot
public static boolean dot
If true, jflex will write graphviz .dot files for generated automata
-
dump
public static boolean dump
If true, you will be flooded with information (e.g. dfa tables).
-
legacy_dot
public static boolean legacy_dot
If true, dot (.) metachar matches [^\n] instead of [^\r\n ]|"\r\n"
-
encoding
public static java.nio.charset.Charset encoding
The encoding to use for input and output files.
-
-
Method Detail
-
getDir
public static java.io.File getDir()
getDir.- Returns:
- a
File
object.
-
setDir
public static void setDir(java.lang.String dirName)
Set output directory- Parameters:
dirName
- the name of the directory to write output files to
-
setDir
public static void setDir(java.io.File d)
Set output directory- Parameters:
d
- the directory to write output files to
-
setEncoding
public static void setEncoding(java.lang.String encodingName)
Sets encoding for input files, and check availability of encoding on this JVM.
-
setDefaults
public static void setDefaults()
Sets all options back to default values.
-
setSkeleton
public static void setSkeleton(java.io.File skel)
setSkeleton.- Parameters:
skel
- aFile
object.
-
-