FreshContext
A fresh context allows selective modification of its attributes using the with... methods.
Value members
Concrete methods
Inherited methods
The compiler callback implementation, or null if no callback will be called.
The compiler callback implementation, or null if no callback will be called.
- Inherited from:
- Context
Either the current scope, or, if the current context owner is a class, the declarations of the current class.
Either the current scope, or, if the current context owner is a class, the declarations of the current class.
- Inherited from:
- Context
Does current phase use an erased types interpretation?
Does current phase use an erased types interpretation?
- Inherited from:
- Context
The context of expression expr
seen as a member of a statement sequence
The context of expression expr
seen as a member of a statement sequence
- Inherited from:
- Context
A fresh clone of this context embedded in this context.
A fresh clone of this context embedded in this context.
- Inherited from:
- Context
A fresh clone of this context embedded in the specified outer
context.
A fresh clone of this context embedded in the specified outer
context.
- Inherited from:
- Context
AbstractFile with given path, memoized
AbstractFile with given path, memoized
- Inherited from:
- Context
AbstraFile with given path name, memoized
AbstraFile with given path name, memoized
- Inherited from:
- Context
SourceFile with given path name, memoized
SourceFile with given path name, memoized
- Inherited from:
- Context
Sourcefile corresponding to given abstract file, memoized
Sourcefile corresponding to given abstract file, memoized
- Inherited from:
- Context
A new context that summarizes an import statement
A new context that summarizes an import statement
- Inherited from:
- Context
Is this a context for the members of a class definition?
Is this a context for the members of a class definition?
- Inherited from:
- Context
Is this a context that introduces an import clause?
Is this a context that introduces an import clause?
- Inherited from:
- Context
Is this a context for typechecking an inlined body?
Is this a context for typechecking an inlined body?
- Inherited from:
- Context
Is this a context that introduces a non-empty scope?
Is this a context that introduces a non-empty scope?
- Inherited from:
- Context
The paths currently known to be not null
The paths currently known to be not null
- Inherited from:
- Context
All outer contexts, ending in base.initialCtx
and then NoContext
All outer contexts, ending in base.initialCtx
and then NoContext
- Inherited from:
- Context
The sbt callback implementation if we are run from sbt, null otherwise
The sbt callback implementation if we are run from sbt, null otherwise
- Inherited from:
- Context
The context for a supercall. This context is used for elaborating the parents of a class and their arguments. The context is computed from the current class context. It has
The context for a supercall. This context is used for elaborating the parents of a class and their arguments. The context is computed from the current class context. It has
- as owner: The primary constructor of the class
- as outer context: The context enclosing the class context
- as scope: The parameter accessors in the class context
The reasons for this peculiar choice of attributes are as follows:
- The constructor must be the owner, because that's where any local methods or closures should go.
- The context may not see any class members (inherited or defined), and should instead see definitions defined in the outer context which might be shadowed by such class members. That's why the outer context must be the outer context of the class.
- At the same time the context should see the parameter accessors of the current class, that's why they get added to the local scope. An alternative would have been to have the context see the constructor parameters instead, but then we'd need a final substitution step from constructor parameters to class parameter accessors.
- Inherited from:
- Context
The context for the arguments of a this(...) constructor call. The context is computed from the local auxiliary constructor context. It has
The context for the arguments of a this(...) constructor call. The context is computed from the local auxiliary constructor context. It has
- as owner: The auxiliary constructor
- as outer context: The context enclosing the enclosing class context
- as scope: The parameters of the auxiliary constructor.
- Inherited from:
- Context
Inherited fields
The new implicit references that are introduced by this scope
The new implicit references that are introduced by this scope
- Inherited from:
- Context