JFlex
public class Main extends Object implements ErrorMessages
| 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 String | version JFlex version |
| Method Summary | |
|---|---|
| static void | generate(File inputFile)
Generates a scanner for the specified input file.
|
| static void | generate(String[] argv) |
| static void | main(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 Vector | parseOptions(String[] argv) |
| static void | printUsage() |
| static void | setDir(String dirName) |
Parameters: inputFile a file containing a lexical specification to generate a scanner for.
argv or
pops up a window to choose a file, when argv doesn't have
any file entries.
Parameters: argv the commandline.