public class Main
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
version
JFlex version
|
Constructor and Description |
---|
Main() |
Modifier and Type | Method and Description |
---|---|
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() |
public static final java.lang.String version
public static void generate(java.io.File inputFile)
inputFile
- a file containing a lexical specification
to generate a scanner for.public static java.util.Vector parseOptions(java.lang.String[] argv) throws SilentExit
SilentExit
public static void printUsage()
public static void generate(java.lang.String[] argv) throws SilentExit
SilentExit
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.