|
Scala 2.2.0.9025
|
object
FreshNameCreator
extends
java.lang.Object with
scala.ScalaObjectConstructor Summary | |
def
this
|
Val Summary | |
protected
|
val
counters
: scala.collection.mutable.HashMap[java.lang.String, scala.Int]
|
Var Summary | |
protected
|
var
counter
: scala.Int
|
Def Summary | |
def
newName
: scala.Symbol
|
|
def
newName
(prefix: java.lang.String)
: scala.Symbol
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). |
Constructor Detail |
def
this
Val Detail |
protected
val
counters
: scala.collection.mutable.HashMap[java.lang.String, scala.Int]
Var Detail |
protected
var
counter
: scala.Int
Def Detail |
def
newName
: scala.Symbol
def
newName
(prefix: java.lang.String): scala.Symbol