JFlex
Class Options
public class Options
extends java.lang.Object
Collects all global JFlex options. Can be set from command line parser,
ant taks, gui, etc.
static boolean | DEBUG - If true, additional verbose debug information is produced
This is a compile time option
|
static int | PACK - code generation method: maximum packing
|
static int | SWITCH - code generation method: switch statement
|
static int | TABLE - code generation method: traditional
|
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 boolean | progress - If true, progress dots will be printed
|
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
|
static File | getDir()
|
static void | setDefaults() - Sets all options back to default values.
|
static void | setDir(File d) - Set output directory
|
static void | setDir(String dirName) - Set output directory
|
static void | setSkeleton(File skel)
|
DEBUG
public static final boolean DEBUG
If true, additional verbose debug information is produced
This is a compile time option
PACK
public static final int PACK
code generation method: maximum packing
SWITCH
public static final int SWITCH
code generation method: switch statement
TABLE
public static final int TABLE
code generation method: traditional
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).
gen_method
public static int gen_method
default code generation method
jlex
public static boolean jlex
strict JLex compatibility
no_backup
public static boolean no_backup
don't write backup files if this is true
no_minimize
public static boolean no_minimize
don't run minimization algorithm if this is true
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
verbose
public static boolean verbose
If false, only error/warning output will be generated
getDir
public static File getDir()
setDefaults
public static void setDefaults()
Sets all options back to default values.
setDir
public static void setDir(File d)
Set output directory
d
- the directory to write output files to
setDir
public static void setDir(String dirName)
Set output directory
dirName
- the name of the directory to write output files to
setSkeleton
public static void setSkeleton(File skel)