ApplyToTyped

Instance Constructors

new ApplyToTyped(app: ast.untpd.Apply, fun: ast.tpd.Tree, methRef: TermRef, args: List[ast.tpd.Tree], resultType: Type)(implicit ctx: Context)

Type Members

type TypedArg = Tree[Type]

The type of typed arguments: either tpd.Tree or Type
The type of typed arguments: either tpd.Tree or Type

Definition Classes
TypedApply → Application

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def addArg(arg: ast.tpd.Tree, 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

Definition Classes
TypedApply → Application
def appPos: Position

Definition Classes
TypedApply → Application
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def fail(msg: ⇒ Message): Unit

Signal failure with given message at position of the application itself
Signal failure with given message at position of the application itself

Definition Classes
TypedApply → Application
def fail(msg: ⇒ Message, arg: Tree[Type]): Unit

Signal failure with given message at position of given argument
Signal failure with given message at position of given argument

Definition Classes
TypedApply → Application
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def findDefaultGetter(n: Int)(implicit ctx: Context): ast.tpd.Tree

Find reference to default parameter getter for parameter #n in current parameter list, or NoType if none was found
Find reference to default parameter getter for parameter #n in current parameter list, or NoType if none was found

Definition Classes
Application
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def harmonizeArgs(args: List[TypedArg]): List[ast.tpd.Tree]

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

Definition Classes
TypedApply → Application
def hashCode(): Int

Definition Classes
AnyRef → Any
def init(): Unit

Attributes
protected
Definition Classes
Application
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def isVarArg(arg: Tree[Type]): 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?

Definition Classes
TypedApply → Application
def liftFun(): Unit

If constructing trees, pull out all parts of the function which are not idempotent into separate prefix definitions
If constructing trees, pull out all parts of the function which are not idempotent into separate prefix definitions

Definition Classes
TypedApply → Application
def makeVarArg(n: Int, elemFormal: Type): Unit

If constructing trees, turn last n processed arguments into a SeqLiteral tree with element type elemFormal.
If constructing trees, turn last n processed arguments into a SeqLiteral tree with element type elemFormal.

Definition Classes
TypedApply → Application
def matchArgs(args: List[Tree[Type]], formals: List[Type], n: Int): Unit

Match re-ordered arguments against formal parameters
Match re-ordered arguments against formal parameters
n
The position of the first parameter in formals in methType.

Definition Classes
Application
val methType: Type

The function's type after widening and instantiating polytypes with polyparams in constraint set
The function's type after widening and instantiating polytypes with polyparams in constraint set

Definition Classes
Application
def methodType: MethodType

Attributes
protected
Definition Classes
Application
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def normalizedFun: ast.tpd.Tree

The current function part, which might be affected by lifting.
The current function part, which might be affected by lifting.

Definition Classes
TypedApply → Application
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def ok: Boolean

Definition Classes
Application
def ok_=(x: Boolean): Unit

Definition Classes
Application
lazy val orderedArgs: List[Tree[Type]]

The arguments re-ordered so that each named argument matches the same-named formal parameter.
The arguments re-ordered so that each named argument matches the same-named formal parameter.

Definition Classes
Application
def reorder[T >: Untyped](args: List[Tree[T]]): List[Tree[T]]

Re-order arguments to correctly align named arguments
Re-order arguments to correctly align named arguments

Definition Classes
Application
val result: ast.tpd.Tree

Definition Classes
TypedApply
def spliceMeth(meth: ast.tpd.Tree, app: ast.tpd.Tree): ast.tpd.Tree

Splice new method reference into existing application
Splice new method reference into existing application

Definition Classes
Application
def success: Boolean

The application was successful
The application was successful

Definition Classes
Application
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def treeToArg(arg: ast.tpd.Tree): ast.tpd.Tree

Turn a typed tree into an argument
Turn a typed tree into an argument

Definition Classes
ApplyToTyped → Application
def typedArg(arg: ast.tpd.Tree, formal: Type): TypedArg

Given an original argument and the type of the corresponding formal parameter, produce a typed argument.
Given an original argument and the type of the corresponding formal parameter, produce a typed argument.

Definition Classes
ApplyToTyped → Application
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package Applications

class ApplyToTyped extends (Applications.this)#TypedApply[Type]

Instance Constructors

new ApplyToTyped(app: ast.untpd.Apply, fun: ast.tpd.Tree, methRef: TermRef, args: List[ast.tpd.Tree], resultType: Type)(implicit ctx: Context)

Type Members

type TypedArg = Tree[Type]

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def addArg(arg: ast.tpd.Tree, formal: Type): Unit

def appPos: Position

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def fail(msg: ⇒ Message): Unit

def fail(msg: ⇒ Message, arg: Tree[Type]): Unit

def finalize(): Unit

def findDefaultGetter(n: Int)(implicit ctx: Context): ast.tpd.Tree

final def getClass(): Class[_]

def harmonizeArgs(args: List[TypedArg]): List[ast.tpd.Tree]

def hashCode(): Int

def init(): Unit

final def isInstanceOf[T0]: Boolean

def isVarArg(arg: Tree[Type]): Boolean

def liftFun(): Unit

def makeVarArg(n: Int, elemFormal: Type): Unit

def matchArgs(args: List[Tree[Type]], formals: List[Type], n: Int): Unit

val methType: Type

def methodType: MethodType

final def ne(arg0: AnyRef): Boolean

def normalizedFun: ast.tpd.Tree

final def notify(): Unit

final def notifyAll(): Unit

def ok: Boolean

def ok_=(x: Boolean): Unit

lazy val orderedArgs: List[Tree[Type]]

def reorder[T >: Untyped](args: List[Tree[T]]): List[Tree[T]]

val result: ast.tpd.Tree

def spliceMeth(meth: ast.tpd.Tree, app: ast.tpd.Tree): ast.tpd.Tree

def success: Boolean

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

def treeToArg(arg: ast.tpd.Tree): ast.tpd.Tree

def typedArg(arg: ast.tpd.Tree, formal: Type): TypedArg

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from (Applications.this)#TypedApply[Type]

Inherited from (Applications.this)#Application[Tree[Type]]

Inherited from AnyRef

Inherited from Any

Ungrouped