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.

Field Summary

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

Method Summary

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)

Field Details

DEBUG

public static final boolean DEBUG
If true, additional verbose debug information is produced This is a compile time option
Field Value:
false

PACK

public static final int PACK
code generation method: maximum packing
Field Value:
0

SWITCH

public static final int SWITCH
code generation method: switch statement
Field Value:
2

TABLE

public static final int TABLE
code generation method: traditional
Field Value:
1

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

Method Details

getDir

public static File getDir()
Returns:
the output directory

setDefaults

public static void setDefaults()
Sets all options back to default values.

setDir

public static void setDir(File d)
Set output directory
Parameters:
d - the directory to write output files to

setDir

public static void setDir(String dirName)
Set output directory
Parameters:
dirName - the name of the directory to write output files to

setSkeleton

public static void setSkeleton(File skel)