scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.core/NameKinds/NumberedNameKind

NumberedNameKind

dotty.tools.dotc.core.NameKinds.NumberedNameKind
abstract class NumberedNameKind(tag: Int, val infoString: String) extends NameKind

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

Attributes

Graph
Supertypes
class NameKind
class Object
trait Matchable
class Any
Known subtypes
Self type

Members list

Type members

Classlikes

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

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait NumberedInfo
class Info
class NameInfo
class Object
trait Matchable
class Any
Show all

Inherited classlikes

class Info extends NameInfo

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

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

Attributes

Inherited from:
NameKind
Supertypes
class NameInfo
class Object
trait Matchable
class Any
Known subtypes
class NumberedInfo
class QualInfo
class SignedInfo

Types

type ThisInfo = NumberedInfo

The info class defined by this kind

The info class defined by this kind

Attributes

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.

Attributes

Inherited from:
NameKind
def definesQualifiedName: Boolean

Attributes

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.

Attributes

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.

Attributes

Inherited from:
NameKind

Concrete fields

val infoString: String

A string used for displaying the structure of a name

A string used for displaying the structure of a name

Attributes

Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL