JFlex.gui

Class MainFrame

Implemented Interfaces:
Handles

public final class MainFrame
extends Frame
implements Handles

JFlex main application frame (GUI mode only)

Fields inherited from interface JFlex.gui.Handles

BOTTOM, BOTTOM_CENTER, BOTTOM_LEFT, BOTTOM_RIGHT, CENTER, CENTER_CENTER, CENTER_LEFT, CENTER_RIGHT, FILL, TOP, TOP_CENTER, TOP_LEFT, TOP_RIGHT

Constructor Summary

MainFrame()

Method Summary

void
generationFinished(boolean success)
Dimension
getPreferredSize()
protected void
showOptions()

Constructor Details

MainFrame

public MainFrame()

Method Details

generationFinished

public void generationFinished(boolean success)

getPreferredSize

public Dimension getPreferredSize()

showOptions

protected void showOptions()