object NoContext extends Analyzer.Context
- Source
- Contexts.scala
- Alphabetic
- By Inheritance
- NoContext
- Context
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def ambiguousErrors: Boolean
- Definition Classes
- Context
- def apply(mask: ContextMode): Boolean
Is this context in all modes in the given
mask?Is this context in all modes in the given
mask?- Definition Classes
- Context
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def bufferErrors: Boolean
- Definition Classes
- Context
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- var contextMode: ContextMode
A bitmask containing all the boolean flags in a context, e.g.
A bitmask containing all the boolean flags in a context, e.g. are implicit views enabled
- Definition Classes
- Context
- def defaultModeForTyped: Mode
- Definition Classes
- Context
- def defineByNameImplicit(tpe: Global.Type, result: Analyzer.SearchResult): Analyzer.SearchResult
- Definition Classes
- Context
- def deprecationWarning(pos: Global.Position, sym: Global.Symbol): Unit
- Definition Classes
- Context
- def deprecationWarning(pos: Global.Position, sym: Global.Symbol, msg: String, since: String, actions: List[CodeAction] = Nil): Unit
- Definition Classes
- Context
- val depth: Int
- Definition Classes
- Context
- def echo(pos: Global.Position, msg: String): Unit
- Definition Classes
- Context
- def emitImplicitDictionary(result: Analyzer.SearchResult): Analyzer.SearchResult
- Definition Classes
- Context
- var enclClass: Analyzer.Context
The next outer context whose tree is a template or package definition
The next outer context whose tree is a template or package definition
- Definition Classes
- Context
- final def enclClassOrMethod: Analyzer.Context
The next enclosing context (potentially
this) that is owned by a class or methodThe next enclosing context (potentially
this) that is owned by a class or method- Definition Classes
- Context
- Annotations
- @tailrec()
- var enclMethod: Analyzer.Context
The next (logical) outer context whose tree is a method.
The next (logical) outer context whose tree is a method.
NOTE: this is the "logical" enclosing method, which may not be the actual enclosing method when we synthesize a nested method, such as for lazy val getters (scala/bug#8245) or the methods that implement a PartialFunction literal (scala/bug#10291).
- Definition Classes
- Context
- def enclosingApply: Analyzer.Context
...or an Apply.
...or an Apply.
- Definition Classes
- Context
- def enclosingCaseDef: Analyzer.Context
The next enclosing context (potentially
this) that has aCaseDefas a treeThe next enclosing context (potentially
this) that has aCaseDefas a tree- Definition Classes
- Context
- def enclosingContextChain: List[Analyzer.Context]
- final def enclosingImport: Analyzer.Context
- Definition Classes
- Context
- Annotations
- @tailrec()
- def enclosingNonImportContext: Analyzer.Context
- Definition Classes
- Context
- def enclosingSubClassContext(clazz: Global.Symbol): Analyzer.Context
Return the closest enclosing context that defines a subclass of
clazzor a companion object thereof, orNoContextif no such context exists.Return the closest enclosing context that defines a subclass of
clazzor a companion object thereof, orNoContextif no such context exists.- Definition Classes
- Context
- def enrichmentEnabled: Boolean
- Definition Classes
- Context
- def enrichmentEnabled_=(value: Boolean): Unit
- Definition Classes
- Context
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def error(pos: Global.Position, msg: String, actions: List[CodeAction] = Nil): Unit
Issue/throw the given error message according to the current mode for error reporting.
Issue/throw the given error message according to the current mode for error reporting.
- Definition Classes
- Context
- def extractUndetparams(): List[Global.Symbol]
Return and clear the undetermined type parameters
Return and clear the undetermined type parameters
- Definition Classes
- Context
- def featureWarning(pos: Global.Position, featureName: String, featureDesc: String, featureTrait: Global.Symbol, construct: => String = "", required: Boolean): Unit
- Definition Classes
- Context
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def firstImport: Option[Analyzer.ImportInfo]
Equivalent to
imports.headOption, but more efficient - def fixPosition(pos: Global.Position): Global.Position
- Definition Classes
- Context
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def implicitRootContext: Analyzer.Context
- Definition Classes
- Context
- Annotations
- @tailrec()
- def implicitsEnabled: Boolean
- Definition Classes
- Context
- def implicitsEnabled_=(value: Boolean): Unit
- Definition Classes
- Context
- final def implicitss: List[List[Analyzer.ImplicitInfo]]
- Definition Classes
- Context
- def importOrNull: Analyzer.ImportInfo
- def imports: List[Analyzer.ImportInfo]
The currently visible imports, from innermost to outermost.
- def inAnnotation: Boolean
- Definition Classes
- Context
- def inConstructorSuffix: Boolean
- Definition Classes
- Context
- def inConstructorSuffix_=(value: Boolean): Unit
- Definition Classes
- Context
- def inPatAlternative: Boolean
- Definition Classes
- Context
- def inPatAlternative_=(value: Boolean): Unit
- Definition Classes
- Context
- def inReturnExpr: Boolean
- Definition Classes
- Context
- def inSecondTry: Boolean
- Definition Classes
- Context
- def inSecondTry_=(value: Boolean): Unit
- Definition Classes
- Context
- def inSelfSuperCall: Boolean
- Definition Classes
- Context
- def inSelfSuperCall_=(value: Boolean): Unit
- Definition Classes
- Context
- final def inSilentMode(expr: => Boolean): Boolean
- Definition Classes
- Context
- Annotations
- @inline()
- def inSuperInit: Boolean
- Definition Classes
- Context
- def inSuperInit_=(value: Boolean): Unit
- Definition Classes
- Context
- def inTypeConstructorAllowed: Boolean
- Definition Classes
- Context
- def initRootContext(throwing: Boolean = false, checking: Boolean = false): Unit
Use reporter (possibly buffered) for errors/warnings and enable implicit conversion *
Use reporter (possibly buffered) for errors/warnings and enable implicit conversion *
- Definition Classes
- Context
- def isAccessible(sym: Global.Symbol, pre: Global.Type, superAccess: Boolean = false): Boolean
Is
symaccessible as a member ofprein current context?Is
symaccessible as a member ofprein current context?- Definition Classes
- Context
- def isInPackageObject(sym: Global.Symbol, pkg: Global.Symbol): Boolean
Must
symdefined in package object of packagepkg, if it selected from a prefix withpkgas its type symbol?Must
symdefined in package object of packagepkg, if it selected from a prefix withpkgas its type symbol?- Definition Classes
- Context
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def isNameInScope(name: Global.Name): Boolean
- Definition Classes
- Context
- def isPackageOwnedInDifferentUnit(s: Global.Symbol): Boolean
- Definition Classes
- Context
- def isRootImport: Boolean
A root import is never unused and always bumps context depth.
A root import is never unused and always bumps context depth. (e.g scala._ / Predef._ and magic REPL imports)
- Definition Classes
- Context
- final def isSearchingForImplicitParam: Boolean
- Definition Classes
- Context
- final def javaFindMember(pre: Global.Type, name: Global.Name, qualifies: (Global.Symbol) => Boolean): (Global.Type, Global.Symbol)
- Definition Classes
- Context
- final def linkByNameImplicit(tpe: Global.Type): Global.Tree
- Definition Classes
- Context
- final def lookupCompanionInIncompleteOwner(original: Global.Symbol): Global.Symbol
- Definition Classes
- Context
- final def lookupSibling(original: Global.Symbol, name: Global.Name): Global.Symbol
- Definition Classes
- Context
- def lookupSymbol(name: Global.Name, qualifies: (Global.Symbol) => Boolean): Global.NameLookup
- Definition Classes
- Context
- def macrosEnabled: Boolean
- Definition Classes
- Context
- def macrosEnabled_=(value: Boolean): Unit
- Definition Classes
- Context
- def make(tree: Global.Tree, owner: Global.Symbol, scope: Global.Scope): Analyzer.Context
- Definition Classes
- Context
- def make(tree: Global.Tree = tree, owner: Global.Symbol = owner, scope: Global.Scope = scope, unit: Global.CompilationUnit = unit, reporter: Analyzer.ContextReporter = this.reporter): Analyzer.Context
Construct a child context.
Construct a child context. The parent and child will share the report buffer. Compare with
makeSilent, in which the child has a fresh report buffer.If
treeis anImport, that import will be available at the head ofContext#imports.- Definition Classes
- Context
- def makeConstructorContext: Analyzer.Context
A context for typing constructor parameter ValDefs, super or self invocation arguments and default getters of constructors.
A context for typing constructor parameter ValDefs, super or self invocation arguments and default getters of constructors. These expressions need to be type checked in a scope outside the class, cf. spec 5.3.1.
This method is called by namer / typer where
thisis the context for the constructor DefDef. The owner of the resulting (new) context is the outer context for the Template, i.e. the context for the ClassDef. This means that class type parameters will be in scope. The value parameters of the current constructor are also entered into the new constructor scope. Members of the class however will not be accessible.- Definition Classes
- Context
- def makeImplicit(reportAmbiguousErrors: Boolean): Analyzer.Context
Make a silent child context does not allow implicits.
Make a silent child context does not allow implicits. Used to prevent chaining of implicit views.
- Definition Classes
- Context
- def makeImportContext(tree: Global.Import): Analyzer.Context
- Definition Classes
- Context
- def makeNewScope(tree: Global.Tree, owner: Global.Symbol, reporter: Analyzer.ContextReporter = this.reporter): Analyzer.Context
Make a child context that represents a new nested scope
Make a child context that represents a new nested scope
- Definition Classes
- Context
- def makeNonSilent(newtree: Global.Tree): Analyzer.Context
- Definition Classes
- Context
- def makeSilent(reportAmbiguousErrors: Boolean = ambiguousErrors, newtree: Global.Tree = tree): Analyzer.Context
Make a child context that buffers errors and warnings into a fresh report buffer.
Make a child context that buffers errors and warnings into a fresh report buffer.
- Definition Classes
- Context
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def nextEnclosing(p: (Analyzer.Context) => Boolean): Analyzer.Context
- Definition Classes
- Context
- Annotations
- @tailrec()
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- var openImplicits: List[Analyzer.OpenImplicit]
Types for which implicit arguments are currently searched
Types for which implicit arguments are currently searched
- Definition Classes
- Context
- final def outer: Analyzer.Context
- Definition Classes
- Context
- def outerDepth: Int
- Attributes
- protected
- Definition Classes
- Context
- final def outermostContextAtCurrentPos: Analyzer.Context
- Definition Classes
- Context
- val owner: Global.Symbol
- Definition Classes
- Context
- var pendingStabilizers: List[Global.Tree]
- Definition Classes
- Context
- var prefix: Global.Type
- Definition Classes
- Context
- def pushTypeBounds(sym: Global.Symbol): Unit
- Definition Classes
- Context
- final def refByNameImplicit(tpe: Global.Type): Global.Tree
- Definition Classes
- Context
- def reportErrors: Boolean
- Definition Classes
- Context
- def reporter: Analyzer.ContextReporter
- Definition Classes
- Context
- final def resetCache(): Unit
- Definition Classes
- Context
- Annotations
- @tailrec()
- def restoreTypeBounds(tp: Global.Type): Global.Type
- Definition Classes
- Context
- def returnsSeen: Boolean
- Definition Classes
- Context
- def returnsSeen_=(value: Boolean): Unit
- Definition Classes
- Context
- def retyping: Boolean
- Definition Classes
- Context
- def retyping_=(value: Boolean): Unit
- Definition Classes
- Context
- var savedTypeBounds: List[(Global.Symbol, Global.Type)]
Saved type bounds for type parameters which are narrowed in a GADT.
Saved type bounds for type parameters which are narrowed in a GADT.
- Definition Classes
- Context
- def savingUndeterminedTypeParams[A](reportAmbiguous: Boolean = ambiguousErrors)(body: => A): A
Run
bodywith this context with no undetermined type parameters, restore the original the original list afterwards.Run
bodywith this context with no undetermined type parameters, restore the original the original list afterwards.- reportAmbiguous
Should ambiguous errors be reported during evaluation of
body?
- Definition Classes
- Context
- val scope: Global.Scope
- Definition Classes
- Context
- def set(enable: ContextMode = NOmode, disable: ContextMode = NOmode): NoContext.this.type
Set all modes in the mask
enableto true, and all indisableto false.Set all modes in the mask
enableto true, and all indisableto false.- Definition Classes
- Context
- def siteString: String
- Definition Classes
- Context
- def starPatterns: Boolean
- Definition Classes
- Context
- def starPatterns_=(value: Boolean): Unit
- Definition Classes
- Context
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- val tree: Global.Tree
- Definition Classes
- Context
- def undetparams: List[Global.Symbol]
Undetermined type parameters.
Undetermined type parameters. See
Infer#{inferExprInstance, adjustTypeArgs}. Not inherited to child contexts- Definition Classes
- Context
- def undetparamsString: String
- Definition Classes
- Context
- def undetparams_=(ps: List[Global.Symbol]): Unit
- Definition Classes
- Context
- val unit: Global.CompilationUnit
- Definition Classes
- Context
- def update(mask: ContextMode, value: Boolean): Unit
Update all modes in
masktovalueUpdate all modes in
masktovalue- Definition Classes
- Context
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- def warning(pos: Global.Position, msg: String, category: WarningCategory, site: Global.Symbol): Unit
- Definition Classes
- Context
- def warning(pos: Global.Position, msg: String, category: WarningCategory, site: Global.Symbol, actions: List[CodeAction]): Unit
- Definition Classes
- Context
- def warning(pos: Global.Position, msg: String, category: WarningCategory, actions: List[CodeAction] = Nil): Unit
Issue/throw the given error message according to the current mode for error reporting.
Issue/throw the given error message according to the current mode for error reporting.
- Definition Classes
- Context
- final def withImplicits[T](enabled: Boolean)(op: => T): T
- Definition Classes
- Context
- Annotations
- @inline()
- final def withImplicitsDisabled[T](op: => T): T
- Definition Classes
- Context
- Annotations
- @inline()
- final def withImplicitsDisabledAllowEnrichment[T](op: => T): T
- Definition Classes
- Context
- Annotations
- @inline()
- final def withImplicitsEnabled[T](op: => T): T
- Definition Classes
- Context
- Annotations
- @inline()
- final def withMacros[T](enabled: Boolean)(op: => T): T
- Definition Classes
- Context
- Annotations
- @inline()
- final def withMacrosDisabled[T](op: => T): T
- Definition Classes
- Context
- Annotations
- @inline()
- final def withMacrosEnabled[T](op: => T): T
- Definition Classes
- Context
- Annotations
- @inline()
- final def withMode[T](enabled: ContextMode = NOmode, disabled: ContextMode = NOmode)(op: => T): T
- Definition Classes
- Context
- Annotations
- @inline()
- final def withOnlyStickyModes[T](op: => T): T
- Definition Classes
- Context
- Annotations
- @inline()
- final def withSuppressDeadArgWarning[T](suppress: Boolean)(op: => T): T
- Definition Classes
- Context
- Annotations
- @inline()
- final def withinAnnotation[T](op: => T): T
- Definition Classes
- Context
- Annotations
- @inline()
- final def withinPatAlternative[T](op: => T): T
- Definition Classes
- Context
- Annotations
- @inline()
- final def withinReturnExpr[T](op: => T): T
- Definition Classes
- Context
- Annotations
- @inline()
- final def withinSecondTry[T](op: => T): T
- Definition Classes
- Context
- Annotations
- @inline()
- final def withinStarPatterns[T](op: => T): T
- Definition Classes
- Context
- Annotations
- @inline()
- final def withinSuperInit[T](op: => T): T
- Definition Classes
- Context
- Annotations
- @inline()
- final def withinTypeConstructorAllowed[T](op: => T): T
TypeConstructorAllowed is enabled when we are typing a higher-kinded type.
TypeConstructorAllowed is enabled 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.
- Definition Classes
- Context
- Annotations
- @inline()
The Scala compiler and reflection APIs.