Package jflex.option

Class Options

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

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

    Version:
    JFlex 1.8.2
    See Also:
    OptionUtils

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.io.File directory
      output directory
      static boolean dot
      If true, jflex will write graphviz .dot files for generated automata
      static boolean dump
      If true, you will be flooded with information (e.g.
      static java.nio.charset.Charset encoding
      The encoding to use for input and output files.
      static boolean jlex
      strict JLex compatibility
      static boolean legacy_dot
      If true, dot (.) metachar matches [^\n] instead of [^\r\n …

]|"\r\n"
      static boolean no_backup
      don't write backup files if this is true
      static boolean no_minimize
      don't run minimization algorithm if this is true
      static boolean progress
      If true, progress dots will be printed
      private static java.io.File rootDirectory
      The root source directory.
      static boolean time
      If true, jflex will print time statistics about the generation process
      static boolean unused_warning
      Whether to warn about unused macros.
      static boolean verbose
      If false, only error/warning output will be generated

    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      private Options()
      Prevent instantiation of static-only calss

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static java.io.File getDir()  
      static java.io.File getRootDirectory()
      Returns the root directory that contains source code.
      static void resetRootDirectory()  
      static void setRootDirectory​(java.io.File rootDir)  

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Field Detail

      • directory

        public static java.io.File directory
        output directory

      • rootDirectory

        private static java.io.File rootDirectory
        The root source directory.

        In a maven project, this is the directory that contains src and target.

      • 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 java.nio.charset.Charset encoding
        The encoding to use for input and output files.

    • Constructor Detail

      • Options

        private Options()
        Prevent instantiation of static-only calss

    • Method Detail

      • getDir

        public static java.io.File getDir()

      • getRootDirectory

        public static java.io.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​(java.io.File rootDir)

      • resetRootDirectory

        public static void resetRootDirectory()