diff options
author | paltherr <paltherr@epfl.ch> | 2003-08-08 08:39:19 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-08-08 08:39:19 +0000 |
commit | 34ddfde6bd02e59f3e832deed6cfea89dde4a4fd (patch) | |
tree | 6aee89aeaf40c9f444b5e5ca1708421adea78f93 | |
parent | 69e9c38b4ff1d47ea22a3d60070bc4a95df49f01 (diff) | |
download | scala-34ddfde6bd02e59f3e832deed6cfea89dde4a4fd.tar.gz scala-34ddfde6bd02e59f3e832deed6cfea89dde4a4fd.tar.bz2 scala-34ddfde6bd02e59f3e832deed6cfea89dde4a4fd.zip |
- Removed field cause (using super.cause instead)
-rw-r--r-- | sources/scalac/ApplicationError.java | 30 |
1 files changed, 1 insertions, 29 deletions
diff --git a/sources/scalac/ApplicationError.java b/sources/scalac/ApplicationError.java index e689217eec..5c00567d50 100644 --- a/sources/scalac/ApplicationError.java +++ b/sources/scalac/ApplicationError.java @@ -8,19 +8,11 @@ package scalac; -import java.io.PrintStream; -import java.io.PrintWriter; - import scalac.util.Debug; public class ApplicationError extends Error { //######################################################################## - // Private state - - private final Throwable cause; // !!! remove and use API 1.4 - - //######################################################################## // Private interface private static String combine(String message, Object object) { @@ -52,8 +44,7 @@ public class ApplicationError extends Error { } public ApplicationError(String message, Throwable cause) { - super(message); - this.cause = cause; + super(message, cause); } public ApplicationError(Object object, Throwable cause) { @@ -65,23 +56,4 @@ public class ApplicationError extends Error { } //######################################################################## - // Throwable interface - - public void printStackTrace(PrintStream printer) { - super.printStackTrace(printer); - if (cause != null) { - printer.print("Caused by: "); - cause.printStackTrace(printer); - } - } - - public void printStackTrace(PrintWriter printer) { - super.printStackTrace(printer); - if (cause != null) { - printer.print("Caused by: "); - cause.printStackTrace(printer); - } - } - - //######################################################################## } |