class ApplicableToTreesDirectly
extends ApplicableToTrees

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

Constructors

ApplicableToTreesDirectly ( methRef: TermRef , targs: List [ Type ] , args: List [ Tree ] , resultType: Type )
ApplicableToTreesDirectly ( 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 ]
override def addArg ( arg: TypedArg , formal: Type ) : Unit

Check that argument corresponds to type formal and possibly add it to the list of adapted arguments

Check that argument corresponds to type formal and possibly add it to the list of adapted arguments