Application
Type parameters
- Arg
-
the type of arguments, could be tpd.Tree, untpd.Tree, or Type
Value parameters
- args
-
the arguments of the application
- funType
-
the type of the function part of the application
- methRef
-
the reference to the method of the application
- resultType
-
the expected result type of the application
Attributes
- Graph
-
- Supertypes
- Known subtypes
-
class TestApplication[Arg]class ApplicableToTreesclass ApplicableToTypesclass TypedApply[T]class ApplyToTypedclass ApplyToUntypedShow all
Members list
Type members
Types
The type of typed arguments: either tpd.Tree or Type
The type of typed arguments: either tpd.Tree or Type
Attributes
Value members
Abstract methods
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
Attributes
The kind of application that gets typed
The kind of application that gets typed
Attributes
Signal failure with given message at position of given argument
Signal failure with given message at position of given argument
Attributes
Signal failure with given message at position of the application itself
Signal failure with given message at position of the application itself
Attributes
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
Attributes
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?
Attributes
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.
Attributes
The current function part, which might be affected by lifting.
The current function part, which might be affected by lifting.
Attributes
Turn a typed tree into an argument
Turn a typed tree into an argument
Attributes
Concrete methods
Is sym a constructor of a Java-defined annotation?
Is sym a constructor of a Java-defined annotation?
Attributes
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
Attributes
Match re-ordered arguments against formal parameters
Match re-ordered arguments against formal parameters
Value parameters
- n
-
The position of the first parameter in formals in
methType.
Attributes
Whether liftFun is needed? It is the case if default arguments are used.
Whether liftFun is needed? It is the case if default arguments are used.
Attributes
Re-order arguments to correctly align named arguments
Re-order arguments to correctly align named arguments
Attributes
Concrete fields
The function's type after widening and instantiating polytypes with TypeParamRefs in constraint set
The function's type after widening and instantiating polytypes with TypeParamRefs in constraint set
Attributes
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.