Dotty Documentation

0.15.0-bin-SNAPSHOT

case class UniqueNameKind
extends NumberedNameKind with Product with Serializable

The kind of unique names that consist of an underlying name (can be empty), a separator indicating the class of unique name, and a unique number.

A unique names always constitutes a new name, different from its underlying name.

[-] Constructors

UniqueNameKind ( separator: String )

[-] Members

[+] val separator : String
[+] override def definesNewName : Boolean

Does this kind define logically a new name (respectively qualified name)? Tested by the replace and collect combinators of class Name.

[+] def fresh ( prefix: TermName ) ( implicit ctx: Context ) : TermName

Generate fresh unique term name of this kind with given prefix name

[+] def fresh ( prefix: TypeName ) ( implicit ctx: Context ) : TypeName

Generate fresh unique type name of this kind with given prefix name

[+] def fresh$default$1 : TermName

Generate fresh unique term name of this kind with given prefix name

[+] def mkString ( underlying: TermName , info: ThisInfo ) : String

Turn a name of this kind consisting of an underlying prefix and the given info into a string. Used to turn structured into simple name.