dotty.tools.dotc.core.NameKinds$.ClassifiedNameKind
The kind of names that add a simple classification to an underlying name.
Attributes
- Graph
- Supertypes
- Known subtypes
Members list
Concise view
Type members
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
- Supertypes
- Known subtypes
The info class defined by this kind
The info class defined by this kind
Attributes
Value members
Build a new name of this kind from an underlying name
Build a new name of this kind from an underlying name
Attributes
Extractor operation for names of this kind
Extractor operation for names of this kind
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
- Inherited from:
- NameKind
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
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
A string used for displaying the structure of a name
A string used for displaying the structure of a name
Attributes