jltools.main
Class  Report
java.lang.Object
  |
  +--jltools.main.Report
- public class Report
- extends java.lang.Object
  
Class used for reporting debug messages.
| 
Field Summary | 
static java.util.Collection | 
topics
 
          A collection of string names of topics which can be used with the
-report command-line switch | 
 
 
| 
Method Summary | 
static void | 
report(java.util.Collection topics,
       int level,
       java.lang.String message)
 
          This is the standard way to report debugging information in the
  compiler. | 
static boolean | 
should_report(java.util.Collection topics,
              int level)
 
          Return whether a message on topics of obscurity
 level should be reported, based on the command-line
 switches given by the user. | 
 
| Methods inherited from class java.lang.Object | 
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait | 
 
topics
public static java.util.Collection topics
- A collection of string names of topics which can be used with the
-report command-line switch
 
Report
public Report()
should_report
public static boolean should_report(java.util.Collection topics,
                                    int level)
- Return whether a message on 
topics of obscurity
 level should be reported, based on the command-line
 switches given by the user. This method is occasionally useful
 when the computation of the message to be reported is expensive. 
report
public static void report(java.util.Collection topics,
                          int level,
                          java.lang.String message)
- This is the standard way to report debugging information in the
  compiler.  It conditionally reports a message if it is related to
  one of the specified topics. The variable 
topics is a
  collection of strings.  The obscurity of the message is indicated
  by level.  The message is reported only if the user
  has requested (via the -report command-line option) that messages
  of that obscurity be reported for one of the specified topics.