dotty.tools.dotc.core.NameKinds$.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.
Attributes Graph Reset zoom Hide graph Show graph
Supertypes Members list Concise view
Type members
Attributes Graph Reset zoom Hide graph Show graph
Supertypes
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 Graph Reset zoom Hide graph Show graph
Supertypes Known subtypes
The info class defined by this kind
The info class defined by this kind
Attributes Value members
Overloaded version used only for ExpandedName and TraitSetterName.
Needed because the suffix of an expanded name may itself be expanded.
For example, look at javap of scala.App.initCode
Overloaded version used only for ExpandedName and TraitSetterName.
Needed because the suffix of an expanded name may itself be expanded.
For example, look at javap of scala.App.initCode
Attributes
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 Definition Classes
Attributes Definition Classes
A string used for displaying the structure of a name
A string used for displaying the structure of a name
Attributes
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
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