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.9.1
    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.
      private static java.util.Set<ErrorMessages> suppressedWarnings
      Warnings that should not be printed.
      static boolean time
      If true, jflex will print time statistics about the generation process
      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 void enable​(ErrorMessages msg)
      Configure the given warning message to be enabled.
      static java.io.File getDir()
      Get the output directory.
      static java.io.File getRootDirectory()
      Returns the root directory that contains source code.
      static boolean isSuppressed​(ErrorMessages msg)
      Returns true if the given warning message is suppressed (should not be printed and counted).
      static void resetRootDirectory()
      Reset the root source directory to the Java working directory.
      static void setRootDirectory​(java.io.File rootDir)
      Set the root source directory.
      static void suppress​(ErrorMessages msg)
      Configure the given warning message to be suppressed.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • suppressedWarnings

        private static final java.util.Set<ErrorMessages> suppressedWarnings
        Warnings that should not be printed.
      • 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
      • 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()
        Get the output directory.
        Returns:
        the output directory as java.io.File
      • 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)
        Set the root source directory.
        Parameters:
        rootDir - the root source directory.
      • resetRootDirectory

        public static void resetRootDirectory()
        Reset the root source directory to the Java working directory.
      • isSuppressed

        public static boolean isSuppressed​(ErrorMessages msg)
        Returns true if the given warning message is suppressed (should not be printed and counted).
        Parameters:
        msg - the error/warning message to check
        Returns:
        true iff the warning is suppressed
      • suppress

        public static void suppress​(ErrorMessages msg)
        Configure the given warning message to be suppressed.
        Parameters:
        msg - the warning message to suppress.
      • enable

        public static void enable​(ErrorMessages msg)
        Configure the given warning message to be enabled.
        Parameters:
        msg - the warning message to enable.