Scala Compiler2.12.9 < 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[lang]
   Definition Classes
     AnyRef
   Annotations
     @throws( ... ) @native()
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.  final def enclosingImport: Analyzer.Context
    Definition Classes
      Context
    Annotations
      @tailrec()
23.  def enclosingNonImportContext: Analyzer.Context
    Definition Classes
      Context
24.  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
25.  def enrichmentEnabled: Boolean
    Definition Classes
      Context
26.  def enrichmentEnabled_=(value: Boolean): Unit
    Definition Classes
      Context
27.  final def eq(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef
28.  def equals(arg0: Any): Boolean
    Definition Classes
      AnyRef → Any
29.  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
30.  def extractUndetparams(): List[Global.Symbol]

    Return and clear the undetermined type parameters

    Return and clear the undetermined type parameters

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

    Equivalent to `imports.headOption`, but more efficient

    Equivalent to `imports.headOption`, but more efficient

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

    The currently visible imports

    The currently visible imports

    Definition Classes
      NoContext → Context
42.  def inConstructorSuffix: Boolean
    Definition Classes
      Context
43.  def inConstructorSuffix_=(value: Boolean): Unit
    Definition Classes
      Context
44.  def inPatAlternative: Boolean
    Definition Classes
      Context
45.  def inPatAlternative_=(value: Boolean): Unit
    Definition Classes
      Context
46.  def inReturnExpr: Boolean
    Definition Classes
      Context
47.  def inSecondTry: Boolean
    Definition Classes
      Context
48.  def inSecondTry_=(value: Boolean): Unit
    Definition Classes
      Context
49.  def inSelfSuperCall: Boolean
    Definition Classes
      Context
50.  def inSelfSuperCall_=(value: Boolean): Unit
    Definition Classes
      Context
51.  final def inSilentMode(expr: ⇒ Boolean): Boolean
    Definition Classes
      Context
    Annotations
      @inline()
52.  def inSuperInit: Boolean
    Definition Classes
      Context
53.  def inSuperInit_=(value: Boolean): Unit
    Definition Classes
      Context
54.  def inTypeConstructorAllowed: Boolean
    Definition Classes
      Context
55.  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
56.  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
57.  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
58.  final def isInstanceOf[T0]: Boolean
    Definition Classes
      Any
59.  def isNameInScope(name: Global.Name): Boolean
    Definition Classes
      Context
60.  def isRootImport: Boolean
    Definition Classes
      Context
61.  final def isSearchingForImplicitParam: Boolean
    Definition Classes
      Context
62.  final def javaFindMember(pre: Global.Type, name: Global.Name, qualifies: (Global.Symbol) ⇒ Boolean): (Global.Type, Global.Symbol)
    Definition Classes
      Context
63.  final def lookupCompanionInIncompleteOwner(original: Global.Symbol): Global.Symbol
    Definition Classes
      Context
64.  final def lookupSibling(original: Global.Symbol, name: Global.Name): Global.Symbol
    Definition Classes
      Context
65.  def lookupSymbol(name: Global.Name, qualifies: (Global.Symbol) ⇒ Boolean): Global.NameLookup
    Definition Classes
      Context
66.  def macrosEnabled: Boolean
    Definition Classes
      Context
67.  def macrosEnabled_=(value: Boolean): Unit
    Definition Classes
      Context
68.  def make(tree: Global.Tree, owner: Global.Symbol, scope: Global.Scope): Analyzer.Context
    Definition Classes
      Context
69.  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
70.  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
71.  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
72.  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
73.  def makeNonSilent(newtree: Global.Tree): Analyzer.Context
    Definition Classes
      Context
74.  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
75.  final def ne(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef
76.  def nextEnclosing(p: (Analyzer.Context) ⇒ Boolean): Analyzer.Context
    Definition Classes
      NoContext → Context
77.  final def notify(): Unit
    Definition Classes
      AnyRef
    Annotations
      @native()
78.  final def notifyAll(): Unit
    Definition Classes
      AnyRef
    Annotations
      @native()
79.  var openImplicits: List[Analyzer.OpenImplicit]

    Types for which implicit arguments are currently searched

    Types for which implicit arguments are currently searched

    Definition Classes
      Context
80.  final def outer: Analyzer.Context
    Definition Classes
      Context
81.  def outerDepth: Int
    Attributes
      protected
    Definition Classes
      Context
82.  final def outermostContextAtCurrentPos: Analyzer.Context
    Definition Classes
      Context
83.  val owner: Global.Symbol
    Definition Classes
      Context
84.  var prefix: Global.Type
    Definition Classes
      Context
85.  def pushTypeBounds(sym: Global.Symbol): Unit
    Definition Classes
      Context
86.  def reportErrors: Boolean
    Definition Classes
      Context
87.  def reporter: Analyzer.ContextReporter
    Definition Classes
      Context
88.  def resetCache(): Unit
    Definition Classes
      Context
89.  def restoreTypeBounds(tp: Global.Type): Global.Type
    Definition Classes
      Context
90.  def returnsSeen: Boolean
    Definition Classes
      Context
91.  def returnsSeen_=(value: Boolean): Unit
    Definition Classes
      Context
92.  def retyping: Boolean
    Definition Classes
      Context
93.  def retyping_=(value: Boolean): Unit
    Definition Classes
      Context
94.  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
95.  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
96.  val scope: Global.Scope
    Definition Classes
      Context
97.  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
98.  def siteString: String
    Definition Classes
      Context
99.  def starPatterns: Boolean
    Definition Classes
      Context
100.  def starPatterns_=(value: Boolean): Unit
     Definition Classes
       Context
101.  final def synchronized[T0](arg0: ⇒ T0): T0
     Definition Classes
       AnyRef
102.  def toString(): String
     Definition Classes
       NoContext → Context → AnyRef → Any
103.  val tree: Global.Tree
     Definition Classes
       Context
104.  def undetparams: List[Global.Symbol]

     Undetermined type parameters.

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

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

     Update all modes in `mask` to `value`

     Update all modes in `mask` to `value`

     Definition Classes
       Context
109.  var variance: Variance

     Variance relative to enclosing class

     Variance relative to enclosing class

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