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

NameKinds

dotty.tools.dotc.core.NameKinds

object NameKinds

Defines possible kinds of NameInfo of a derived name

Attributes

Graph
Supertypes: class Object

trait Matchable

class Any
Self type: NameKinds.type

Members list

Type members

Classlikes

An extractor for numbered names of arbitrary kind

Attributes

Supertypes: class Object

trait Matchable

class Any
Self type: AnyNumberedName.type

An extractor for qualified names of an arbitrary kind

Attributes

Supertypes: class Object

trait Matchable

class Any
Self type: AnyQualifiedName.type

An extractor for unique names of arbitrary kind

Attributes

Supertypes: class Object

trait Matchable

class Any
Self type: AnyUniqueName.type

See ConstraintHandling#LevelAvoidMap.

Attributes

Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class PrefixNameKind

class ClassifiedNameKind

class NameKind

class Object

trait Matchable

class Any
Show all

The kind of names that add a simple classification to an underlying name.

Attributes

Supertypes: class NameKind

class Object

trait Matchable

class Any
Known subtypes: class PrefixNameKind

enum AvoidNameKind

class SuffixNameKind

A class for the info stored in a derived name

Attributes

Supertypes: class Object

trait Matchable

class Any
Known subtypes: class Info

class NumberedInfo

class QualInfo

class SignedInfo

trait NumberedInfo

trait QualifiedInfo
Show all

An abstract base class of classes that define the kind of a derived name info

Attributes

Supertypes: class Object

trait Matchable

class Any
Known subtypes: class ClassifiedNameKind

class PrefixNameKind

enum AvoidNameKind

class SuffixNameKind

class NumberedNameKind

class UniqueNameKind

class QualifiedNameKind

object SignedName

object SimpleNameKind
Show all
Self type: NameKind

A base trait for infos that contain a number

Attributes

Supertypes: class NameInfo

class Object

trait Matchable

class Any
Known subtypes: class NumberedInfo

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

Attributes

Supertypes: class NameKind

class Object

trait Matchable

class Any
Known subtypes: class UniqueNameKind
Self type: NumberedNameKind

The kind of names that get formed by adding a prefix to an underlying name

Attributes

Supertypes: class ClassifiedNameKind

class NameKind

class Object

trait Matchable

class Any
Known subtypes: enum AvoidNameKind

A base trait for infos that define an additional selector name

Attributes

Supertypes: class NameInfo

class Object

trait Matchable

class Any
Known subtypes: class QualInfo

The kind of qualified names, consisting of an underlying name as a prefix, followed by a separator, followed by a simple selector name.

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

Attributes

Supertypes: class NameKind

class Object

trait Matchable

class Any

A name together with a signature. Used in Tasty trees.

Attributes

Supertypes: class NameKind

class Object

trait Matchable

class Any
Self type: SignedName.type

Attributes

Supertypes: class NameKind

class Object

trait Matchable

class Any
Self type: SimpleNameKind.type

The kind of names that get formed by appending a suffix to an underlying name

Attributes

Supertypes: class ClassifiedNameKind

class NameKind

class Object

trait Matchable

class Any

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.

Attributes

Supertypes: trait Serializable

trait Product

trait Equals

class NumberedNameKind

class NameKind

class Object

trait Matchable

class Any
Show all

Value members

Concrete methods

Concrete fields

Other unique names

Attributes

The name of the term parameter generated for a context bound:

def foo[T: A](...): ...

becomes:

def foo[T](...)(using evidence$1: A[T]): ...

The "evidence$" prefix is a convention copied from Scala 2.

Attributes

The name of an inferred contextual function parameter:

val x: A ?=> B = b

becomes:

val x: A ?=> B = (contextual$1: A) ?=> b

Attributes

The kind of names of default argument getters

Attributes

Names of the form prefix $ name that are prefixes of expanded names

Attributes

Expanded names of the form prefix $$ name.

Attributes

Names of the form prefix $ name that are constructed as a result of flattening

Attributes

Names of the form N_ . Emitted by inliner, replaced by outer path in ExplicitOuter.

Attributes

Kinds of unique names generated by the pattern matcher

Attributes

Names of the form prefix . name

Attributes

Possible name kinds of a method that comes from Scala2 pickling info. and that need to be unmangled. Note: Scala2 protected accessors and setters can be left mangled, so they are not included in thus list.

Attributes

Expanded names of the form prefix $_setter_$ name. These only occur in Scala2.

Attributes

A kind of unique extension methods; Unlike other unique names, these can be unmangled.

Attributes

Unique names of the form prefix $ n or $ n $

Attributes

In this article

Generated with