blob: 9498f0af3696a71e7de34b5b68c46885857e0cd9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
package scala.reflect
package api
/** A trait that manages names.
* A name is a string in one of two name universes: terms and types.
* The same string can be a name in both universes.
* Two names are equal if they represent the same string and they are
* members of the same universe.
*
* Names are interned. That is, for two names `name11 and `name2`,
* `name1 == name2` implies `name1 eq name2`.
*/
trait Names {
/** The abstract type of names */
type Name >: Null <: AbsName
/** The abstract type of names representing terms */
type TypeName <: Name
/** The abstract type of names representing types */
type TermName <: Name
abstract class AbsName {
/** Is this name a term name? */
def isTermName: Boolean
/** Is this name a type name? */
def isTypeName: Boolean
/** Returns a term name that represents the same string as this name */
def toTermName: TermName
/** Returns a type name that represents the same string as this name */
def toTypeName: TypeName
/** Replaces all occurrences of $op_names in this name by corresponding operator symbols.
* Example: `foo_+=` becomes `foo_$plus$eq`.
*/
def decode: String
/** Replaces all occurrences of operator symbols in this name by corresponding $op_names.
* Example: `foo_$plus$eq` becomes `foo_+=`
*/
def encode: Name
}
/** Create a new term name.
*/
def newTermName(s: String): TermName
/** Creates a new type name.
*/
def newTypeName(s: String): TypeName
def EmptyTermName: TermName = newTermName("")
def EmptyTypeName: TypeName = EmptyTermName.toTypeName
}
|