summaryrefslogtreecommitdiff
path: root/sources/scalac/Global.java
diff options
context:
space:
mode:
authorpaltherr <paltherr@epfl.ch>2005-01-27 17:17:34 +0000
committerpaltherr <paltherr@epfl.ch>2005-01-27 17:17:34 +0000
commit4a519eb7b1bb3ee5c72bd28b7447313258597f7b (patch)
tree624e67baaec15d91fc252e0524a27aa550715f5f /sources/scalac/Global.java
parent816c3d50011c50d0bf48931f87f936591d51d3ba (diff)
downloadscala-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.java8
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;
}