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 booleandot
If true, jflex will write graphviz .dot files for generated automata
static booleandump
If true, you will be flooded with information (e.g. dfa tables).
static booleanDEBUG
If true, additional verbose debug information is produced This is a compile time option
static intgen_method
default code generation method
static booleanjlex
strict JLex compatibility
static booleanno_backup
don't write backup files if this is true
static booleanno_minimize
don't run minimization algorithm if this is true
static booleanprogress
If true, progress dots will be printed
static intPACK
code generation method: maximum packing
static intSWITCH
code generation method: switch statement
static booleantime
If true, jflex will print time statistics about the generation process
static intTABLE
code generation method: traditional
static booleanverbose
If false, only error/warning output will be generated
Method Summary
static FilegetDir()
static voidsetDefaults()
Sets all options back to default values.
static voidsetDir(String dirName)
Set output directory
static voidsetDir(File d)
Set output directory
static voidsetSkeleton(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)