A typer that creates new symbols for all definitions in the given tree and updates references to them while re-typechecking.
A class that records an available implicit
A class that sets up an implicit search.
The context-dependent inferencer part
Interface with user-defined match monad?
if there's a match in scope, we use this as the match strategy, assuming it conforms to MatchStrategy as defined below:
There are two key methods in here.
A class representing a lazy type with known type parameters.
The result of an implicit search
ALTmode is set when we are under a pattern alternative.
ALTmode is set when we are under a pattern alternative.
BYVALmode is set when we are typing an expression that occurs in a by-value position.
BYVALmode is set when we are typing an expression that occurs in a by-value position. An expression e1 is in by-value position within expression e2 iff it will be reduced to a value at that position during the evaluation of e2. Examples are by-value function arguments or the conditional of an if-then-else clause. This mode has been added to support continuations.
FUNmode is orthogonal to above.
FUNmode is orthogonal to above. When set we are looking for a method or constructor.
An extractor for unary function types arg => res
HKmode is set when we are typing a higher-kinded type.
HKmode is set when we are typing a higher-kinded type. adapt should then check kind-arity based on the prototypical type's kind arity. Type arguments should not be inferred.
An extractor for types of the form ? { name: ? }
An extractor for types of the form ? { name: (? >: argtpe <: Any*)restp }
LHSmode is set for the left-hand side of an assignment.
LHSmode is set for the left-hand side of an assignment.
NOmode, EXPRmode and PATTERNmode are mutually exclusive.
NOmode, EXPRmode and PATTERNmode are mutually exclusive.
A sentinel indicating no implicit was found
A sentinel indicating no implicit was found
POLYmode is orthogonal to above.
POLYmode is orthogonal to above. When set expression types can be polymorphic.
QUALmode is orthogonal to above.
QUALmode is orthogonal to above. When set expressions may be packages and Java statics modules.
SCCmode is orthogonal to above.
SCCmode is orthogonal to above. When set we are in the this or super constructor call of a constructor.
SNDTRYmode indicates that an application is typed for the 2nd time.
SNDTRYmode indicates that an application is typed for the 2nd time. In that case functions may no longer be coerced with implicit views.
STARmode is set when star patterns are allowed.
STARmode is set when star patterns are allowed. (This was formerly called REGPATmode.)
SUPERCONSTRmode is set for the super in a superclass constructor call super.
SUPERCONSTRmode is set for the super in a superclass constructor call super.<init>.
TAPPmode is set for the function/type constructor part of a type application.
TAPPmode is set for the function/type constructor part of a type application. When set we do not decompose PolyTypes.
TYPEPATmode is set when we are typing a type in a pattern.
TYPEPATmode is set when we are typing a type in a pattern.
TYPEmode needs a comment.
TYPEmode needs a comment. <-- XXX.
An explanatory note to be added to error messages when there's a problem with abstract var defs
An explanatory note to be added to error messages when there's a problem with abstract var defs
Extend the argument list givenArgs with default arguments.
Extend the argument list givenArgs with default arguments. Defaults are added
as named arguments calling the corresponding default getter.
Example: given def foo(x: Int = 2, y: String = "def") foo(y = "lt") the argument list (y = "lt") is transformed to (y = "lt", x = foo$default$1())
Add the synthetic methods to case classes.
Add the synthetic methods to case classes.
The apply method corresponding to a case class
The apply method corresponding to a case class
The module corresponding to a case class; overrides toString to show the module's name
The module corresponding to a case class; overrides toString to show the module's name
The unapply method corresponding to a case class
The unapply method corresponding to a case class
The companion class or companion module of original.
The companion class or companion module of original.
Calling .companionModule does not work for classes defined inside methods.
!!! Then why don't we fix companionModule? Does the presence of these methods imply all the places in the compiler calling sym.companionModule are bugs waiting to be reported? If not, why not? When exactly do we need to call this method?
For a parameter with default argument, find the method symbol of the default getter.
For a parameter with default argument, find the method symbol of the default getter.
Expand partial function applications of type type.
Expand partial function applications of type type.
p.f(es_1)...(es_n)
==> {
private synthetic val eta$f = p.f // if p is not stable
...
private synthetic val eta$e_i = e_i // if e_i is not stable
...
(ps_1 => ... => ps_m => eta$f([es_1])...([es_m])(ps_1)...(ps_m))
}
tree is already attributed
Look through the base types of the found type for any which might have been valid subtypes if given conformant type arguments.
Look through the base types of the found type for any which might have been valid subtypes if given conformant type arguments. Examine those for situations where the type error would have been eliminated if the variance were different. In such cases, append an additional explanatory message.
TODO: handle type aliases better.
The formal parameter types corresponding to formals.
The formal parameter types corresponding to formals.
If formals has a repeated last parameter, a list of
(nargs - params.length + 1) copies of its type is returned.
By-name types are replaced with their underlying type.
allows keeping ByName parameters. Used in NamesDefaults.
allows keeping repeated parameter (if there's one argument). Used in NamesDefaults.
A fresh type variable with given type parameter as origin.
A fresh type variable with given type parameter as origin.
...
...
Search for an implicit value.
Search for an implicit value. See the comment on result at the end of class ImplicitSearch
for more info how the search is conducted.
The tree for which the implicit needs to be inserted. (the inference might instantiate some of the undetermined type parameters of that tree.
The expected type of the implicit.
Should ambiguous implicit errors be reported? False iff we search for a view to find out whether one type is coercible to another.
We are looking for a view
The current context
False if any divergent/ambiguous errors should be ignored after implicits search, true if they should be reported (used in further typechecking).
A search result
Map every TypeVar to its constraint.
returns true if every element is equal to its index
returns true if every element is equal to its index
Return result of macro expansion.
Return result of macro expansion. Or, if that fails, and the macro overrides a method return tree that calls this method instead of the macro.
Return optionally address of companion object and implementation method symbol of given macro; or None if implementation classfile cannot be loaded or does not contain the macro implementation.
Return optionally address of companion object and implementation method symbol of given macro; or None if implementation classfile cannot be loaded or does not contain the macro implementation.
The definition of the method implementing a macro.
The definition of the method implementing a macro. Example: Say we have in a class C
def macro foo[T](xs: List[T]): T = expr
Then the following macro method is generated for foo:
def defmacro$foo (_context: scala.reflect.macro.Context) (_this: _context.Tree) (T: _context.TypeTree) (xs: _context.Tree): _context.Tree = { import _context._ // this means that all methods of Context can be used unqualified in macro's body expr }
If macro has no type arguments, the third parameter list is omitted (it's not empty, but omitted altogether).
To find out the desugared representation of your particular macro, compile it with -Ymacro-debug.
A constructor for types ?{ name: tp }, used in infer view to member searches.
A constructor for types ?{ name: tp }, used in infer view to member searches.
Return the special typer for duplicate method bodies.
Return the special typer for duplicate method bodies.
The common situation of making sure nothing is erroneous could be nicer if Symbols, Types, and Trees all implemented some common interface in which isErroneous and similar would be placed.
The common situation of making sure nothing is erroneous could be nicer if Symbols, Types, and Trees all implemented some common interface in which isErroneous and similar would be placed.
Automatically perform the following conversions on expression types: A method type becomes the corresponding function type.
Automatically perform the following conversions on expression types: A method type becomes the corresponding function type. A nullary method type becomes its result type. Implicit parameters are skipped. This method seems to be performance critical.
Does the positioned line assigned to t1 precede that of t2?
Does the positioned line assigned to t1 precede that of t2?
Removes name assignments from args.
Removes name assignments from args. Additionally, returns an array mapping argument indicies from call-site-order to definition-site-order.
Verifies that names are not specified twice, positional args don't appear after named ones.
maps indicies from old to new
maps indicies from new to old (!)
For errors which are artifacts of the implementation: such messages indicate that the restriction may be lifted in the future.
For errors which are artifacts of the implementation: such messages indicate that the restriction may be lifted in the future.
Retype the given tree in the given context.
Retype the given tree in the given context. Use this method when retyping a method in a different class. The typer will replace references to the this of the old class with the new class, and map symbols through the given 'env'. The environment is a map from type skolems to concrete types (see SpecializedTypes).
List of symbols to import from in a root context.
List of symbols to import from in a root context. Typically that
is java.lang, scala, and scala.Predef, in that order. Exceptions:
-Yno-imports is given, nothing is importedjava.lang is imported-Yno-predef is given, if the unit body has an import of Predef
among its leading imports, or if the tree is scala.ScalaObject
or scala.Predef, Predef is not imported.
Solve constraint collected in types tvars.
Solve constraint collected in types tvars.
All type variables to be instantiated.
The type parameters corresponding to tvars
The variances of type parameters; need to reverse solution direction for all contravariant variables.
When true search for max solution else min.
Transform a function application into a Block, and assigns typer.
Transform a function application into a Block, and assigns typer.context .namedApplyBlockInfo to the new block as side-effect. If tree has the form Apply(fun, args) first the function "fun" (which might be an application itself!) is transformed into a block of the form { val qual$1 = qualifier_of_fun val x$1 = arg_1_of_fun ... val x$n = arg_n_of_fun qual$1.fun[targs](x$1, ...)...(..., x$n) } then for each argument in args, a value is created and entered into the block. finally the application expression of the block is updated. { val qual$1 = .. ... val x$n = ... > val qual$n+1 = arg(1) > ... > val qual$n+m = arg(m) > qual$1.fun[targs](x$1, ...)...(..., x$n)(x$n+1, ..., x$n+m) }
the typer calling this method; this method calls typer.doTypedApply
the mode to use for calling typer.doTypedApply
the expected type for calling typer.doTypedApply
the transformed application (a Block) together with the NamedApplyInfo. if isNamedApplyBlock(tree), returns the existing context.namedApplyBlockInfo
returns unapply or unapplySeq if available
returns unapply or unapplySeq if available
returns unapply member's parameter type.
returns unapply member's parameter type.
returns type of the unapply method returning T_0.
returns type of the unapply method returning T_0...T_n for n == 0, boolean for n == 1, Some[T0] else Some[Product[Ti]]
returns type list for return type of the extraction
returns type list for return type of the extraction
(the inverse of unapplyReturnTypeSeq) for type Boolean, returns Nil for type Option[T] or Some[T]:
(the inverse of unapplyReturnTypeSeq) for type Boolean, returns Nil for type Option[T] or Some[T]:
let type be the result type of the (possibly polymorphic) unapply method for type Option[T] or Some[T] -returns T0.
let type be the result type of the (possibly polymorphic) unapply method for type Option[T] or Some[T] -returns T0...Tn-1,Tn* if n>0 and T <: Product[T0...Tn-1,Seq[Tn]]], -returns R* if T = Seq[R]
The symbol which the given accessor represents (possibly in part).
The symbol which the given accessor represents (possibly in part). This is used for error messages, where we want to speak in terms of the actual declaration or definition, not in terms of the generated setters and getters.
Compute variance of type parameter tparam in all type arguments
tps which correspond to formal type parameters tparams1.
Compute variance of type parameter tparam in all type arguments
tps which correspond to formal type parameters tparams1.
Compute variance of type parameter tparam in type annotation annot.
Compute variance of type parameter tparam in type annotation annot.
Compute variance of type parameter tparam in all type annotations annots.
Compute variance of type parameter tparam in all type annotations annots.
Compute variance of type parameter tparam in type of symbol sym.
Compute variance of type parameter tparam in type of symbol sym.
Compute variance of type parameter tparam in types of all symbols sym.
Compute variance of type parameter tparam in types of all symbols sym.
Compute variance of type parameter tparam in type tp.
Compute variance of type parameter tparam in type tp.
Compute variance of type parameter tparam in all types tps.
Compute variance of type parameter tparam in all types tps.
Given any number of types, alters the name information in the symbols until they can be distinguished from one another: then executes the given code.
Given any number of types, alters the name information in the symbols until they can be distinguished from one another: then executes the given code. The names are restored and the result is returned.
(Since version 2.10.0) Use companionSymbolOf instead
(Since version 2.10.0) Use companionSymbolOf instead
(Since version 2.10.0) Use underlyingSymbol instead
Duplicate trees and re-type check them, taking care to replace and create fresh symbols for new local definitions.
1.0