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 UnCurry extends SubComponent with InfoTransform with reflect.internal.transform.UnCurry with TypingTransformers with TreeDSL

    - uncurry all symbol and tree types (@see UnCurryPhase) -- this includes normalizing all proper types.

    - uncurry all symbol and tree types (@see UnCurryPhase) -- this includes normalizing all proper types.

    • for every curried parameter list: (ps_1) ... (ps_n) ==> (ps_1, ..., ps_n)
    • for every curried application: f(args_1)...(args_n) ==> f(args_1, ..., args_n)
    • for every type application: f[Ts] ==> f[Ts]() unless followed by parameters
    • for every use of a parameterless function: f ==> f() and q.f ==> q.f()
    • for every def-parameter: x: => T ==> x: () => T
    • for every use of a def-parameter: x ==> x.apply()
    • for every argument to a def parameter x: => T': if argument is not a reference to a def parameter: convert argument e to (expansion of) () => e'
    • for every repeated Scala parameter x: T*' --> x: Seq[T].
    • for every repeated Java parameter x: T...' --> x: Array[T], except: if T is an unbounded abstract type, replace --> x: Array[Object]
    • for every method defining repeated parameters annotated with @varargs, generate a synthetic Java-style vararg method
    • for every argument list that corresponds to a repeated Scala parameter (a_1, ..., a_n) => (Seq(a_1, ..., a_n))
    • for every argument list that corresponds to a repeated Java parameter (a_1, ..., a_n) => (Array(a_1, ..., a_n))
    • for every argument list that is an escaped sequence (a_1:_*) => (a_1) (possibly converted to sequence or array, as needed)
    • convert implicit method types to method types
    • convert non-trivial catches in try statements to matches
    • convert non-local returns to throws with enclosing try statements.
    • convert try-catch expressions in contexts where there might be values on the stack to a local method and a call to it (since an exception empties the evaluation stack):

    meth(x_1,..., try { x_i } catch { ..}, .. x_b0) ==> { def liftedTry$1 = try { x_i } catch { .. } meth(x_1, .., liftedTry$1(), .. ) }

    • remove calls to elidable methods and replace their bodies with NOPs when elide-below requires it
    Definition Classes
    transform
  • CODE
  • DesugaredParameterType
  • Phase
  • StdPhase
  • TypingTransformer
  • UnCurryTransformer
  • VarargsSymbolAttachment
c

scala.tools.nsc.transform.UnCurry

UnCurryTransformer

class UnCurryTransformer extends TypingTransformer

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. UnCurryTransformer
  2. TypingTransformer
  3. Transformer
  4. Transformer
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new UnCurryTransformer(unit: Global.CompilationUnit)

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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def atOwner[A](tree: Global.Tree, owner: Global.Symbol)(trans: ⇒ A): A
    Definition Classes
    TypingTransformer
  6. final def atOwner[A](owner: Global.Symbol)(trans: ⇒ A): A
    Definition Classes
    TypingTransformer → Transformer
  7. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  8. var curTree: Global.Tree
    Attributes
    protected
    Definition Classes
    TypingTransformer
  9. def currentClass: Global.Symbol
    Attributes
    protected
    Definition Classes
    Transformer
  10. def currentMethod: Global.Symbol
    Attributes
    protected
    Definition Classes
    Transformer
  11. var currentOwner: Global.Symbol
    Attributes
    protected[scala]
    Definition Classes
    Transformer
  12. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  14. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  16. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  17. def isByNameRef(tree: Global.Tree): Boolean
  18. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  19. def isNonLocalReturn(ret: Global.Return): Boolean
  20. var localTyper: (analyzer)#Typer
    Definition Classes
    TypingTransformer
  21. def mainTransform(tree: Global.Tree): Global.Tree
  22. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  23. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  24. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  25. def postTransform(tree: Global.Tree): Global.Tree
  26. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  27. def toString(): String
    Definition Classes
    AnyRef → Any
  28. def transform(tree: Global.Tree): Global.Tree
    Definition Classes
    UnCurryTransformerTypingTransformer → Transformer
  29. def transformArgs(pos: Global.Position, fun: Global.Symbol, args: List[Global.Tree], formals: List[Global.Type]): List[Global.Tree]
  30. def transformCaseDefs(trees: List[Global.CaseDef]): List[Global.CaseDef]
    Definition Classes
    Transformer
  31. def transformFunction(fun: Global.Function): Global.Tree

    Transform a function node (x_1,...,x_n) => body of type FunctionN[T_1, .., T_N, R] to

    Transform a function node (x_1,...,x_n) => body of type FunctionN[T_1, .., T_N, R] to

    class $anon() extends AbstractFunctionN[T_1, .., T_N, R] with Serializable { def apply(x_1: T_1, ..., x_N: T_n): R = body } new $anon()

  32. def transformIdents(trees: List[Global.Ident]): List[Global.Ident]
    Definition Classes
    Transformer
  33. def transformMemberDefs(trees: List[Global.MemberDef]): List[Global.MemberDef]
    Definition Classes
    Transformer
  34. def transformModifiers(mods: Global.Modifiers): Global.Modifiers
    Definition Classes
    Transformer
  35. def transformStats(stats: List[Global.Tree], exprOwner: Global.Symbol): List[Global.Tree]
    Definition Classes
    Transformer
  36. def transformTemplate(tree: Global.Template): Global.Template
    Definition Classes
    Transformer
  37. def transformTrees(trees: List[Global.Tree]): List[Global.Tree]
    Definition Classes
    Transformer
  38. def transformTypeDefs(trees: List[Global.TypeDef]): List[Global.TypeDef]
    Definition Classes
    Transformer
  39. def transformUnit(unit: Global.CompilationUnit): Unit
    Definition Classes
    Transformer
  40. def transformValDef(tree: Global.ValDef): Global.ValDef
    Definition Classes
    Transformer
  41. def transformValDefs(trees: List[Global.ValDef]): List[Global.ValDef]
    Definition Classes
    Transformer
  42. def transformValDefss(treess: List[List[Global.ValDef]]): List[List[Global.ValDef]]
    Definition Classes
    Transformer
  43. val treeCopy: Global.TreeCopier
    Definition Classes
    Transformer
  44. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  45. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  46. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from UnCurry.TypingTransformer

Inherited from Global.Transformer

Inherited from Global.Transformer

Inherited from AnyRef

Inherited from Any

Ungrouped