JFlex.gui

Class MainFrame

public final class MainFrame extends Frame implements Handles

JFlex main application frame (GUI mode only)
Constructor Summary
MainFrame()
Method Summary
voidgenerationFinished(boolean success)
DimensiongetPreferredSize()
protected voidshowOptions()

Constructor Detail

MainFrame

public MainFrame()

Method Detail

generationFinished

public void generationFinished(boolean success)

getPreferredSize

public Dimension getPreferredSize()

showOptions

protected void showOptions()