Packages

sealed case class NewLambda(descriptor: Descriptor, fun: Tree)(tpe: Type)(implicit pos: Position) extends Tree with Product with Serializable

New lambda instance of a SAM class.

Functionally, a NewLambda is equivalent to an instance of an anonymous class with the following shape:

val funV: ((...Ts) => R)! = fun;
(new superClass with interfaces {
  def <this>() = this.superClass::<init>()
  def methodName(...args: Ts): R = funV(...args)
}): tpe

where superClass, interfaces, methodName, Ts and R are taken from the descriptor. Ts and R are the paramTypes and resultType of the descriptor. They are required because there is no one-to-one mapping between TypeRefs and Types, and we want the shape of the class to be a deterministic function of the descriptor.

The fun must have type ((...Ts) => R)!.

Intuitively, tpe must be a supertype of superClass! & ...interfaces!. Since our type system does not have intersection types, in practice this means that there must exist C ∈ { superClass } ∪ interfaces such that tpe is a supertype of C!.

The uniqueness of the anonymous class and its run-time class name are not guaranteed.

Linear Supertypes
Serializable, Serializable, Product, Equals, Tree, TreeOrJSSpread, IRNode, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. NewLambda
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. Tree
  7. TreeOrJSSpread
  8. IRNode
  9. AnyRef
  10. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new NewLambda(descriptor: Descriptor, fun: Tree)(tpe: Type)(implicit pos: Position)

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 clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  6. val descriptor: Descriptor
  7. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  8. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  9. val fun: Tree
  10. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  11. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  12. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  14. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  15. implicit val pos: Position
    Definition Classes
    NewLambda → IRNode
  16. def show: String
    Definition Classes
    IRNode
  17. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  18. val tpe: Type
    Definition Classes
    NewLambda → Tree
  19. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  20. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  21. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from Tree

Inherited from TreeOrJSSpread

Inherited from IRNode

Inherited from AnyRef

Inherited from Any

Ungrouped