PrefixNameKind
The kind of names that get formed by adding a prefix to an underlying name
Attributes
- Graph
-
- Supertypes
- Known subtypes
-
enum AvoidNameKind
Members list
Type members
Inherited classlikes
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
- Known subtypes
Inherited types
The info class defined by this kind
Value members
Concrete methods
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
- Definition Classes
Inherited methods
Build a new name of this kind from an underlying name
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
Attributes
- Inherited from:
- NameKind
Extractor operation for names of this kind
Inherited fields
Attributes
- Inherited from:
- ClassifiedNameKind
A string used for displaying the structure of a name