scala.tools.nsc.symtab.Types

SubstSymMap

class SubstSymMap extends SubstMap[Symbol]

A map to implement the substSym' method.

Source
Types.scala
Linear Supertypes
SubstMap[Symbol], TypeMap, (Type) ⇒ Type, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. SubstSymMap
  2. SubstMap
  3. TypeMap
  4. Function1
  5. AnyRef
  6. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new SubstSymMap(from: List[Symbol], to: List[Symbol])

Type Members

  1. class TypeMapTransformer extends Transformer

    This transformer leaves the tree alone except to remap its types.

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. def allEq[T <: AnyRef](l1: List[T], l2: List[T]): Boolean

    Check whether two lists have elements that are eq-equal

    Check whether two lists have elements that are eq-equal

    Definition Classes
    TypeMap

  7. def andThen[A](g: (Type) ⇒ A): (Type) ⇒ A

    Definition Classes
    Function1

  8. def apply(tp: Type): Type

    Definition Classes
    SubstSymMap → SubstMap → Function1

  9. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  10. def clone(): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  11. def coevolveSym(pre: Type, pre1: Type, sym: Symbol): Symbol

    Attributes
    protected
    Definition Classes
    TypeMap

  12. def compose[A](g: (A) ⇒ Type): (A) ⇒ Type

    Definition Classes
    Function1

  13. val dropNonConstraintAnnotations: Boolean

    Should this map drop annotations that are not type-constraint annotations?

    Should this map drop annotations that are not type-constraint annotations?

    Definition Classes
    TypeMap

  14. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  15. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  16. def finalize(): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  17. val fromContains: (Symbol) ⇒ Boolean

    Definition Classes
    SubstMap

  18. final def getClass(): java.lang.Class[_]

    Definition Classes
    AnyRef → Any

  19. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  20. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  21. def mapOver(tree: Tree, giveup: () ⇒ Nothing): Tree

    Map a tree that is part of an annotation argument.

    Map a tree that is part of an annotation argument. If the tree cannot be mapped, then invoke giveup(). The default is to transform the tree with TypeMapTransformer.

    Definition Classes
    SubstSymMap → TypeMap

  22. def mapOver(tree: Tree): Option[Tree]

    Definition Classes
    TypeMap

  23. def mapOver(annot: AnnotationInfo): Option[AnnotationInfo]

    Definition Classes
    TypeMap

  24. def mapOver(origSyms: List[Symbol]): List[Symbol]

    Map this function over given list of symbols

    Map this function over given list of symbols

    Definition Classes
    TypeMap

  25. def mapOver(scope: Scope): Scope

    Map this function over given scope

    Map this function over given scope

    Definition Classes
    TypeMap

  26. def mapOver(tp: Type): Type

    Map this function over given type

    Map this function over given type

    Definition Classes
    TypeMap

  27. def mapOverAnnotArgs(args: List[Tree]): List[Tree]

    Map over a set of annotation arguments.

    Map over a set of annotation arguments. If any of the arguments cannot be mapped, then return Nil.

    Definition Classes
    TypeMap

  28. def mapOverAnnotations(annots: List[AnnotationInfo]): List[AnnotationInfo]

    Definition Classes
    TypeMap

  29. def mapOverArgs(args: List[Type], tparams: List[Symbol]): List[Type]

    Definition Classes
    TypeMap

  30. def matches(sym: Symbol, sym1: Symbol): Boolean

    Are sym' and sym1' the same.

    Are sym' and sym1' the same. Can be tuned by subclasses.

    Attributes
    protected
    Definition Classes
    SubstMap

  31. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  32. final def notify(): Unit

    Definition Classes
    AnyRef

  33. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  34. def renameBoundSyms(tp: Type): Type

    Attributes
    protected
    Definition Classes
    SubstMap

  35. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  36. def toString(): String

    Definition Classes
    Function1 → AnyRef → Any

  37. def toType(fromtp: Type, sym: Symbol): Type

    Map target to type, can be tuned by subclasses

    Map target to type, can be tuned by subclasses

    Attributes
    protected
    Definition Classes
    SubstSymMap → SubstMap

  38. var variance: Int

    The variance relative to start.

    The variance relative to start. If you want variances to be significant, set variance = 1 at the top of the typemap.

    Definition Classes
    TypeMap

  39. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

  40. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

  41. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from SubstMap[Symbol]

Inherited from TypeMap

Inherited from (Type) ⇒ Type

Inherited from AnyRef

Inherited from Any