blob: 7e9a568266e575830cd93ed110b6d0d99899d725 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
/* NSC -- new Scala compiler
* Copyright 2005-2013 LAMP/EPFL
*/
package scala
package reflect
package internal
import scala.reflect.internal.util.FreshNameCreator
trait FreshNames { self: Names with StdNames =>
// SI-6879 Keeps track of counters that are supposed to be globally unique
// as opposed to traditional freshers that are unique to compilation units.
val globalFreshNameCreator = new FreshNameCreator
// default fresh name creator used to abstract over currentUnit.fresh and runtime fresh name creator
def currentFreshNameCreator: FreshNameCreator
// create fresh term/type name using implicit fresh name creator
def freshTermName(prefix: String = nme.FRESH_TERM_NAME_PREFIX)(implicit creator: FreshNameCreator): TermName = newTermName(creator.newName(prefix))
def freshTypeName(prefix: String)(implicit creator: FreshNameCreator): TypeName = newTypeName(creator.newName(prefix))
// Extractor that matches names which were generated by some
// FreshNameCreator with known prefix. Extracts user-specified
// prefix that was used as a parameter to newName by stripping
// global creator prefix and unique number in the end of the name.
class FreshNameExtractor(creatorPrefix: String = "") {
// quote prefix so that it can be used with replaceFirst
// which expects regExp rather than simple string
val quotedCreatorPrefix = java.util.regex.Pattern.quote(creatorPrefix)
def unapply(name: Name): Option[String] = {
val sname = name.toString
// name should start with creatorPrefix and end with number
if (!sname.startsWith(creatorPrefix) || !sname.matches("^.*\\d*$")) None
else Some(NameTransformer.decode(sname.replaceFirst(quotedCreatorPrefix, "").replaceAll("\\d*$", "")))
}
}
}
|
