Scala Compiler2.12.6 < Back
 

# Packages

-  package root

  The Scala compiler and reflection APIs.

  The Scala compiler and reflection APIs.

  Definition Classes
    root
-  package scala
  Definition Classes
    root
-  package tools
  Definition Classes
    scala
-  package nsc
  Definition Classes
    tools
-  package typechecker
  Definition Classes
    nsc
-  trait Contexts extends AnyRef

  Definition Classes
    typechecker
  Version

    1.0

- Context
- ContextReporter
- ImportContext
- ImportInfo
- NoContext

o

scala.tools.nsc.typechecker.Contexts

# NoContext 

###

#### object NoContext extends Analyzer.Context

Source
  Contexts.scala

Linear Supertypes
Analyzer.Context, AnyRef, Any
 
Ordering

1. Alphabetic
2. By Inheritance

Inherited

1. NoContext
2. Context
3. AnyRef
4. Any

1. Hide All
2. Show All

Visibility

1. Public
2. All

### Type Members

1.  abstract class TryTwice extends AnyRef

   Try inference twice: once without views and once with views, unless views are already disabled.

   Try inference twice: once without views and once with views, unless views are already disabled.

   Definition Classes
     Context

### Value Members

1.  final def !=(arg0: Any): Boolean
   Definition Classes
     AnyRef → Any
2.  final def ##(): Int
   Definition Classes
     AnyRef → Any
3.  final def ==(arg0: Any): Boolean
   Definition Classes
     AnyRef → Any
4.  def ambiguousErrors: Boolean
   Definition Classes
     Context
5.  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
6.  final def asInstanceOf[T0]: T0
   Definition Classes
     Any
7.  def bufferErrors: Boolean
   Definition Classes
     Context
8.  def clone(): AnyRef
   Attributes
     protected[java.lang]
   Definition Classes
     AnyRef
   Annotations
     @native() @throws( ... )
9.  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
10.  def defaultModeForTyped: Mode
    Definition Classes
      Context
11.  def deprecationWarning(pos: Global.Position, sym: Global.Symbol): Unit
    Definition Classes
      Context
12.  def deprecationWarning(pos: Global.Position, sym: Global.Symbol, msg: String, since: String): Unit
    Definition Classes
      Context
13.  val depth: Int
    Definition Classes
      NoContext → Context
14.  var diagUsedDefaults: Boolean

    To enrich error messages involving default arguments.

    To enrich error messages involving default arguments. When extending the notion, group diagnostics in an object.

    Definition Classes
      Context
15.  def echo(pos: Global.Position, msg: String): Unit
    Definition Classes
      Context
16.  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
17.  def enclClassOrMethod: Analyzer.Context

    The next enclosing context (potentially `this`) that is owned by a class or method

    The next enclosing context (potentially `this`) that is owned by a class or method

    Definition Classes
      Context
18.  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
19.  def enclosingApply: Analyzer.Context

    ...or an Apply.

    ...or an Apply.

    Definition Classes
      Context
20.  def enclosingCaseDef: Analyzer.Context

    The next enclosing context (potentially `this`) that has a `CaseDef` as a tree

    The next enclosing context (potentially `this`) that has a `CaseDef` as a tree

    Definition Classes
      Context
21.  def enclosingContextChain: List[Analyzer.Context]
    Definition Classes
      NoContext → Context
22.  def enclosingNonImportContext: Analyzer.Context
    Definition Classes
      Context
23.  def enclosingSubClassContext(clazz: Global.Symbol): Analyzer.Context

    Return the closest enclosing context that defines a subclass of `clazz` or a companion object thereof, or `NoContext` if no such context exists.

    Return the closest enclosing context that defines a subclass of `clazz` or a companion object thereof, or `NoContext` if no such context exists.

    Definition Classes
      Context
24.  def enrichmentEnabled: Boolean
    Definition Classes
      Context
25.  def enrichmentEnabled_=(value: Boolean): Unit
    Definition Classes
      Context
26.  final def eq(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef
27.  def equals(arg0: Any): Boolean
    Definition Classes
      AnyRef → Any
28.  def error(pos: Global.Position, msg: String): 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
29.  def extractUndetparams(): List[Global.Symbol]

    Return and clear the undetermined type parameters

    Return and clear the undetermined type parameters

    Definition Classes
      Context
30.  def featureWarning(pos: Global.Position, featureName: String, featureDesc: String, featureTrait: Global.Symbol, construct: ⇒ String = "", required: Boolean): Unit
    Definition Classes
      Context
31.  def finalize(): Unit
    Attributes
      protected[java.lang]
    Definition Classes
      AnyRef
    Annotations
      @throws( classOf[java.lang.Throwable] )
32.  def firstImport: Option[Analyzer.ImportInfo]

    Equivalent to `imports.headOption`, but more efficient

    Equivalent to `imports.headOption`, but more efficient

    Definition Classes
      NoContext → Context
33.  def fixPosition(pos: Global.Position): Global.Position
    Definition Classes
      Context
34.  final def getClass(): Class[_]
    Definition Classes
      AnyRef → Any
    Annotations
      @native()
35.  def hashCode(): Int
    Definition Classes
      AnyRef → Any
    Annotations
      @native()
36.  def implicitsEnabled: Boolean
    Definition Classes
      Context
37.  def implicitsEnabled_=(value: Boolean): Unit
    Definition Classes
      Context
38.  def implicitss: List[List[Analyzer.ImplicitInfo]]
    Definition Classes
      NoContext → Context
39.  def imports: List[Analyzer.ImportInfo]

    The currently visible imports

    The currently visible imports

    Definition Classes
      NoContext → Context
40.  def inConstructorSuffix: Boolean
    Definition Classes
      Context
41.  def inConstructorSuffix_=(value: Boolean): Unit
    Definition Classes
      Context
42.  def inPatAlternative: Boolean
    Definition Classes
      Context
43.  def inPatAlternative_=(value: Boolean): Unit
    Definition Classes
      Context
44.  def inReturnExpr: Boolean
    Definition Classes
      Context
45.  def inSecondTry: Boolean
    Definition Classes
      Context
46.  def inSecondTry_=(value: Boolean): Unit
    Definition Classes
      Context
47.  def inSelfSuperCall: Boolean
    Definition Classes
      Context
48.  def inSelfSuperCall_=(value: Boolean): Unit
    Definition Classes
      Context
49.  final def inSilentMode(expr: ⇒ Boolean): Boolean
    Definition Classes
      Context
    Annotations
      @inline()
50.  def inSuperInit: Boolean
    Definition Classes
      Context
51.  def inSuperInit_=(value: Boolean): Unit
    Definition Classes
      Context
52.  def inTypeConstructorAllowed: Boolean
    Definition Classes
      Context
53.  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
54.  def isAccessible(sym: Global.Symbol, pre: Global.Type, superAccess: Boolean = false): Boolean

    Is `sym` accessible as a member of `pre` in current context?

    Is `sym` accessible as a member of `pre` in current context?

    Definition Classes
      Context
55.  def isInPackageObject(sym: Global.Symbol, pkg: Global.Symbol): Boolean

    Must `sym` defined in package object of package `pkg`, if it selected from a prefix with `pkg` as its type symbol?

    Must `sym` defined in package object of package `pkg`, if it selected from a prefix with `pkg` as its type symbol?

    Definition Classes
      Context
56.  final def isInstanceOf[T0]: Boolean
    Definition Classes
      Any
57.  def isNameInScope(name: Global.Name): Boolean
    Definition Classes
      Context
58.  def isRootImport: Boolean
    Definition Classes
      Context
59.  final def isSearchingForImplicitParam: Boolean
    Definition Classes
      Context
60.  def lookup(name: Global.Name, expectedOwner: Global.Symbol): Global.Symbol

    Find a symbol in this context or one of its outers.

    Find a symbol in this context or one of its outers.

    Used to find symbols are owned by methods (or fields), they can't be found in some scope.

    Examples: companion module of classes owned by a method, default getter methods of nested methods. See NamesDefaults.scala

    Definition Classes
      Context
61.  final def lookupCompanionInIncompleteOwner(original: Global.Symbol): Global.Symbol
    Definition Classes
      Context
62.  def lookupSymbol(name: Global.Name, qualifies: (Global.Symbol) ⇒ Boolean): Global.NameLookup

    Find the symbol of a simple name starting from this context.

    Find the symbol of a simple name starting from this context. All names are filtered through the "qualifies" predicate, the search continuing as long as no qualifying name is found.

    Definition Classes
      Context
63.  def macrosEnabled: Boolean
    Definition Classes
      Context
64.  def macrosEnabled_=(value: Boolean): Unit
    Definition Classes
      Context
65.  def make(tree: Global.Tree, owner: Global.Symbol, scope: Global.Scope): Analyzer.Context
    Definition Classes
      Context
66.  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 `tree` is an `Import`, that import will be available at the head of `Context#imports`.

    Definition Classes
      Context
67.  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 `this` is 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
68.  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
69.  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
70.  def makeNonSilent(newtree: Global.Tree): Analyzer.Context
    Definition Classes
      Context
71.  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
72.  var namedApplyBlockInfo: Option[(Global.Tree, Analyzer.NamedApplyInfo)]
    Definition Classes
      Context
73.  final def ne(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef
74.  def nextEnclosing(p: (Analyzer.Context) ⇒ Boolean): Analyzer.Context
    Definition Classes
      NoContext → Context
75.  final def notify(): Unit
    Definition Classes
      AnyRef
    Annotations
      @native()
76.  final def notifyAll(): Unit
    Definition Classes
      AnyRef
    Annotations
      @native()
77.  var openImplicits: List[Analyzer.OpenImplicit]

    Types for which implicit arguments are currently searched

    Types for which implicit arguments are currently searched

    Definition Classes
      Context
78.  final def outer: Analyzer.Context
    Definition Classes
      Context
79.  def outerDepth: Int
    Attributes
      protected
    Definition Classes
      Context
80.  val owner: Global.Symbol
    Definition Classes
      Context
81.  var prefix: Global.Type
    Definition Classes
      Context
82.  def pushTypeBounds(sym: Global.Symbol): Unit
    Definition Classes
      Context
83.  def reportErrors: Boolean
    Definition Classes
      Context
84.  def reporter: Analyzer.ContextReporter
    Definition Classes
      Context
85.  def resetCache(): Unit
    Definition Classes
      Context
86.  def restoreTypeBounds(tp: Global.Type): Global.Type
    Definition Classes
      Context
87.  def returnsSeen: Boolean
    Definition Classes
      Context
88.  def returnsSeen_=(value: Boolean): Unit
    Definition Classes
      Context
89.  def retyping: Boolean
    Definition Classes
      Context
90.  def retyping_=(value: Boolean): Unit
    Definition Classes
      Context
91.  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
92.  def savingUndeterminedTypeParams[A](reportAmbiguous: Boolean = ambiguousErrors)(body: ⇒ A): A

    Run `body` with this context with no undetermined type parameters, restore the original the original list afterwards.

    Run `body` with 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
93.  val scope: Global.Scope
    Definition Classes
      Context
94.  def set(enable: ContextMode = NOmode, disable: ContextMode = NOmode): NoContext.this.type

    Set all modes in the mask `enable` to true, and all in `disable` to false.

    Set all modes in the mask `enable` to true, and all in `disable` to false.

    Definition Classes
      Context
95.  def siteString: String
    Definition Classes
      Context
96.  def starPatterns: Boolean
    Definition Classes
      Context
97.  def starPatterns_=(value: Boolean): Unit
    Definition Classes
      Context
98.  final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
      AnyRef
99.  def toString(): String
    Definition Classes
      NoContext → Context → AnyRef → Any
100.  val tree: Global.Tree
     Definition Classes
       Context
101.  def undetparams: List[Global.Symbol]

     Undetermined type parameters.

     Undetermined type parameters. See `Infer#{inferExprInstance, adjustTypeArgs}`. Not inherited to child contexts

     Definition Classes
       Context
102.  def undetparamsString: String
     Definition Classes
       Context
103.  def undetparams_=(ps: List[Global.Symbol]): Unit
     Definition Classes
       Context
104.  val unit: Global.CompilationUnit
     Definition Classes
       Context
105.  def update(mask: ContextMode, value: Boolean): Unit

     Update all modes in `mask` to `value`

     Update all modes in `mask` to `value`

     Definition Classes
       Context
106.  var variance: Variance

     Variance relative to enclosing class

     Variance relative to enclosing class

     Definition Classes
       Context
107.  final def wait(): Unit
     Definition Classes
       AnyRef
     Annotations
       @throws( ... )
108.  final def wait(arg0: Long, arg1: Int): Unit
     Definition Classes
       AnyRef
     Annotations
       @throws( ... )
109.  final def wait(arg0: Long): Unit
     Definition Classes
       AnyRef
     Annotations
       @native() @throws( ... )
110.  def warning(pos: Global.Position, msg: String): 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
111.  final def withImplicits[T](enabled: Boolean)(op: ⇒ T): T
     Definition Classes
       Context
     Annotations
       @inline()
112.  final def withImplicitsDisabled[T](op: ⇒ T): T
     Definition Classes
       Context
     Annotations
       @inline()
113.  final def withImplicitsDisabledAllowEnrichment[T](op: ⇒ T): T
     Definition Classes
       Context
     Annotations
       @inline()
114.  final def withImplicitsEnabled[T](op: ⇒ T): T
     Definition Classes
       Context
     Annotations
       @inline()
115.  final def withMacros[T](enabled: Boolean)(op: ⇒ T): T
     Definition Classes
       Context
     Annotations
       @inline()
116.  final def withMacrosDisabled[T](op: ⇒ T): T
     Definition Classes
       Context
     Annotations
       @inline()
117.  final def withMacrosEnabled[T](op: ⇒ T): T
     Definition Classes
       Context
     Annotations
       @inline()
118.  final def withMode[T](enabled: ContextMode = NOmode, disabled: ContextMode = NOmode)(op: ⇒ T): T
     Definition Classes
       Context
     Annotations
       @inline()
119.  final def withOnlyStickyModes[T](op: ⇒ T): T
     Definition Classes
       Context
     Annotations
       @inline()
120.  final def withinPatAlternative[T](op: ⇒ T): T
     Definition Classes
       Context
     Annotations
       @inline()
121.  final def withinReturnExpr[T](op: ⇒ T): T
     Definition Classes
       Context
     Annotations
       @inline()
122.  final def withinSecondTry[T](op: ⇒ T): T
     Definition Classes
       Context
     Annotations
       @inline()
123.  final def withinStarPatterns[T](op: ⇒ T): T
     Definition Classes
       Context
     Annotations
       @inline()
124.  final def withinSuperInit[T](op: ⇒ T): T
     Definition Classes
       Context
     Annotations
       @inline()
125.  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()

### Inherited from Analyzer.Context

### Inherited from AnyRef

### Inherited from Any

### Ungrouped