Package jflex.option

Class Options


  • public class Options
    extends Object
    Collects all global JFlex options.

    Can be set from command line parser, ant task, gui, etc.

    Version:
    JFlex 1.8.1
    Author:
    Gerwin Klein
    See Also:
    OptionUtils
    • Field Detail

      • directory

        public static File directory
        output directory
      • jlex

        public static boolean jlex
        strict JLex compatibility
      • no_minimize

        public static boolean no_minimize
        don't run minimization algorithm if this is true
      • no_backup

        public static boolean no_backup
        don't write backup files if this is true
      • verbose

        public static boolean verbose
        If false, only error/warning output will be generated
      • unused_warning

        public static boolean unused_warning
        Whether to warn about unused macros.
      • progress

        public static boolean progress
        If true, progress dots will be printed
      • time

        public static boolean time
        If true, jflex will print time statistics about the generation process
      • dot

        public static boolean dot
        If true, jflex will write graphviz .dot files for generated automata
      • dump

        public static boolean dump
        If true, you will be flooded with information (e.g. dfa tables).
      • legacy_dot

        public static boolean legacy_dot
        If true, dot (.) metachar matches [^\n] instead of [^\r\n …

]|"\r\n"
      • encoding

        public static Charset encoding
        The encoding to use for input and output files.
    • Method Detail

      • getDir

        public static File getDir()
      • getRootDirectory

        public static File getRootDirectory()
        Returns the root directory that contains source code. This is the java working (from system property user.dir) by default.
      • setRootDirectory

        public static void setRootDirectory​(File rootDir)
      • resetRootDirectory

        public static void resetRootDirectory()