Package jflex

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.7.0
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static boolean DEBUG
      If true, additional verbose debug information is produced.
      private 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
      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 
      Constructor Description
      Options()  
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static java.io.File getDir()
      getDir.
      static void setDefaults()
      Sets all options back to default values.
      static void setDir​(java.io.File d)
      Set output directory
      static void setDir​(java.lang.String dirName)
      Set output directory
      static void setEncoding​(java.lang.String encodingName)
      Sets encoding for input files, and check availability of encoding on this JVM.
      static void setSkeleton​(java.io.File skel)
      setSkeleton.
      • Methods inherited from class java.lang.Object

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

      • DEBUG

        public static final boolean DEBUG
        If true, additional verbose debug information is produced. This is a compile time option.
        See Also:
        Constant Field Values
      • directory

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

      • Options

        public Options()
    • Method Detail

      • getDir

        public static java.io.File getDir()
        getDir.
        Returns:
        a File object.
      • setDir

        public static void setDir​(java.lang.String dirName)
        Set output directory
        Parameters:
        dirName - the name of the directory to write output files to
      • setDir

        public static void setDir​(java.io.File d)
        Set output directory
        Parameters:
        d - the directory to write output files to
      • setEncoding

        public static void setEncoding​(java.lang.String encodingName)
        Sets encoding for input files, and check availability of encoding on this JVM.
      • setDefaults

        public static void setDefaults()
        Sets all options back to default values.
      • setSkeleton

        public static void setSkeleton​(java.io.File skel)
        setSkeleton.
        Parameters:
        skel - a File object.