|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectweka.core.parser.JFlex.Options
public class Options
Collects all global JFlex options. Can be set from command line parser, ant taks, gui, etc.
Field Summary | |
---|---|
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 Summary | |
---|---|
Options()
|
Method Summary | |
---|---|
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)
|
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
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
Constructor Detail |
---|
public Options()
Method Detail |
---|
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)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |