diff options
author | paltherr <paltherr@epfl.ch> | 2003-03-13 11:57:37 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-03-13 11:57:37 +0000 |
commit | 6656a7bed7d59570af5cbbcbad9e0b16ddf19ff8 (patch) | |
tree | a44f81bd131750ca40b7afd10a5d8a37c24289b8 /sources/scalac/ast | |
parent | 766aece3147dcd211b5e46c92df2552ff5b87892 (diff) | |
download | scala-6656a7bed7d59570af5cbbcbad9e0b16ddf19ff8.tar.gz scala-6656a7bed7d59570af5cbbcbad9e0b16ddf19ff8.tar.bz2 scala-6656a7bed7d59570af5cbbcbad9e0b16ddf19ff8.zip |
- Moved field "console" from class Sourcefile i...
- Moved field "console" from class Sourcefile into class Unit
Diffstat (limited to 'sources/scalac/ast')
-rw-r--r-- | sources/scalac/ast/parser/Sourcefile.java | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/sources/scalac/ast/parser/Sourcefile.java b/sources/scalac/ast/parser/Sourcefile.java index 91277f9ac8..517e0dd5dd 100644 --- a/sources/scalac/ast/parser/Sourcefile.java +++ b/sources/scalac/ast/parser/Sourcefile.java @@ -35,7 +35,6 @@ public class Sourcefile { /** the filename */ - public final boolean console; protected String filename; public String shortname; public String pathname; @@ -83,8 +82,7 @@ public class Sourcefile { /** constructors */ - public Sourcefile(String filename, boolean console) throws IOException, FileNotFoundException { - this.console = console; + public Sourcefile(String filename) throws IOException, FileNotFoundException { if (filename == null) { this.filename = "(sourcefile not available)"; this.shortname = "?"; @@ -111,7 +109,6 @@ public class Sourcefile { } public Sourcefile(AbstractFile abs) throws IOException, FileNotFoundException { - this.console = false; if (filename == null) { this.filename = "(sourcefile not available)"; this.shortname = "?"; @@ -135,8 +132,7 @@ public class Sourcefile { files[id = numIds++] = shortname; } - public Sourcefile(byte[] input, boolean console) { - this.console = console; + public Sourcefile(byte[] input) { if (input == null) { this.filename = "(sourcefile not available)"; this.shortname = "?"; |