Package jflex.gui

package jflex.gui
  • Class
    Description
    GeneratorThread
    Low priority thread for code generation (low priority that gui has time for screen updates)
    GridPanel
    Grid layout manager like GridLayout but with predefinable grid size.
    GridPanelConstraint
    Constraints for layout elements of GridLayout
    Handles
    Constants used for GridLayout
    MainFrame
    JFlex main application frame (GUI mode only)
    OptionsDialog
    A dialog for setting JFlex options