diff options
author | Martin Odersky <odersky@gmail.com> | 2003-11-12 18:01:30 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2003-11-12 18:01:30 +0000 |
commit | f5437e9a8bb543cf57b295739dd3abdebb7be651 (patch) | |
tree | 82d04d9b9de6e798631dfbc12fa62f0f8be3dc02 /sources/scalac/Global.java | |
parent | f8ed082d80fb662f96d9a95dad3d7481b7e88818 (diff) | |
download | scala-f5437e9a8bb543cf57b295739dd3abdebb7be651.tar.gz scala-f5437e9a8bb543cf57b295739dd3abdebb7be651.tar.bz2 scala-f5437e9a8bb543cf57b295739dd3abdebb7be651.zip |
*** empty log message ***
Diffstat (limited to 'sources/scalac/Global.java')
-rw-r--r-- | sources/scalac/Global.java | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/sources/scalac/Global.java b/sources/scalac/Global.java index 9bf7dc9492..eeba341b3f 100644 --- a/sources/scalac/Global.java +++ b/sources/scalac/Global.java @@ -159,6 +159,15 @@ public class Global { this(args, false); } + /** hooks for installing printers + */ + protected TreePrinter newTextTreePrinter(OutputStream printStream) { + return new TextTreePrinter(printStream); + } + protected TreePrinter newHTMLTreePrinter(OutputStream printStream) { + return new HTMLTreePrinter(printStream); + } + /** * Creates an instance variable. * @@ -199,9 +208,9 @@ public class Global { } String printerName = args.printer.value.intern(); if (printerName == PRINTER_TEXT) - this.printer = new TextTreePrinter(printStream); + this.printer = newTextTreePrinter(printStream); else - this.printer = new HTMLTreePrinter(printStream); + this.printer = newHTMLTreePrinter(printStream); this.debugPrinter = new TextTreePrinter(System.err, true); this.freshNameCreator = new FreshNameCreator(); this.make = new DefaultTreeFactory(); |