diff options
author | paltherr <paltherr@epfl.ch> | 2005-01-27 17:17:34 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2005-01-27 17:17:34 +0000 |
commit | 4a519eb7b1bb3ee5c72bd28b7447313258597f7b (patch) | |
tree | 624e67baaec15d91fc252e0524a27aa550715f5f /sources/scalac/Global.java | |
parent | 816c3d50011c50d0bf48931f87f936591d51d3ba (diff) | |
download | scala-4a519eb7b1bb3ee5c72bd28b7447313258597f7b.tar.gz scala-4a519eb7b1bb3ee5c72bd28b7447313258597f7b.tar.bz2 scala-4a519eb7b1bb3ee5c72bd28b7447313258597f7b.zip |
- Split the Reporter class into a Reporter inte...
- Split the Reporter class into a Reporter interface and an
AbstractReporter and a ConsoleReporter class.
Diffstat (limited to 'sources/scalac/Global.java')
-rw-r--r-- | sources/scalac/Global.java | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/sources/scalac/Global.java b/sources/scalac/Global.java index 8d220bfdc5..ead3469865 100644 --- a/sources/scalac/Global.java +++ b/sources/scalac/Global.java @@ -190,7 +190,7 @@ public abstract class Global { }; public static Timer getTimer(Reporter reporter) { - return reporter.verbose + return reporter.verbose() ? (Timer)new ReporterTimer(reporter) : (Timer)DummyTimer.object; } @@ -229,7 +229,7 @@ public abstract class Global { this.printtypes = args.types.value; this.printtokens = args.print.tokens; this.classPath = args.classpath(); - if (reporter.verbose) reporter.inform("classpath = " + classPath); + reporter.info(null, "classpath = " + classPath, false); this.outpath = args.outpath(); String encoding = args.encoding.value; Charset charset = null; @@ -632,7 +632,7 @@ public abstract class Global { /** issue an operation note */ public void operation(String message) { - reporter.inform("[" + message + "]"); + reporter.info(null, "[" + message + "]", false); } /** issue a debug message from currentPhase @@ -640,7 +640,7 @@ public abstract class Global { // the boolean return value is here to let one write "assert log( ... )" public boolean log(String message) { if (log()) { - reporter.report("[log " + currentPhase + "] " + message); + reporter.info(null, "[log " + currentPhase + "] " + message, true); } return true; } |