scala.tools.nsc.typechecker.Contexts

Context

class Context extends AnyRef

Source
Contexts.scala
Linear Supertypes
AnyRef, Any
Known Subclasses
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()
  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[(Global.Type, Global.Tree)]

  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 Implict 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