src/library/scala/reflect/base/StandardNames.scala


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

/* NSC -- new Scala compiler
* Copyright 2005-2012 LAMP/EPFL
* @author  Martin Odersky
*/

package scala.reflect
package base

// Q: I have a pretty name. Where do I put it - into base.StandardNames or into api.StandardNames?
// A: Is it necessary to construct trees (like EMPTY or WILDCARD_STAR)? If yes, then it goes to base.StandardNames.
//    Is it necessary to perform reflection (like ERROR or LOCAL_SUFFIX_STRING)? If yes, then it goes to api.StandardNames.
//    Otherwise it goes nowhere - reflection API should stay minimalistic.

// TODO: document better
/**
 * Names necessary to create Scala trees.
 */
trait StandardNames {
  self: Universe =>

  val nme: TermNamesBase
  val tpnme: TypeNamesBase

  trait NamesBase {
    type NameType >: Null <: Name
    val WILDCARD: NameType
  }

  trait TermNamesBase extends NamesBase {
    type NameType = TermName
    val CONSTRUCTOR: NameType
    val ROOTPKG: NameType
  }

  trait TypeNamesBase extends NamesBase {
    type NameType = TypeName
    val EMPTY: NameType
    val WILDCARD_STAR: NameType
  }
}