diff options
author | Den Shabalin <den.shabalin@gmail.com> | 2013-10-11 15:55:46 +0200 |
---|---|---|
committer | Den Shabalin <den.shabalin@gmail.com> | 2013-10-18 17:24:52 +0200 |
commit | 0a16caa5881b312f5cd3817fd4036436ed1d58b5 (patch) | |
tree | 6618e386d3c5ab43318915552be121ec48712b73 | |
parent | 68a6b57df2534d8b96cee8b3f4ab68159029779a (diff) | |
download | scala-0a16caa5881b312f5cd3817fd4036436ed1d58b5.tar.gz scala-0a16caa5881b312f5cd3817fd4036436ed1d58b5.tar.bz2 scala-0a16caa5881b312f5cd3817fd4036436ed1d58b5.zip |
use NameTransformer.encode for fresh name prefix sanitization
-rw-r--r-- | src/reflect/scala/reflect/internal/util/FreshNameCreator.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/reflect/scala/reflect/internal/util/FreshNameCreator.scala b/src/reflect/scala/reflect/internal/util/FreshNameCreator.scala index 8fe4a715f3..c8347cfeaa 100644 --- a/src/reflect/scala/reflect/internal/util/FreshNameCreator.scala +++ b/src/reflect/scala/reflect/internal/util/FreshNameCreator.scala @@ -7,6 +7,7 @@ package scala.reflect.internal package util import scala.collection.mutable +import scala.reflect.NameTransformer class FreshNameCreator { protected var counter = 0 @@ -18,9 +19,8 @@ class FreshNameCreator { * call to this function (provided the prefix does not end in a digit). */ def newName(prefix: String): String = { - val safePrefix = prefix.replaceAll("""[<>]""", """\$""") + val safePrefix = NameTransformer.encode(prefix) counters(safePrefix) += 1 - safePrefix + counters(safePrefix) } |