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.
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass NumberedNameKindclass NameKindclass Objecttrait Matchableclass AnyShow all
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
Attributes
- Inherited from:
- NumberedNameKind
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait NumberedInfoclass Infoclass NameInfoclass Objecttrait Matchableclass AnyShow all
Inherited types
The info class defined by this kind
Value members
Concrete methods
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
Generate fresh unique term name of this kind with given prefix name
Generate fresh unique term name of this kind with given prefix name
Attributes
Generate fresh unique type name of this kind with given prefix name
Generate fresh unique type name of this kind with given prefix 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
Inherited methods
Attributes
- Inherited from:
- NumberedNameKind
Attributes
- Inherited from:
- NameKind
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- NumberedNameKind
Attributes
- Inherited from:
- NumberedNameKind
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
Concrete fields
Inherited fields
A string used for displaying the structure of a name