Class MainFrame

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()`

public MainFrame()

public void generationFinished(boolean success)

public Dimension getPreferredSize()

protected void showOptions()

Overview Package Tree Index Deprecated About
Prev Class \| Next Class	Frames \| No Frames
Summary: Nested \| Field \| Method \| Constr	Detail: Nested \| Field \| Method \| Constr

Constructor Summary