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
See Also:
  • Field Details

  • Constructor Details

    • MainFrame

      public MainFrame()
      Constructor for MainFrame.
  • Method Details

    • buildContent

      private void buildContent()
    • showOptions

      protected void showOptions()
      showOptions.
    • getPreferredSize

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

      private void setEnabledAll(boolean generating)
    • generate

      private void generate()
    • generationFinished

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

      private void quit()
    • dirChoose

      private void dirChoose()
    • specChoose

      private void specChoose()