public class Main extends Object
Constructor and Description |
---|
Main() |
Modifier and Type | Method and Description |
---|---|
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 List<File> |
parseOptions(String[] argv) |
static void |
printUsage() |
public static final String version
public static void generate(File inputFile)
inputFile
- a file containing a lexical specification
to generate a scanner for.public static List<File> parseOptions(String[] argv) throws SilentExit
SilentExit
public static void printUsage()
public static void generate(String[] argv) throws SilentExit
SilentExit
public static void main(String[] argv)
argv
or
pops up a window to choose a file, when argv
doesn't have
any file entries.argv
- the commandline.Copyright © 1998–2016. All rights reserved.