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
    DEBUG
    If true, additional verbose debug information is produced.
    private static 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 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

    Modifier and Type
    Method
    Description
    static File
    getDir()
    getDir.
    static void
    setDefaults()
    Sets all options back to default values.
    static void
    setDir(File d)
    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(File skel)
    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.