diff options
| author | michelou <michelou@epfl.ch> | 2006-09-26 14:56:27 +0000 |
|---|---|---|
| committer | michelou <michelou@epfl.ch> | 2006-09-26 14:56:27 +0000 |
| commit | b03888b4da76cd80c0641a896ec6b4042c7ba125 (patch) | |
| tree | 7d33b6dcc49a1240ae52b9fa12c99c4f7906d7ca /src | |
| parent | b628076f05047a6043ff2558ad032a66ceb421a0 (diff) | |
| download | scala-b03888b4da76cd80c0641a896ec6b4042c7ba125.tar.gz scala-b03888b4da76cd80c0641a896ec6b4042c7ba125.tar.bz2 scala-b03888b4da76cd80c0641a896ec6b4042c7ba125.zip | |
corrected line separator in ast/TreePrinters.scala
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/scala/tools/nsc/ast/TreePrinters.scala | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/compiler/scala/tools/nsc/ast/TreePrinters.scala b/src/compiler/scala/tools/nsc/ast/TreePrinters.scala index 0a2a5eb1d6..e8e722d4d1 100644 --- a/src/compiler/scala/tools/nsc/ast/TreePrinters.scala +++ b/src/compiler/scala/tools/nsc/ast/TreePrinters.scala @@ -6,7 +6,7 @@ package scala.tools.nsc.ast -import java.io.{OutputStream,Writer,PrintWriter} +import java.io.{OutputStream, PrintWriter, Writer} import symtab.Flags._ abstract class TreePrinters { @@ -19,6 +19,8 @@ abstract class TreePrinters { protected val indentStep = 2 protected var indentString = " " // 40 + val LINE_SEPARATOR = System.getProperty("line.separator", "\n") + def flush = out.flush() def indent = indentMargin = indentMargin + indentStep @@ -119,7 +121,7 @@ abstract class TreePrinters { str.toString } } - val attrs = tree.symbol.attributes; + val attrs = tree.symbol.attributes if (!attrs.isEmpty) { print(attrs.map(attrInfoToString).mkString("[", ",", "]")) } @@ -325,7 +327,7 @@ abstract class TreePrinters { } def print(tree: Tree): unit = { - if (settings.Xprintpos.value) print("["+tree.pos+"]") + if (settings.Xprintpos.value) print("[" + tree.pos + "]") printRaw( if (tree.isDef && tree.symbol != NoSymbol) { tree match { @@ -341,7 +343,7 @@ abstract class TreePrinters { } def print(unit: CompilationUnit): unit = { - print("// Scala source: " + unit.source + "\n") + print("// Scala source: " + unit.source + LINE_SEPARATOR) if (unit.body != null) { print(unit.body); println } else { |