class ApplicableToTrees
extends TestApplication

Subclass of Application for applicability tests with type arguments and value argument trees.

Constructors

ApplicableToTrees ( methRef: TermRef , targs: List [ Type ] , args: List [ Tree ] , resultType: Type )
ApplicableToTrees ( implicit ctx: Context )

Members

private val args : List [ Tree ]
private implicit val ctx : Context
private val methRef : TermRef
private val resultType : Type
private val targs : List [ Type ]
def argType ( arg: Tree , formal: Type ) : Type

The type of the given argument

The type of the given argument

def harmonizeArgs ( args: List [ Tree ] ) : List [ TypedArg ]

If all args have primitive numeric types, make sure it's the same one

If all args have primitive numeric types, make sure it's the same one

def isVarArg ( arg: Tree ) : Boolean

Is this an argument of the form expr: _* or a RepeatedParamType derived from such an argument?

Is this an argument of the form expr: _* or a RepeatedParamType derived from such an argument?

def treeToArg ( arg: Tree ) : Tree

Turn a typed tree into an argument

Turn a typed tree into an argument

def typeOfArg ( arg: Tree ) : Type