JFlex
public final class Out extends Object
Field Summary | |
---|---|
static String | NL platform dependent newline sequence |
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(ErrorMessages message)
print error message (code)
|
static void | error(ErrorMessages message, String data)
print error message with data
|
static void | error(ErrorMessages message, File file)
IO error message for a file (displays file
name in parentheses).
|
static void | error(File file, ErrorMessages message, int line, int column)
print error message with location information
|
static void | print(String message)
Report generation progress.
|
static void | println(String message)
Report generation progress.
|
static void | println(ErrorMessages message, String data)
Report generation progress.
|
static void | println(ErrorMessages message, int data)
Report generation progress.
|
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 | setOutputStream(OutputStream stream)
Sets a new output stream and switches to non-gui mode.
|
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(ErrorMessages message, Timer time)
Report time statistic data.
|
static void | time(String message)
Report time statistic data.
|
static void | warning(String message)
print a warning without position information
|
static void | warning(ErrorMessages message, int line)
print a warning with line information
|
static void | warning(File file, ErrorMessages 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: data data to insert into the message 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
Parameters: message the message to be printed data data to be inserted into the message
Parameters: message the message to be printed data data to be inserted into the message
text
is not null
Parameters: text the message TextArea of the JFlex GUI
Parameters: stream the new output stream
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 time elapsed time
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