Scanners added.

Moving Positions, Chars to new packages.
Added Source positions.
Added untyped trees module.
Factored out behavior between typed and untyped trees.

1 files changed, 38 insertions, 0 deletions

diff --git a/src/dotty/tools/dotc/util/FreshNameCreator.scala b/src/dotty/tools/dotc/util/FreshNameCreator.scala
new file mode 100644
index 000000000..d0c007d94
--- /dev/null
+++ b/src/dotty/tools/dotc/util/FreshNameCreator.scala
@@ -0,0 +1,38 @@
+package dotty.tools
+package dotc
+package util
+
+import scala.collection.mutable
+
+trait FreshNameCreator {
+  def newName(): String
+  def newName(prefix: String): String
+
+  @deprecated("use newName(prefix)", "2.9.0")
+  def newName(pos: scala.reflect.internal.util.Position, prefix: String): String = newName(prefix)
+  @deprecated("use newName()", "2.9.0")
+  def newName(pos: scala.reflect.internal.util.Position): String = newName()
+}
+
+object FreshNameCreator {
+  class Default extends FreshNameCreator {
+    protected var counter = 0
+    protected val counters = mutable.HashMap[String, Int]() withDefaultValue 0
+
+    /**
+     * Create a fresh name with the given prefix. It is guaranteed
+     * that the returned name has never been returned by a previous
+     * call to this function (provided the prefix does not end in a digit).
+     */
+    def newName(prefix: String): String = {
+      val safePrefix = prefix.replaceAll("""[<>]""", """\$""")
+      counters(safePrefix) += 1
+
+      safePrefix + counters(safePrefix)
+    }
+    def newName(): String = {
+      counter += 1
+      "$" + counter + "$"
+    }
+  }
+}