Dotty Documentation

0.3.0-bin-SNAPSHOT

object NameKinds

Defines possible kinds of NameInfo of a derived name

[-] Constructors

[-] Members

[+] object AnyNumberedName

An extractor for numbered names of arbitrary kind

[+] object AnyQualifiedName

An extractor for qualified names of an arbitrary kind

[+] object AnyUniqueName

An extractor for unique names of arbitrary kind

[+] abstract class ClassifiedNameKind

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

[+] abstract class NameInfo

A class for the info stored in a derived name

[+] abstract class NameKind

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

[+] trait NumberedInfo

A base trait for infos that contain a number

[+] abstract class NumberedNameKind

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

[+] class PrefixNameKind

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

[+] object PrefixNameKind

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

[+] trait QualifiedInfo

A base trait for infos that define an additional selector name

[+] class QualifiedNameKind

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.

[+] object SignedName

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

[+] object SimpleNameKind
[+] class SuffixNameKind

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

[+] object SuffixNameKind

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

[+] case class UniqueNameKind

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.

[+] object UniqueNameKind

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.

[+] val AvoidClashName : SuffixNameKind
[+] val DefaultGetterName : NumberedNameKind

The kind of names of default argument getters

[+] val DepParamName : UniqueNameKind
[+] val DirectMethodName : SuffixNameKind
[+] val EvidenceParamName : UniqueNameKind
[+] val ExceptionBinderName : UniqueNameKind
[+] val ExpandPrefixName : QualifiedNameKind

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

[+] val ExpandedName : QualifiedNameKind

Expanded names of the form prefix $$ name.

[+] val ExtMethName : SuffixNameKind
[+] val FieldName : SuffixNameKind
[+] val FlatName : QualifiedNameKind

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

[+] val ImplMethName : SuffixNameKind
[+] val InitializerName : PrefixNameKind
[+] val InlineAccessorName : UniqueNameKind

Other unique names

[+] val LazyBitMapName : UniqueNameKind
[+] val LazyFieldOffsetName : UniqueNameKind
[+] val LazyImplicitName : UniqueNameKind
[+] val LazyLocalInitName : UniqueNameKind
[+] val LazyLocalName : UniqueNameKind
[+] val LiftedTreeName : UniqueNameKind
[+] val LocalOptInlineLocalObj : UniqueNameKind
[+] val ModuleClassName : SuffixNameKind
[+] val ModuleVarName : SuffixNameKind
[+] val NonLocalReturnKeyName : UniqueNameKind
[+] val OuterSelectName : NumberedNameKind

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

[+] val PatMatCaseName : UniqueNameKind
[+] val PatMatMatchFailName : UniqueNameKind
[+] val PatMatOName : UniqueNameKind
[+] val PatMatPName : UniqueNameKind
[+] val PatMatPiName : UniqueNameKind
[+] val PatMatSelectorName : UniqueNameKind
[+] val PatMatStdBinderName : UniqueNameKind

Kinds of unique names generated by the pattern matcher

[+] val ProtectedAccessorName : PrefixNameKind
[+] val ProtectedSetterName : PrefixNameKind
[+] val QualifiedName : QualifiedNameKind

Names of the form prefix . name

[+] val Scala2MethodNameKinds : List [ NameKind ]

Possible name kinds of a method that comes from Scala2 pickling info.

[+] val ShadowedName : PrefixNameKind
[+] val SkolemName : UniqueNameKind
[+] val SuperAccessorName : PrefixNameKind
[+] val SuperArgName : UniqueNameKind
[+] val TailLabelName : UniqueNameKind
[+] val TempResultName : UniqueNameKind
[+] val TraitSetterName : QualifiedNameKind

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

[+] val UniqueExtMethName : UniqueNameKind

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

[+] val UniqueName : UniqueNameKind

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

[+] val VariantName : NumberedNameKind

The kind of names that also encode a variance: 0 for contravariance, 1 for covariance.

[+] val WildcardParamName : UniqueNameKind
[+] @sharable private val numberedNameKinds : HashMap [ Int, NumberedNameKind ]
[+] @sharable private val qualifiedNameKinds : HashMap [ Int, QualifiedNameKind ]
[+] @sharable private val simpleNameKinds : HashMap [ Int, ClassifiedNameKind ]
[+] @sharable private val uniqueNameKinds : HashMap [ String, UniqueNameKind ]
[+] def numberedNameKindOfTag : Map [ Int, NumberedNameKind ]
[+] def qualifiedNameKindOfTag : Map [ Int, QualifiedNameKind ]
[+] def simpleNameKindOfTag : Map [ Int, ClassifiedNameKind ]
[+] def uniqueNameKindOfSeparator : Map [ String, UniqueNameKind ]