public class Options
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static boolean |
DEBUG
If true, additional verbose debug information is produced.
|
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 java.nio.charset.Charset |
encoding
The encoding to use for input and output files.
|
static boolean |
jlex
strict JLex compatibility
|
static 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 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 |
unused_warning
Whether to warn about unused macros.
|
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()
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 |
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.
|
public static final boolean DEBUG
public static boolean jlex
public static boolean no_minimize
public static boolean no_backup
public static boolean verbose
public static boolean unused_warning
public static boolean progress
public static boolean time
public static boolean dot
public static boolean dump
public static boolean legacy_dot
public static java.nio.charset.Charset encoding
public static java.io.File getDir()
File
object.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 setEncoding(java.lang.String encodingName)
public static void setDefaults()
public static void setSkeleton(java.io.File skel)
skel
- a File
object.Copyright © 1998–2019. All rights reserved.