|
Scala 2.4.0-RC2
|
object
FreshNameCreator
extends
java.lang.Object
with
scala.ScalaObject
Constructor 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 |
Val Detail |
Var Detail |
Def Detail |
def
newName
: scala.Symbol
def
newName
(prefix: java.lang.String): scala.Symbol