Package jflex

Class Options

java.lang.Object
jflex.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.7.0
  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final boolean
    If true, additional verbose debug information is produced.
    private static File
    output directory
    static boolean
    If true, jflex will write graphviz .dot files for generated automata
    static boolean
    If true, you will be flooded with information (e.g.
    static Charset
    The encoding to use for input and output files.
    static boolean
    strict JLex compatibility
    static boolean
    If true, dot (.) metachar matches [^\n] instead of [^\r\n …

]|"\r\n"
    static boolean
    don't write backup files if this is true
    static boolean
    don't run minimization algorithm if this is true
    static boolean
    If true, progress dots will be printed
    static boolean
    If true, jflex will print time statistics about the generation process
    static boolean
    Whether to warn about unused macros.
    static boolean
    If false, only error/warning output will be generated
  • Constructor Summary

    Constructors
    Constructor
    Description
     
  • Method Summary

    Modifier and Type
    Method
    Description
    static File
    getDir.
    static void
    Sets all options back to default values.
    static void
    Set output directory
    static void
    setDir(String dirName)
    Set output directory
    static void
    setEncoding(String encodingName)
    Sets encoding for input files, and check availability of encoding on this JVM.
    static void
    setSkeleton.

    Methods inherited from class java.lang.Object

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

    • DEBUG

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

      private 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.
  • Constructor Details

    • Options

      public Options()
  • Method Details

    • getDir

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

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

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

      public static void setEncoding(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(File skel)
      setSkeleton.
      Parameters:
      skel - a File object.