public static interface Debug.FilterCommand
Modifier and Type | Method and Description |
---|---|
void |
filter(java.io.PrintStream output,
int level,
java.lang.String location,
java.lang.String extra,
java.lang.String message,
java.lang.String[] lines)
Called to print debug messages with a custom filter.
|
void filter(java.io.PrintStream output, int level, java.lang.String location, java.lang.String extra, java.lang.String message, java.lang.String[] lines)
output
- The PrintStream to output to.level
- The debug level of this message.location
- The textual location of the message.extra
- Extra information such as timing details.message
- The debug message.lines
- Other lines of a multiple-line debug message.