|
|
Scala 2.3.3
|
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