|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectJFlex.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 paramters. Redirects output to a TextArea in GUI mode. Counts error and warning messages.
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. |
static int |
errors
count total errors |
static java.lang.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 |
Constructor Summary | |
Out()
|
Method Summary | |
static void |
checkErrors()
throws a GeneratorException if there are any errors recorded |
static void |
debug(java.lang.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(java.lang.String message)
All parts of JFlex, that want to provide dump information should use this method for their output. |
static void |
error(java.io.File file,
int message,
int line,
int column)
print error message with location information |
static void |
error(int message)
print error message (code) |
static void |
error(int message,
java.io.File file)
IO error message for a file (displays file name in parentheses). |
static void |
error(java.lang.String message)
print error message (string) |
static void |
print(java.lang.String message)
All parts of JFlex, that want to report generation progress should use this method for their output. |
static void |
println(java.lang.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. |
static void |
requestBugReport(java.lang.Error e)
Request a bug report for an unexpected Exception/Error. |
static void |
resetCounters()
reset error and warning counters |
static void |
setGUIMode(java.awt.TextArea text)
Switches to GUI mode if text is not null |
static void |
showPosition(java.io.File file,
int line)
print a line of a file |
static 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 statistics |
static void |
time(java.lang.String message)
All parts of JFlex, that want to report something about time statistic should use this method for their output. |
static void |
warning(java.io.File file,
int message,
int line,
int column)
print warning message with location information |
static void |
warning(int message,
int line)
print a warning with line information |
static void |
warning(java.lang.String message)
print a warning without position information |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public static final java.lang.String NL
public static boolean VERBOSE
public static boolean TIME
public static boolean DUMP
public static boolean DOT
public static final boolean DEBUG
public static int warnings
public static int errors
Constructor Detail |
public Out()
Method Detail |
public static void setGUIMode(java.awt.TextArea text)
text
is not null
text
- the message TextArea of the JFlex GUIpublic static void time(java.lang.String message)
message
- the message to be printedpublic static void println(java.lang.String message)
message
- the message to be printedpublic static void print(java.lang.String message)
message
- the message to be printedpublic static void debug(java.lang.String message)
if (Out.DEBUG) Out.debug(message)
to save performance during normal operation (when DEBUG
is turned off).
public static void dump(java.lang.String message)
public static void checkErrors()
public static void statistics()
public static void resetCounters()
public static void warning(java.lang.String message)
message
- the warning messagepublic static void warning(int message, int line)
message
- code of the warning messageline
- the line informationErrorMessages
public static void warning(java.io.File file, int message, int line, int column)
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 positionpublic static void error(java.lang.String message)
message
- the message to printpublic static void error(int message)
message
- the code of the error messageErrorMessages
public static void error(int message, java.io.File file)
message
- the code of the error messagefile
- the file it occurred forpublic static void error(java.io.File file, int message, int line, int column)
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 positionpublic static void showPosition(java.io.File file, int line, int column)
file
- the file of which to show the lineline
- the line to showcolumn
- the column in which to show the markerpublic static void showPosition(java.io.File file, int line)
file
- the file to showline
- the line numberpublic static void printSystemInfo()
public static void requestBugReport(java.lang.Error e)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |