JFlex.gui

Class GeneratorThread

public class GeneratorThread extends Thread

Low priority thread for code generation (low priority that gui has time for screen updates)

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.

Constructor Detail

GeneratorThread

public GeneratorThread(MainFrame parent, String inputFile, String outputDir)

Create a new GeneratorThread, but do not run it yet.

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

Method Detail

run

public void run()

Run the generator thread. Only one instance of it can run at any time.