JFlex
public final class Out extends Object implements ErrorMessages
Field Summary | |
---|---|
static boolean | DEBUG
If DEBUG is true, additional verbose debug information is produced |
static boolean | DOT
If DOT is true, jflex will write graphviz .dot files for generated automata |
static boolean | DUMP
If DUMP is true, you will be flooded with information (e.g. dfa tables). |
static int | errors count total errors |
static String | NL platform dependent newline sequence |
static boolean | TIME
If TIME is true, jflex will print time statistics about the generation process |
static boolean | VERBOSE
If VERBOSE is false, no progress output will be generated |
static int | warnings count total warnings |
Method Summary | |
---|---|
static void | checkErrors()
throws a GeneratorException if there are any errors recorded |
static void | debug(String message)
Dump debug information to System.out
Use like this
if (Out.DEBUG) Out.debug(message)
to save performance during normal operation (when DEBUG
is turned off). |
static void | dump(String message)
All parts of JFlex, that want to provide dump information
should use this method for their output.
|
static void | error(String message)
print error message (string)
|
static void | error(int message)
print error message (code)
|
static void | error(int message, File file)
IO error message for a file (displays file
name in parentheses).
|
static void | error(File file, int message, int line, int column)
print error message with location information
|
static void | print(String message)
All parts of JFlex, that want to report generation progress
should use this method for their output.
|
static void | println(String message)
All parts of JFlex, that want to report generation progress
should use this method for their output.
|
static void | printSystemInfo()
Print system information (e.g. in case of unexpected exceptions) |
static void | requestBugReport(Error e)
Request a bug report for an unexpected Exception/Error. |
static void | resetCounters()
reset error and warning counters |
static void | setGUIMode(TextArea text)
Switches to GUI mode if text is not null
|
static void | showPosition(File file, int line, int column)
prints a line of a file with marked position.
|
static void | showPosition(File file, int line)
print a line of a file
|
static void | statistics()
print error and warning statistics |
static void | time(String message)
All parts of JFlex, that want to report something about
time statistic should use this method for their output.
|
static void | warning(String message)
print a warning without position information
|
static void | warning(int message, int line)
print a warning with line information
|
static void | warning(File file, int message, int line, int column)
print warning message with location information
|
if (Out.DEBUG) Out.debug(message)
to save performance during normal operation (when DEBUG
is turned off).UNKNOWN: the message to be printed
Parameters: message the message to print
Parameters: message the code of the error message
See Also: ErrorMessages
Parameters: message the code of the error message file the file it occurred for
Parameters: file the file the error occurred for message the code of the error message to print line the line number of error position column the column of error position
Parameters: message the message to be printed
Parameters: message the message to be printed
text
is not null
Parameters: text the message TextArea of the JFlex GUI
Parameters: file the file of which to show the line line the line to show column the column in which to show the marker
Parameters: file the file to show line the line number
Parameters: message the message to be printed
Parameters: message the warning message
Parameters: message code of the warning message line the line information
See Also: ErrorMessages
Parameters: file the file the warning is issued for message the code of the message to print line the line number of the position column the column of the position