diff options
| author | paltherr <paltherr@epfl.ch> | 2005-02-09 10:13:00 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2005-02-09 10:13:00 +0000 |
| commit | f177bb32154e5e7deee6eac97895c93c60f52d09 (patch) | |
| tree | 2143a991238fd221dc8c9a5da8e0c629c1664af0 | |
| parent | bda1e6ab238e8f091d731c37b7908b5eadca6ed7 (diff) | |
| download | scala-f177bb32154e5e7deee6eac97895c93c60f52d09.tar.gz scala-f177bb32154e5e7deee6eac97895c93c60f52d09.tar.bz2 scala-f177bb32154e5e7deee6eac97895c93c60f52d09.zip | |
- Removed "printSummary" from Reporter interface
| -rwxr-xr-x | sources/scala/tools/nsc/Main.scala | 2 | ||||
| -rw-r--r-- | sources/scala/tools/util/Reporter.java | 3 |
2 files changed, 1 insertions, 4 deletions
diff --git a/sources/scala/tools/nsc/Main.scala b/sources/scala/tools/nsc/Main.scala index 8265c58843..36b3b12fe1 100755 --- a/sources/scala/tools/nsc/Main.scala +++ b/sources/scala/tools/nsc/Main.scala @@ -13,7 +13,7 @@ object Main { System.getProperty("scala.version", "unknown version"); val versionMsg = PRODUCT + " " + VERSION + " -- (c) 2002-04 LAMP/EPFL"; - private var reporter: Reporter = _; + private var reporter: ConsoleReporter = _; def error(msg: String): unit = reporter.error(new Position(PRODUCT), diff --git a/sources/scala/tools/util/Reporter.java b/sources/scala/tools/util/Reporter.java index b094f6b7de..b2411e0649 100644 --- a/sources/scala/tools/util/Reporter.java +++ b/sources/scala/tools/util/Reporter.java @@ -59,7 +59,4 @@ public interface Reporter { public void error(Position position, String message); //######################################################################## - - /** Prints the number of errors and warnings if their are non-zero. */ - public void printSummary(); } |