public class Options
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static boolean |
DEBUG
If true, additional verbose debug information is produced
This is a compile time option
|
static boolean |
dot
If true, jflex will write graphviz .dot files for generated automata
|
static boolean |
dump
If true, you will be flooded with information (e.g.
|
static int |
gen_method
default code generation method
|
static boolean |
jlex
strict JLex compatibility
|
static boolean |
no_backup
don't write backup files if this is true
|
static boolean |
no_minimize
don't run minimization algorithm if this is true
|
static int |
PACK
code generation method: maximum packing
|
static boolean |
progress
If true, progress dots will be printed
|
static int |
SWITCH
code generation method: switch statement
|
static int |
TABLE
code generation method: traditional
|
static boolean |
time
If true, jflex will print time statistics about the generation process
|
static boolean |
verbose
If false, only error/warning output will be generated
|
Constructor and Description |
---|
Options() |
Modifier and Type | Method and Description |
---|---|
static java.io.File |
getDir() |
static void |
setDefaults()
Sets all options back to default values.
|
static void |
setDir(java.io.File d)
Set output directory
|
static void |
setDir(java.lang.String dirName)
Set output directory
|
static void |
setSkeleton(java.io.File skel) |
public static final boolean DEBUG
public static final int PACK
public static final int TABLE
public static final int SWITCH
public static boolean jlex
public static boolean no_minimize
public static boolean no_backup
public static int gen_method
public static boolean verbose
public static boolean progress
public static boolean time
public static boolean dot
public static boolean dump
public static java.io.File getDir()
public static void setDir(java.lang.String dirName)
dirName
- the name of the directory to write output files topublic static void setDir(java.io.File d)
d
- the directory to write output files topublic static void setDefaults()
public static void setSkeleton(java.io.File skel)