diff options
author | Martin Odersky <odersky@gmail.com> | 2009-05-19 16:25:32 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2009-05-19 16:25:32 +0000 |
commit | b3ce4c4f7d2e2016d7b71bea2df7aa6dc75bc3d5 (patch) | |
tree | 6920117580b355522f14bc168de0463f8677a3aa /src/compiler/scala/tools/nsc/Global.scala | |
parent | 14fb2dfadd8ef9b433fed2599c1b32049d4c90e2 (diff) | |
download | scala-b3ce4c4f7d2e2016d7b71bea2df7aa6dc75bc3d5.tar.gz scala-b3ce4c4f7d2e2016d7b71bea2df7aa6dc75bc3d5.tar.bz2 scala-b3ce4c4f7d2e2016d7b71bea2df7aa6dc75bc3d5.zip |
small modifications to collections.
Diffstat (limited to 'src/compiler/scala/tools/nsc/Global.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/Global.scala | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/Global.scala b/src/compiler/scala/tools/nsc/Global.scala index 3771ede167..4422a8b1ba 100644 --- a/src/compiler/scala/tools/nsc/Global.scala +++ b/src/compiler/scala/tools/nsc/Global.scala @@ -12,7 +12,7 @@ import java.nio.charset._ import compat.Platform.currentTime import scala.tools.nsc.io.{SourceReader, AbstractFile} import scala.tools.nsc.reporters._ -import scala.tools.nsc.util.{ClassPath, SourceFile, BatchSourceFile} +import scala.tools.nsc.util.{ClassPath, SourceFile, BatchSourceFile, OffsetPosition} import scala.collection.mutable.{HashSet, HashMap, ListBuffer} @@ -118,6 +118,8 @@ class Global(var settings: Settings, var reporter: Reporter) extends SymbolTable def inform(msg: String) = Console.err.println(msg) def inform[T](msg: String, value: T): T = { inform(msg+value); value } + def rangePos(source: SourceFile, start: Int, mid: Int, end: Int) = OffsetPosition(source, mid) + //reporter.info(null, msg, true) def informProgress(msg: String) = |