Package jflex.gui
package jflex.gui
-
ClassDescriptionLow priority thread for code generation (low priority that gui has time for screen updates)Grid layout manager like GridLayout but with predefinable grid size.Constraints for layout elements of GridLayoutConstants used for GridLayoutJFlex main application frame (GUI mode only)A dialog for setting JFlex options