diff options
author | Iulian Dragos <jaguarul@gmail.com> | 2004-11-19 14:47:39 +0000 |
---|---|---|
committer | Iulian Dragos <jaguarul@gmail.com> | 2004-11-19 14:47:39 +0000 |
commit | 02dc24e06886d3ecc2180f4ac53c2c48a643de1b (patch) | |
tree | 5280b24457744443212aa6c8553729e9c7d7c4ad /sources/scalac | |
parent | d2b9c55e12acbab3694ae9c8fcb0d69d46c643ea (diff) | |
download | scala-02dc24e06886d3ecc2180f4ac53c2c48a643de1b.tar.gz scala-02dc24e06886d3ecc2180f4ac53c2c48a643de1b.tar.bz2 scala-02dc24e06886d3ecc2180f4ac53c2c48a643de1b.zip |
Added swing printer.
Diffstat (limited to 'sources/scalac')
-rw-r--r-- | sources/scalac/Global.java | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/sources/scalac/Global.java b/sources/scalac/Global.java index 93a19ff47e..091eefe2c5 100644 --- a/sources/scalac/Global.java +++ b/sources/scalac/Global.java @@ -181,10 +181,12 @@ public abstract class Global { */ public static final String PRINTER_TEXT; public static final String PRINTER_HTML; + public static final String PRINTER_SWING; public static final String[] PRINTERS = new String[] { PRINTER_TEXT = "text", PRINTER_HTML = "html", + PRINTER_SWING = "swing", }; /** @@ -201,6 +203,7 @@ public abstract class Global { public abstract Infer newInfer(); public abstract TreePrinter newTextTreePrinter(PrintWriter writer); public abstract TreePrinter newHTMLTreePrinter(PrintWriter writer); + public abstract TreePrinter newSwingTreePrinter(PrintWriter writer); /** * Creates an instance variable. @@ -264,7 +267,9 @@ public abstract class Global { this.writer = new PrintWriter(stream, debug); if (args.printer.value.equals(PRINTER_HTML)) { this.treePrinter = newHTMLTreePrinter(writer); - } else { + } else if (args.printer.value.equals(PRINTER_SWING)) { + this.treePrinter = newSwingTreePrinter(writer); + } else { if (!args.printer.value.equals(PRINTER_TEXT)) error("unknown printer kind: " + args.printer.value); this.treePrinter = newTextTreePrinter(writer); |