scala.tools.nsc.transform.Erasure
A replacement for the standard typer's adapt method.
Try to apply an implicit conversion to qual' to that it contains
a method name which can be applied to arguments args' with expected type pt'.
If pt' is defined, there is a fallback to try again with pt = ?.
Try to apply an implicit conversion to qual' to that it contains
a method name which can be applied to arguments args' with expected type pt'.
If pt' is defined, there is a fallback to try again with pt = ?.
This helps avoiding propagating result information too far and solves
#1756.
If no conversion is found, return qual' unchanged.
Try o apply an implicit conversion to qual' to that it contains
a method name. If that's ambiguous try taking arguments into account using adaptToArguments.
Try o apply an implicit conversion to qual' to that it contains
a method name. If that's ambiguous try taking arguments into account using adaptToArguments.
Try to apply an implicit conversion to qual' to that it contains a
member name of arbitrary type.
If no conversion is found, return qual' unchanged.
Try to apply an implicit conversion to qual' to that it contains a
member name of arbitrary type.
If no conversion is found, return qual' unchanged.
...
...
Find implicit arguments and pass them to given tree.
Find implicit arguments and pass them to given tree.
Check that tpt' refers to a non-refinement class type
Check that tpt' refers to a non-refinement class type
Check if a method is defined in such a way that it can be called.
Check if a method is defined in such a way that it can be called. A method cannot be called if it is a non-private member of a structural type and if its parameter's types are not one of - this.type - a type member of the structural type - an abstract type declared outside of the structural type.
Check that type of given tree does not contain local or private components.
Check that type tp is not a subtype of itself.
Check that type tp is not a subtype of itself.
...
...
true if tp is not a subtype of itself.
Check that tree is a stable expression.
Enter all aliases of local parameter accessors.
The typer for an expression, depending on where we are.
The typer for an expression, depending on where we are. If we are before a superclass call, this is a typer over a constructor context; otherwise it is the current typer.
Returns Some(msg) if the given tree is untyped apparently due to a cyclic reference, and None otherwise.
Returns Some(msg) if the given tree is untyped apparently due to a cyclic reference, and None otherwise.
Given a set rawSyms of term- and type-symbols, and a type
tp, produce a set of fresh type parameters and a type so that
it can be abstracted to an existential type.
Given a set rawSyms of term- and type-symbols, and a type
tp, produce a set of fresh type parameters and a type so that
it can be abstracted to an existential type. Every type symbol
T in rawSyms is mapped to a clone. Every term symbol x of
type T in rawSyms is given an associated type symbol of the
following form:
type x.type <: T with Singleton
The name of the type parameter is x.type, to produce nice
diagnostics. The Singleton parent ensures that the type
parameter is still seen as a stable type. Type symbols in
rawSyms are fully replaced by the new symbols. Term symbols are
also replaced, except for term symbols of an Ident tree, where
only the type of the Ident is changed.
Infer an implicit conversion (view) between two types.
Infer an implicit conversion (view) between two types.
The tree which needs to be converted.
The source type of the conversion
The target type of the conversion
Should ambiguous implicit errors be reported? False iff we search for a view to find out whether one type is coercible to another.
...
...
...
...
Is tree' a block created by a named application?
Is tree' a block created by a named application?
A symbol is stale if it is toplevel, to be loaded from a classfile, and the classfile is produced from a sourcefile which is compiled in the current run.
A symbol is stale if it is toplevel, to be loaded from a classfile, and the classfile is produced from a sourcefile which is compiled in the current run.
The typer for a label definition.
The typer for a label definition. If this is part of a template we first have to enter the label definition.
The member with given name of given qualifier tree
The member with given name of given qualifier tree
The annotations amongst annots that should go on a member of class
memberClass (field, getter, setter, beanGetter, beanSetter, param)
If 'keepClean' is true, annotations without any meta-annotation are kept
The annotations amongst annots that should go on a member of class
memberClass (field, getter, setter, beanGetter, beanSetter, param)
If 'keepClean' is true, annotations without any meta-annotation are kept
Does function need to be instantiated, because a missing parameter in an argument closure overlaps with an uninstantiated formal?
Does function need to be instantiated, because a missing parameter in an argument closure overlaps with an uninstantiated formal?
Compute an existential type from raw hidden symbols syms' and type tp'
Compute an existential type from raw hidden symbols syms' and type tp'
convert skolems to existentials
convert skolems to existentials
The qualifying class
of a this or super with prefix qual.
The qualifying class
of a this or super with prefix qual.
Is symbol defined and not stale?
Is symbol defined and not stale?
Remove definition annotations from modifiers (they have been saved
into the symbol's annotations in the type completer / namer)
Remove definition annotations from modifiers (they have been saved
into the symbol's annotations in the type completer / namer)
Report a type error.
...
...
...
...
Utility method: Try op1 on tree.
Utility method: Try op1 on tree. If that gives an error try op2 instead.
Types expression tree with given prototype pt.
Types expression or definition tree.
...
...
...
...
A replacement for the standard typer's typed1' method.
Convert an annotation constructor call into an AnnotationInfo.
Convert an annotation constructor call into an AnnotationInfo.
the expected annotation class
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
Types a higher-kinded type tree -- pt denotes the expected kind
Types a higher-kinded type tree -- pt denotes the expected kind
...
...
Types function part of an application
Types function part of an application
Types a pattern with prototype pt
Types a pattern with prototype pt
Types qualifier tree of a select node.
Types qualifier tree of a select node.
E.g. is tree occurs in a context like tree.m.
Types qualifier tree of a select node.
Types qualifier tree of a select node.
E.g. is tree occurs in a context like tree.m.
...
...
- Check that inner classes do not inherit from Annotation
...
Types a (fully parameterized) type tree
Types a (fully parameterized) type tree
Types a (fully parameterized) type tree
Types a (fully parameterized) type tree
Types a type constructor tree used in a new or supertype
Types a type constructor tree used in a new or supertype
...
...
In order to override this in the TreeCheckers Typer so synthetics aren't re-added all the time, it is exposed here the module/class typing methods go through it.
In order to override this in the TreeCheckers Typer so synthetics aren't re-added all the time, it is exposed here the module/class typing methods go through it.
Check that
Check that
- sealed classes are only inherited by classes which are nested within definition of base class, or that occur within same statement sequence,
The modifier typer which retypes with erased types.