src/dotty/tools/dotc/core/MemberBinding.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

package dotty.tools.dotc.core

import Names.Name
import Contexts.Context
import Types.{Type, TypeBounds}

/** A common super trait of Symbol and Refinement.
 *  Used to capture the attributes of type parameters
 *  which can be implemented as either symbols or refinements.
 *  TODO: Rename (TypeParamInfo?)
 */
trait MemberBinding {

  /** Does this binding represent a type parameter?
   *  Only in that case the rest of the binding's methods are significant.
   */
  def isTypeParam(implicit ctx: Context): Boolean

  /** The name of the member */
  def memberName(implicit ctx: Context): Name

  /** The info of the member */
  def memberBounds(implicit ctx: Context): TypeBounds

  /** The info of the member as seen from a prefix type.
   *  This can be different from `memberInfo` if the binding
   *  is a type symbol of a class.
   */
  def memberBoundsAsSeenFrom(pre: Type)(implicit ctx: Context): TypeBounds

  /** The variance of the type parameter
   *  @pre: isTypeParam = true
   */
  def memberVariance(implicit ctx: Context): Int
}