Default

dotty.tools.dotc.util.FreshNameCreator.Default
class Default extends FreshNameCreator

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def newName(prefix: TermName, unique: UniqueNameKind): TermName

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).

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).

Attributes