JFlex

Class Options

public class Options extends Object

Collects all global JFlex options. Can be set from command line parser, ant taks, gui, etc.

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)

Field Detail

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).

DEBUG

public static final boolean DEBUG

If true, additional verbose debug information is produced This is a compile time option

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

PACK

public static final int PACK

code generation method: maximum packing

SWITCH

public static final int SWITCH

code generation method: switch statement

time

public static boolean time

If true, jflex will print time statistics about the generation process

TABLE

public static final int TABLE

code generation method: traditional

verbose

public static boolean verbose

If false, only error/warning output will be generated

Method Detail

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(String dirName)

Set output directory

Parameters: dirName the name of the directory to write output files to

setDir

public static void setDir(File d)

Set output directory

Parameters: d the directory to write output files to

setSkeleton

public static void setSkeleton(File skel)