scala.tools.nsc.typechecker.Contexts

# Context

#### class Context extends AnyRef

Linear Supertypes
AnyRef, Any
Known Subclasses
NoContext
Type Hierarchy Learn more about scaladoc diagrams
Ordering

1. Alphabetic
2. By inheritance

Inherited

1. Context
2. AnyRef
3. Any

Implicitly

1. by any2stringadd
2. by any2stringfmt
3. by any2ArrowAssoc
4. by any2Ensuring

1. Hide All
2. Show all

Learn more about member selection
Visibility

1. Public
2. All

### Value Members

1. #### final def !=(arg0: AnyRef): Boolean

   Definition Classes
     AnyRef

2. #### final def !=(arg0: Any): Boolean

   Definition Classes
     Any

3. #### final def ##(): Int

   Definition Classes
     AnyRef → Any

4. #### def +(other: String): String

   Implicit information
     This member is added by an implicit conversion from Analyzer.Context to StringAdd performed by method any2stringadd in scala.Predef.
   Definition Classes
     StringAdd

5. #### def ->[B](y: B): (Analyzer.Context, B)

   Implicit information
     This member is added by an implicit conversion from Analyzer.Context to ArrowAssoc[Analyzer.Context] performed by method any2ArrowAssoc in scala.Predef.
   Definition Classes
     ArrowAssoc
   Annotations
     @inline()

6. #### final def ==(arg0: AnyRef): Boolean

   Definition Classes
     AnyRef

7. #### final def ==(arg0: Any): Boolean

   Definition Classes
     Any

8. #### def ambiguousErrors: Boolean

9. #### final def asInstanceOf[T0]: T0

   Definition Classes
     Any

10. #### var buffer: Set[Analyzer.AbsTypeError]

11. #### def bufferErrors: Boolean

12. #### var checking: Boolean

13. #### def clone(): AnyRef

    Attributes
      protected[java.lang]
    Definition Classes
      AnyRef
    Annotations
      @throws( ... )

14. #### def condBufferFlush(removeP: (Analyzer.AbsTypeError) ⇒ Boolean): Unit

15. #### var depth: Int

16. #### var diagnostic: List[String]

17. #### var enclClass: Analyzer.Context

18. #### def enclClassOrMethod: Analyzer.Context

19. #### var enclMethod: Analyzer.Context

20. #### def enclosingContextChain: List[Analyzer.Context]

21. #### 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.

22. #### def enclosingSuperClassContext(clazz: Global.Symbol): Analyzer.Context

    Return closest enclosing context that defines a superclass of `clazz`, or a companion module of a superclass of `clazz`, or NoContext if none exists

23. #### var enrichmentEnabled: Boolean

24. #### def ensuring(cond: (Analyzer.Context) ⇒ Boolean, msg: ⇒ Any): Analyzer.Context

    Implicit information
      This member is added by an implicit conversion from Analyzer.Context to Ensuring[Analyzer.Context] performed by method any2Ensuring in scala.Predef.
    Definition Classes
      Ensuring

25. #### def ensuring(cond: (Analyzer.Context) ⇒ Boolean): Analyzer.Context

    Implicit information
      This member is added by an implicit conversion from Analyzer.Context to Ensuring[Analyzer.Context] performed by method any2Ensuring in scala.Predef.
    Definition Classes
      Ensuring

26. #### def ensuring(cond: Boolean, msg: ⇒ Any): Analyzer.Context

    Implicit information
      This member is added by an implicit conversion from Analyzer.Context to Ensuring[Analyzer.Context] performed by method any2Ensuring in scala.Predef.
    Definition Classes
      Ensuring

27. #### def ensuring(cond: Boolean): Analyzer.Context

    Implicit information
      This member is added by an implicit conversion from Analyzer.Context to Ensuring[Analyzer.Context] performed by method any2Ensuring in scala.Predef.
    Definition Classes
      Ensuring

28. #### final def eq(arg0: AnyRef): Boolean

    Definition Classes
      AnyRef

29. #### def equals(arg0: Any): Boolean

    Definition Classes
      AnyRef → Any

30. #### def errBuffer: Set[Analyzer.AbsTypeError]

31. #### def error(pos: Global.Position, msg: String): Unit

32. #### def error(pos: Global.Position, err: Throwable): Unit

33. #### def extractUndetparams(): List[Global.Symbol]

34. #### def finalize(): Unit

    Attributes
      protected[java.lang]
    Definition Classes
      AnyRef
    Annotations
      @throws( classOf[java.lang.Throwable] )

35. #### def flushAndReturnBuffer(): Set[Analyzer.AbsTypeError]

36. #### def flushAndReturnWarningsBuffer(): Set[(Global.Position, String)]

37. #### def flushBuffer(): Unit

38. #### def formatted(fmtstr: String): String

    Implicit information
      This member is added by an implicit conversion from Analyzer.Context to StringFormat performed by method any2stringfmt in scala.Predef.
    Definition Classes
      StringFormat
    Annotations
      @inline()

39. #### final def getClass(): Class[_]

    Definition Classes
      AnyRef → Any

40. #### def hasErrors: Boolean

41. #### def hasWarnings: Boolean

42. #### def hashCode(): Int

    Definition Classes
      AnyRef → Any

43. #### var implicitsEnabled: Boolean

44. #### def implicitss: List[List[Analyzer.ImplicitInfo]]

45. #### var imports: List[Analyzer.ImportInfo]

46. #### var inConstructorSuffix: Boolean

47. #### var inSelfSuperCall: Boolean

48. #### def isAccessible(sym: Global.Symbol, pre: Global.Type, superAccess: Boolean = false): Boolean

    Is `sym` accessible as a member of tree `site` with type `pre` in current context?

49. #### final def isInstanceOf[T0]: Boolean

    Definition Classes
      Any

50. #### def isLocal(): Boolean

51. #### def isNameInScope(name: Global.Name): Boolean

    Fast path for some slow checks (ambiguous assignment in Refchecks, and existence of match for MatchTranslation in virtpatmat.) This logic probably needs improvement.

52. #### def isSubClassOrCompanion(sub: Global.Symbol, base: Global.Symbol): Boolean

    Is `sub` a subclass of `base` or a companion object of such a subclass?

53. #### def issue(err: Analyzer.AbsTypeError): Unit

54. #### def issueAmbiguousError(err: Analyzer.AbsTypeError): Unit

55. #### def issueAmbiguousError(pre: Global.Type, sym1: Global.Symbol, sym2: Global.Symbol, err: Analyzer.AbsTypeError): Unit

56. #### def logError(err: Analyzer.AbsTypeError): Set[Analyzer.AbsTypeError]

57. #### 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

58. #### var macrosEnabled: Boolean

59. #### def make(tree: Global.Tree): Analyzer.Context

60. #### def make(tree: Global.Tree, owner: Global.Symbol): Analyzer.Context

61. #### def make(tree: Global.Tree, owner: Global.Symbol, scope: Global.Scope): Analyzer.Context

62. #### def make(unit: Global.CompilationUnit): Analyzer.Context

63. #### def make(unit: Global.CompilationUnit, tree: Global.Tree, owner: Global.Symbol, scope: Global.Scope, imports: List[Analyzer.ImportInfo]): Analyzer.Context

64. #### 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.

65. #### def makeImplicit(reportAmbiguousErrors: Boolean): Analyzer.Context

66. #### def makeNewImport(imp: Global.Import): Analyzer.Context

67. #### def makeNewImport(sym: Global.Symbol): Analyzer.Context

68. #### def makeNewScope(tree: Global.Tree, owner: Global.Symbol): Analyzer.Context

69. #### def makeSilent(reportAmbiguousErrors: Boolean, newtree: Global.Tree = tree): Analyzer.Context

70. #### var namedApplyBlockInfo: Option[(Global.Tree, Analyzer.NamedApplyInfo)]

71. #### final def ne(arg0: AnyRef): Boolean

    Definition Classes
      AnyRef

72. #### def nextEnclosing(p: (Analyzer.Context) ⇒ Boolean): Analyzer.Context

73. #### final def notify(): Unit

    Definition Classes
      AnyRef

74. #### final def notifyAll(): Unit

    Definition Classes
      AnyRef

75. #### var openImplicits: List[Analyzer.OpenImplicit]

76. #### var outer: Analyzer.Context

77. #### var owner: Global.Symbol

78. #### var prefix: Global.Type

79. #### def pushTypeBounds(sym: Global.Symbol): Unit

80. #### def reportErrors: Boolean

81. #### def resetCache(): Unit

82. #### def restoreState(state0: Int): Unit

83. #### def restoreTypeBounds(tp: Global.Type): Global.Type

84. #### var returnsSeen: Boolean

85. #### var retyping: Boolean

86. #### var savedTypeBounds: List[(Global.Symbol, Global.Type)]

87. #### final def savingEnclClass[A](c: Analyzer.Context)(a: ⇒ A): A

    Annotations
      @inline()

88. #### var scope: Global.Scope

89. #### def setAmbiguousErrors(report: Boolean): Unit

90. #### def setBufferErrors(): Unit

91. #### def setReportErrors(): Unit

92. #### def setThrowErrors(): Unit

93. #### def state: Int

94. #### final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
      AnyRef

95. #### def throwErrors: Boolean

96. #### def toString(): String

    Definition Classes
      Context → AnyRef → Any

97. #### var tree: Global.Tree

98. #### def typingIndent: String

99. #### var typingIndentLevel: Int

100. #### def undetparams: List[Global.Symbol]

101. #### def undetparamsString: String

102. #### def undetparams_=(ps: List[Global.Symbol]): Unit

103. #### var unit: Global.CompilationUnit

104. #### def updateBuffer(errors: Set[Analyzer.AbsTypeError]): Set[Analyzer.AbsTypeError]

105. #### var variance: Int

106. #### final def wait(): Unit

     Definition Classes
       AnyRef
     Annotations
       @throws( ... )

107. #### final def wait(arg0: Long, arg1: Int): Unit

     Definition Classes
       AnyRef
     Annotations
       @throws( ... )

108. #### final def wait(arg0: Long): Unit

     Definition Classes
       AnyRef
     Annotations
       @throws( ... )

109. #### def warning(pos: Global.Position, msg: String, force: Boolean): Unit

110. #### def warning(pos: Global.Position, msg: String): Unit

111. #### var warningsBuffer: Set[(Global.Position, String)]

112. #### def withImplicitsDisabled[T](op: ⇒ T): T

113. #### def withImplicitsDisabledAllowEnrichment[T](op: ⇒ T): T

114. #### def withImplicitsEnabled[T](op: ⇒ T): T

115. #### def withMacrosDisabled[T](op: ⇒ T): T

116. #### def withMacrosEnabled[T](op: ⇒ T): T

117. #### def →[B](y: B): (Analyzer.Context, B)

     Implicit information
       This member is added by an implicit conversion from Analyzer.Context to ArrowAssoc[Analyzer.Context] performed by method any2ArrowAssoc in scala.Predef.
     Definition Classes
       ArrowAssoc

### Shadowed Implicit Value Members

1. #### val self: Any

   Implicit information
     This member is added by an implicit conversion from Analyzer.Context to StringAdd performed by method any2stringadd in scala.Predef.
   Shadowing
     This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
     To access this member you can use a type ascription:

         (context: StringAdd).self

   Definition Classes
     StringAdd

2. #### val self: Any

   Implicit information
     This member is added by an implicit conversion from Analyzer.Context to StringFormat performed by method any2stringfmt in scala.Predef.
   Shadowing
     This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
     To access this member you can use a type ascription:

         (context: StringFormat).self

   Definition Classes
     StringFormat

### Deprecated Value Members

1. #### def x: Analyzer.Context

   Implicit information
     This member is added by an implicit conversion from Analyzer.Context to ArrowAssoc[Analyzer.Context] performed by method any2ArrowAssoc in scala.Predef.
   Shadowing
     This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
     To access this member you can use a type ascription:

         (context: ArrowAssoc[Analyzer.Context]).x

   Definition Classes
     ArrowAssoc
   Annotations
     @deprecated
   Deprecated

     (Since version 2.10.0) Use `leftOfArrow`instead``

2. #### def x: Analyzer.Context

   Implicit information
     This member is added by an implicit conversion from Analyzer.Context to Ensuring[Analyzer.Context] performed by method any2Ensuring in scala.Predef.
   Shadowing
     This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
     To access this member you can use a type ascription:

         (context: Ensuring[Analyzer.Context]).x

   Definition Classes
     Ensuring
   Annotations
     @deprecated
   Deprecated

     (Since version 2.10.0) Use `resultOfEnsuring`instead``

### Inherited from AnyRef

### Inherited from Any

### Inherited by implicit conversion any2stringadd from Analyzer.Context to StringAdd

### Inherited by implicit conversion any2stringfmt from Analyzer.Context to StringFormat

### Inherited by implicit conversion any2ArrowAssoc from Analyzer.Context to ArrowAssoc[Analyzer.Context]

### Inherited by implicit conversion any2Ensuring from Analyzer.Context to Ensuring[Analyzer.Context]

### Ungrouped