JFlex.gui
Class GeneratorThread
Thread
JFlex.gui.GeneratorThread
public class GeneratorThread
extends Thread
Low priority thread for code generation (low priority
that gui has time for screen updates)
GeneratorThread(MainFrame parent, String inputFile, String outputDir) - Create a new GeneratorThread, but do not run it yet.
|
void | run() - Run the generator thread.
|
GeneratorThread
public GeneratorThread(MainFrame parent,
String inputFile,
String outputDir)
Create a new GeneratorThread, but do not run it yet.
parent
- the frame, main UI componentinputFile
- input file from UI settingsoutputDir
- output directory from UI settings
run
public void run()
Run the generator thread. Only one instance of it can run at any time.