scala3-compiler-bootstrapped/dotty.tools.dotc.core/NameKinds/NumberedNameKind

NumberedNameKind

abstract class NumberedNameKind(tag: Int, val infoString: String) extends NameKind

The kind of numbered names consisting of an underlying name and a number

class NameKind
class Object
trait Matchable
class Any

Type members

Classlikes

case class NumberedInfo(num: Int) extends Info with NumberedInfo

Inherited classlikes

class Info

A simple info type; some subclasses of Kind define more refined versions

A simple info type; some subclasses of Kind define more refined versions

Inherited from
NameKind

Types

Value members

Concrete methods

def apply(qual: TermName, num: Int): TermName
protected def skipSeparatorAndNum(name: SimpleName, separator: String): Int

Inherited methods

def definesNewName: Boolean

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

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

Inherited from
NameKind
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.

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.

Inherited from
NameKind
def unmangle(name: SimpleName): TermName

Unmangle simple name name into a name of this kind, or return original name if this is not possible.

Unmangle simple name name into a name of this kind, or return original name if this is not possible.

Inherited from
NameKind

Concrete fields