JFlex.gui
public class GeneratorThread extends Thread
Constructor Summary | |
---|---|
GeneratorThread(MainFrame parent, String inputFile, String outputDir)
Create a new GeneratorThread, but do not run it yet.
|
Method Summary | |
---|---|
void | run()
Run the generator thread. |
Parameters: parent the frame, main UI component inputFile input file from UI settings messages where generator messages should appear outputDir output directory from UI settings