TestApplication
Subclass of Application for the cases where we are interested only in a "can/cannot apply" answer, without needing to construct trees or issue error messages.
Attributes
- Graph
-
- Supertypes
- Known subtypes
-
class ApplicableToTreesclass ApplicableToTypes
Members list
Value members
Concrete 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 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
Inherited 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
Attributes
- Inherited from:
- Application
Attributes
- Inherited from:
- Application
Is sym
a constructor of a Java-defined annotation?
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
- 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
Attributes
- Inherited from:
- Application
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
- Inherited from:
- Application
Attributes
- 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.
Attributes
- Inherited from:
- Application
Attributes
- Inherited from:
- Application
Attributes
- Inherited from:
- Application
Re-order arguments to correctly align named arguments
The application was successful
Turn a typed tree into an argument
Attributes
- Inherited from:
- Application
Concrete fields
The current function part, which might be affected by lifting.
The current function part, which might be affected by lifting.
Attributes
Inherited fields
Attributes
- Inherited from:
- Application
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
- Inherited from:
- Application
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.
Attributes
- Inherited from:
- Application