IndylambdaScalaClosures
Value members
Concrete methods
Scans an indylambda Scala closure, along with its lexically nested closures, and populate the accessed fields info on which fields on the outer object are accessed.
Scans an indylambda Scala closure, along with its lexically nested closures, and populate the accessed fields info on which fields on the outer object are accessed.
This is equivalent to getInnerClosureClasses() + InnerClosureFinder + FieldAccessFinder fused into one for processing indylambda closures. The traversal order along the call graph is the same for all three combined, so they can be fused together easily while maintaining the same ordering as the existing implementation.
Precondition: this function expects the accessedFields
to be populated with all known outer classes and their
super classes to be in the map as keys, e.g. initializing via ClosureCleaner.initAccessedFields.
Check if the given reference is a indylambda style Scala closure. If so (e.g. for Scala 2.12+ closures), return a non-empty serialization proxy (SerializedLambda) of the closure; otherwise (e.g. for Scala 2.11 closures) return None.
Check if the given reference is a indylambda style Scala closure. If so (e.g. for Scala 2.12+ closures), return a non-empty serialization proxy (SerializedLambda) of the closure; otherwise (e.g. for Scala 2.11 closures) return None.
- Value parameters:
- maybeClosure
the closure to check.
Check if the callee of a call site is a inner class constructor.
Check if the callee of a call site is a inner class constructor.
- A constructor has to be invoked via INVOKESPECIAL
- A constructor's internal name is "<init>" and the return type is "V" (void)
- An inner class' first argument in the signature has to be a reference to the enclosing "this", aka
$outer
in Scala.
Check if the handle represents a target method that is:
Check if the handle represents a target method that is:
- a STATIC method that implements a Scala lambda body in the indylambda style
- captures the enclosing
this
, i.e. the first argument is a reference to the same type as the owning class. Returns true if both criteria above are met.