Package jflex
Class Out
- java.lang.Object
-
- jflex.Out
-
public final class Out extends java.lang.Object
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.7.0
-
-
Field Summary
Fields Modifier and Type Field Description private static int
errors
count total errorsstatic java.lang.String
NL
platform dependent newline sequenceprivate static StdOutWriter
out
output deviceprivate static int
warnings
count total warnings
-
Constructor Summary
Constructors Constructor Description Out()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static void
checkErrors()
throws a GeneratorException if there are any errors recordedstatic void
debug(java.lang.String message)
Dump debug information to System.outstatic void
dump(java.lang.String message)
All parts of JFlex, that want to provide dump information should use this method for their output.private static void
err(java.lang.String message)
All parts of JFlex, that want to report error messages should use this method for their output.static void
error(java.io.File file, ErrorMessages message, int line, int column)
print error message with location informationstatic void
error(java.lang.String message)
print error message (string)static void
error(ErrorMessages message)
print error message (code)static void
error(ErrorMessages message, java.io.File file)
IO error message for a file (displays file name in parentheses).static void
error(ErrorMessages message, java.lang.String data)
print error message with dataprivate static java.lang.String
getLine(java.io.File file, int line)
get one line from a filestatic void
print(java.lang.String message)
Report generation progress.static void
println(java.lang.String message)
Report generation progress.static void
println(ErrorMessages message, int data)
Report generation progress.static void
println(ErrorMessages message, java.lang.String data)
Report generation progress.static void
printSystemInfo()
Print system information (e.g.static void
requestBugReport(java.lang.Error e)
Request a bug report for an unexpected Exception/Error.static void
resetCounters()
reset error and warning countersstatic void
setGUIMode(java.awt.TextArea text)
Switches to GUI mode iftext
is notnull
static void
setOutputStream(java.io.OutputStream stream)
Sets a new output stream and switches to non-gui mode.static void
showPosition(java.io.File file, int line)
print a line of a filestatic void
showPosition(java.io.File file, int line, int column)
prints a line of a file with marked position.static void
statistics()
print error and warning statisticsstatic void
time(java.lang.String message)
Report time statistic data.static void
time(ErrorMessages message, Timer time)
Report time statistic data.static void
warning(java.io.File file, ErrorMessages message, int line, int column)
print warning message with location informationstatic void
warning(java.lang.String message)
print a warning without position informationstatic void
warning(ErrorMessages message)
print a warning message without line informationstatic void
warning(ErrorMessages message, int line)
print a warning with line information
-
-
-
Field Detail
-
NL
public static final java.lang.String NL
platform dependent newline sequence
-
warnings
private static int warnings
count total warnings
-
errors
private static int errors
count total errors
-
out
private static StdOutWriter out
output device
-
-
Method Detail
-
setGUIMode
public static void setGUIMode(java.awt.TextArea text)
Switches to GUI mode iftext
is notnull
- Parameters:
text
- the message TextArea of the JFlex GUI
-
setOutputStream
public static void setOutputStream(java.io.OutputStream stream)
Sets a new output stream and switches to non-gui mode.- Parameters:
stream
- the new output stream
-
time
public static void time(ErrorMessages message, Timer time)
Report time statistic data.- Parameters:
message
- the message to be printedtime
- elapsed time
-
time
public static void time(java.lang.String message)
Report time statistic data.- Parameters:
message
- the message to be printed
-
println
public static void println(java.lang.String message)
Report generation progress.- Parameters:
message
- the message to be printed
-
println
public static void println(ErrorMessages message, java.lang.String data)
Report generation progress.- Parameters:
message
- the message to be printeddata
- data to be inserted into the message
-
println
public static void println(ErrorMessages message, int data)
Report generation progress.- Parameters:
message
- the message to be printeddata
- data to be inserted into the message
-
print
public static void print(java.lang.String message)
Report generation progress.- Parameters:
message
- the message to be printed
-
debug
public static void debug(java.lang.String message)
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
public static void dump(java.lang.String message)
All parts of JFlex, that want to provide dump information should use this method for their output.- Parameters:
message
- aString
object.
-
err
private static void err(java.lang.String message)
All parts of JFlex, that want to report error messages should use this method for their output.
-
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
public static void warning(java.lang.String message)
print a warning without position information- Parameters:
message
- the warning message
-
warning
public static void warning(ErrorMessages message)
print a warning message without line information- Parameters:
message
- code of the warning message- See Also:
ErrorMessages
-
warning
public static void warning(ErrorMessages message, int line)
print a warning with line information- Parameters:
message
- code of the warning messageline
- the line information- See Also:
ErrorMessages
-
warning
public static void warning(java.io.File file, ErrorMessages message, int line, int column)
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
public static void error(java.lang.String message)
print error message (string)- Parameters:
message
- the message to print
-
error
public static void error(ErrorMessages message)
print error message (code)- Parameters:
message
- the code of the error message- See Also:
ErrorMessages
-
error
public static void error(ErrorMessages message, java.lang.String data)
print error message with data- Parameters:
data
- data to insert into the messagemessage
- the code of the error message- See Also:
ErrorMessages
-
error
public static void error(ErrorMessages message, java.io.File file)
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
public static void error(java.io.File file, ErrorMessages message, int line, int column)
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
public static void showPosition(java.io.File file, int line, int column)
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
public static void showPosition(java.io.File file, int line)
print a line of a file- Parameters:
file
- the file to showline
- the line number
-
getLine
private static java.lang.String getLine(java.io.File file, int line) throws java.io.IOException
get one line from a file- Parameters:
file
- the file to readline
- the line number to get- Throws:
java.io.IOException
-
printSystemInfo
public static void printSystemInfo()
Print system information (e.g. in case of unexpected exceptions)
-
requestBugReport
public static void requestBugReport(java.lang.Error e)
Request a bug report for an unexpected Exception/Error.- Parameters:
e
- aError
object.
-
-