class
Default
extends
FreshNameCreator
Constructors
Default
(
)
Members
protected
var
counter
: Int
protected
val
counters
: Map
[
String, Int
]
protected
def
counter_=
(
x$1:
Int
)
: Unit
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...
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).