ApplicableToTrees
Subclass of Application for applicability tests with type arguments and value argument trees.
Type members
Inherited types
The type of typed arguments: either tpd.Tree or Type
The type of typed arguments: either tpd.Tree or Type
- Inherited from:
- TestApplication
Value members
Concrete methods
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
Inherited 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
- Inherited from:
- TestApplication
The kind of application that gets typed
The kind of application that gets typed
- Inherited from:
- TestApplication
Signal failure with given message at position of the application itself
Signal failure with given message at position of the application itself
- Inherited from:
- TestApplication
Signal failure with given message at position of given argument
Signal failure with given message at position of given argument
- Inherited from:
- TestApplication
Is sym
a constructor of a Java-defined annotation?
Is sym
a constructor of a Java-defined annotation?
- Inherited from:
- Application
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
- Inherited from:
- Application
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
.
- Inherited from:
- TestApplication
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
.
- Inherited from:
- Application
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.
- Inherited from:
- Application
Re-order arguments to correctly align named arguments
Re-order arguments to correctly align named arguments
- Inherited from:
- Application
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.
- Inherited from:
- TestApplication
Inherited 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
- Inherited from:
- Application
The current function part, which might be affected by lifting.
The current function part, which might be affected by lifting.
- Inherited from:
- TestApplication
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.
- Inherited from:
- Application