Packages

  • package root
    Definition Classes
    root
  • package scala
    Definition Classes
    root
  • package tools
    Definition Classes
    scala
  • package nsc
    Definition Classes
    tools
  • package transform
    Definition Classes
    nsc
  • abstract class SpecializeTypes extends SubComponent with InfoTransform with TypingTransformers

    Specialize code on types.

    Specialize code on types.

    Make sure you've read the thesis:

    Iulian Dragos: Compiling Scala for Performance (chapter 4)

    There are some things worth noting, (possibly) not mentioned there: 0) Make sure you understand the meaning of various SpecializedInfo descriptors defined below.

    1) Specializing traits by introducing bridges in specialized methods of the specialized trait may introduce problems during mixin composition. Concretely, it may cause cyclic calls and result in a stack overflow. See ticket #4351. This was solved by introducing an Abstract specialized info descriptor. Instead of generating a bridge in the trait, an abstract method is generated.

    2) Specialized private members sometimes have to be switched to protected. In some cases, even this is not enough. Example:

    class A[@specialized T](protected val d: T) {
      def foo(that: A[T]) = that.d
    }

    Specialization will generate a specialized class and a specialized method:

    class A$mcI$sp(protected val d: Int) extends A[Int] {
      def foo(that: A[Int]) = foo$mcI$sp(that)
      def foo(that: A[Int]) = that.d
    }

    Above, A$mcI$sp cannot access d, so the method cannot be typechecked.

    Definition Classes
    transform
  • class SpecializationTransformer extends TypingTransformer
    Definition Classes
    SpecializeTypes
  • CollectMethodBodies

class CollectMethodBodies extends Global.Traverser

Collect method bodies that are concrete specialized methods.

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CollectMethodBodies
  2. Traverser
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new CollectMethodBodies()

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def apply[T <: Global.Tree](tree: T): T
    Definition Classes
    Traverser
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def atOwner(owner: Global.Symbol)(traverse: ⇒ Unit): Unit
    Definition Classes
    Traverser
  7. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  8. var currentOwner: Global.Symbol
    Attributes
    protected[scala]
    Definition Classes
    Traverser
  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  11. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  12. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  13. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  14. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  15. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  17. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  18. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  19. def toString(): String
    Definition Classes
    AnyRef → Any
  20. def traverse(tree: Global.Tree): Unit
    Definition Classes
    CollectMethodBodies → Traverser
  21. def traverseAnnotations(annots: List[Global.Tree]): Unit
    Definition Classes
    Traverser
  22. def traverseCases(cases: List[Global.CaseDef]): Unit
    Definition Classes
    Traverser
  23. def traverseConstant(c: Global.Constant): Unit
    Definition Classes
    Traverser
  24. def traverseGuard(guard: Global.Tree): Unit
    Definition Classes
    Traverser
  25. def traverseImportSelector(sel: Global.ImportSelector): Unit
    Definition Classes
    Traverser
  26. def traverseModifiers(mods: Global.Modifiers): Unit
    Definition Classes
    Traverser
  27. def traverseName(name: Global.Name): Unit
    Definition Classes
    Traverser
  28. def traverseParams(params: List[Global.Tree]): Unit
    Definition Classes
    Traverser
  29. def traverseParamss(vparamss: List[List[Global.Tree]]): Unit
    Definition Classes
    Traverser
  30. def traverseParents(parents: List[Global.Tree]): Unit
    Definition Classes
    Traverser
  31. def traversePattern(pat: Global.Tree): Unit
    Definition Classes
    Traverser
  32. def traverseSelfType(self: Global.ValDef): Unit
    Definition Classes
    Traverser
  33. def traverseStats(stats: List[Global.Tree], exprOwner: Global.Symbol): Unit
    Definition Classes
    Traverser
  34. def traverseTrees(trees: List[Global.Tree]): Unit
    Definition Classes
    Traverser
  35. def traverseTreess(treess: List[List[Global.Tree]]): Unit
    Definition Classes
    Traverser
  36. def traverseTypeArgs(args: List[Global.Tree]): Unit
    Definition Classes
    Traverser
  37. def traverseTypeAscription(tpt: Global.Tree): Unit
    Definition Classes
    Traverser
  38. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  39. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from Global.Traverser

Inherited from AnyRef

Inherited from Any

Ungrouped