Package jflex.logging
Class Out
java.lang.Object
jflex.logging.Out
In this class all output to the java console is filtered.
Use the switches verbose, time and DUMP at compile time to determine the verbosity of JFlex output. There is no switch for suppressing error messages. verbose and time can be overridden by command line parameters.
Redirects output to a TextArea in GUI mode.
Counts error and warning messages.
- Version:
- JFlex 1.8.2
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic void
throws a GeneratorException if there are any errors recordedstatic void
Dump debug information to System.outstatic void
All parts of JFlex, that want to provide dump information should use this method for their output.static void
All parts of JFlex, that want to report error messages should use this method for their output.static void
error
(File file, ErrorMessages.ErrorMessage message, int line, int column) print error message with location informationstatic void
print error message (string)static void
error
(ErrorMessages.ErrorMessage message) print error message (code)static void
error
(ErrorMessages.ErrorMessage message, File file) IO error message for a file (displays file name in parentheses).static void
error
(ErrorMessages.ErrorMessage message, String data) print error message with dataprivate static String
get one line from a filestatic void
Report generation progress.static void
Report generation progress.static void
println
(ErrorMessages.ErrorMessage message, int data) Report generation progress.static void
println
(ErrorMessages.ErrorMessage message, String data) Report generation progress.static void
reset error and warning countersstatic void
setGUIMode
(TextArea text) Switches to GUI mode iftext</code> is not <code>null
static void
setOutputStream
(OutputStream stream) Sets a new output stream and switches to non-gui mode.static void
showPosition
(File file, int line) print a line of a filestatic void
showPosition
(File file, int line, int column) prints a line of a file with marked position.static void
print error and warning statisticsstatic void
Report time statistic data.static void
time
(ErrorMessages.ErrorMessage message, Timer time) Report time statistic data.static void
warning
(File file, ErrorMessages.ErrorMessage message, int line, int column) print warning message with location informationstatic void
print a warning without position informationstatic void
warning
(ErrorMessages.ErrorMessage message) print a warning message without line informationstatic void
warning
(ErrorMessages.ErrorMessage message, int line) print a warning with line information
-
Field Details
-
NL
Platform specific newline. -
warnings
private static int warningscount total warnings -
errors
private static int errorscount total errors -
out
output device
-
-
Constructor Details
-
Out
private Out()
-
-
Method Details
-
setGUIMode
Switches to GUI mode iftext</code> is not <code>null
- Parameters:
text
- the message TextArea of the JFlex GUI
-
setOutputStream
Sets a new output stream and switches to non-gui mode.- Parameters:
stream
- the new output stream
-
time
Report time statistic data.- Parameters:
message
- the message to be printedtime
- elapsed time
-
time
Report time statistic data.- Parameters:
message
- the message to be printed
-
println
Report generation progress.- Parameters:
message
- the message to be printed
-
println
Report generation progress.- Parameters:
message
- the message to be printeddata
- data to be inserted into the message
-
println
Report generation progress.- Parameters:
message
- the message to be printeddata
- data to be inserted into the message
-
print
Report generation progress.- Parameters:
message
- the message to be printed
-
debug
Dump debug information to System.outUse like this
if (Out.DEBUG) Out.debug(message)
to save performance during normal operation (when DEBUG is turned off).- Parameters:
message
- aString
object.
-
dump
All parts of JFlex, that want to provide dump information should use this method for their output.- Parameters:
message
- the message to be printed
-
err
All parts of JFlex, that want to report error messages should use this method for their output.- Parameters:
message
- the message to be printed
-
checkErrors
public static void checkErrors()throws a GeneratorException if there are any errors recorded -
statistics
public static void statistics()print error and warning statistics -
resetCounters
public static void resetCounters()reset error and warning counters -
warning
print a warning without position information- Parameters:
message
- the warning message
-
warning
print a warning message without line information- Parameters:
message
- code of the warning message- See Also:
-
warning
print a warning with line information- Parameters:
message
- code of the warning messageline
- the line information- See Also:
-
warning
print warning message with location information- Parameters:
file
- the file the warning is issued formessage
- the code of the message to printline
- the line number of the positioncolumn
- the column of the position
-
error
print error message (string)- Parameters:
message
- the message to print
-
error
print error message (code)- Parameters:
message
- the code of the error message- See Also:
-
error
print error message with data- Parameters:
message
- the code of the error messagedata
- data to insert into the message- See Also:
-
error
IO error message for a file (displays file name in parentheses).- Parameters:
message
- the code of the error messagefile
- the file it occurred for
-
error
print error message with location information- Parameters:
file
- the file the error occurred formessage
- the code of the error message to printline
- the line number of error positioncolumn
- the column of error position
-
showPosition
prints a line of a file with marked position.- Parameters:
file
- the file of which to show the lineline
- the line to showcolumn
- the column in which to show the marker
-
showPosition
print a line of a file- Parameters:
file
- the file to showline
- the line number
-
getLine
get one line from a file- Parameters:
file
- the file to readline
- the line number to get- Throws:
IOException
- if any error occurs
-