JFlex
public class Options extends Object
Field Summary | |
---|---|
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. dfa tables). |
static boolean | DEBUG If true, additional verbose debug information is produced
This is a compile time option |
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 int | PACK code generation method: maximum packing |
static int | SWITCH code generation method: switch statement |
static boolean | time If true, jflex will print time statistics about the generation process |
static int | TABLE code generation method: traditional |
static boolean | verbose If false, only error/warning output will be generated |
Method Summary | |
---|---|
static File | getDir() |
static void | setDefaults()
Sets all options back to default values. |
static void | setDir(String dirName)
Set output directory
|
static void | setDir(File d)
Set output directory
|
static void | setSkeleton(File skel) |
Returns: the output directory
Parameters: dirName the name of the directory to write output files to
Parameters: d the directory to write output files to