Package jflex.gui

Class MainFrame

All Implemented Interfaces:
ImageObserver, MenuContainer, Serializable, Accessible, Handles

public final class MainFrame extends Frame implements Handles
JFlex main application frame (GUI mode only)
Version:
JFlex 1.8.2
Author:
Gerwin Klein
See Also:
  • Constructor Details

    • MainFrame

      public MainFrame()
      Constructor for MainFrame.
  • Method Details

    • showOptions

      protected void showOptions()
      showOptions.
    • getPreferredSize

      public Dimension getPreferredSize()
      getPreferredSize.
      Overrides:
      getPreferredSize in class Container
      Returns:
      a Dimension object.
    • generationFinished

      public void generationFinished(boolean success)
      generationFinished.
      Parameters:
      success - a boolean.