|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.ObjectJFlex.Main
This is the main class of JFlex controlling the scanner generation process. It is responsible for parsing the commandline, getting input files, starting up the GUI if necessary, etc.
| Field Summary | |
static int |
gen_method
default code generation method |
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 int |
SWITCH
code generation method: switch statement |
static int |
TABLE
code generation method: traditional |
static java.lang.String |
version
JFlex version |
| Constructor Summary | |
Main()
|
|
| Method Summary | |
static void |
generate(java.io.File inputFile)
Generates a scanner for the specified input file. |
static void |
generate(java.lang.String[] argv)
|
static void |
main(java.lang.String[] argv)
Starts the generation process with the files in argv or
pops up a window to choose a file, when argv doesn't have
any file entries. |
static java.util.Vector |
parseOptions(java.lang.String[] argv)
|
static void |
printUsage()
|
static void |
setDir(java.lang.String dirName)
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
public static final java.lang.String version
public static final int PACK
public static final int TABLE
public static final int SWITCH
public static boolean no_minimize
public static boolean no_backup
public static int gen_method
| Constructor Detail |
public Main()
| Method Detail |
public static void generate(java.io.File inputFile)
inputFile - a file containing a lexical specification
to generate a scanner for.public static void setDir(java.lang.String dirName)
public static java.util.Vector parseOptions(java.lang.String[] argv)
public static void printUsage()
public static void generate(java.lang.String[] argv)
public static void main(java.lang.String[] argv)
argv or
pops up a window to choose a file, when argv doesn't have
any file entries.
argv - the commandline.
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||