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