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 StringAdd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  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[Analyzer.Context] performed by method StringAdd 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 ArrowAssoc 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 enclosingCaseDef: Analyzer.Context

  21. def enclosingContextChain: List[Analyzer.Context]

  22. 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.

  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 Ensuring 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 Ensuring 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 Ensuring 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 Ensuring 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[Analyzer.Context] performed by method StringFormat 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. def importedAccessibleSymbol(imp: Analyzer.ImportInfo, name: Global.Name): Global.Symbol

    The symbol with name name imported via the import in imp, if any such symbol is accessible from this context.

  46. var imports: List[Analyzer.ImportInfo]

  47. var inConstructorSuffix: Boolean

  48. var inSelfSuperCall: Boolean

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

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

  50. def isInPackageObject(sym: Global.Symbol, pkg: Global.Symbol): Boolean

    Is sym defined in package object of package pkg? Since sym may be defined in some parent of the package object, we cannot inspect its owner only; we have to go through the info of the package object.

    Is sym defined in package object of package pkg? Since sym may be defined in some parent of the package object, we cannot inspect its owner only; we have to go through the info of the package object. However to avoid cycles we'll check what other ways we can before pushing that way.

  51. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  52. def isLocal(): Boolean

  53. def isNameInScope(name: Global.Name): Boolean

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

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

  55. def issue(err: Analyzer.AbsTypeError): Unit

  56. def issueAmbiguousError(err: Analyzer.AbsTypeError): Unit

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

  58. 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

  59. 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.

  60. var macrosEnabled: Boolean

  61. def make(tree: Global.Tree): Analyzer.Context

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

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

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

  65. 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.

  66. def makeImplicit(reportAmbiguousErrors: Boolean): Analyzer.Context

  67. def makeNewImport(imp: Global.Import): Analyzer.Context

  68. def makeNewImport(sym: Global.Symbol): Analyzer.Context

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

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

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

  72. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  73. def nextEnclosing(p: (Analyzer.Context) ⇒ Boolean): Analyzer.Context

  74. final def notify(): Unit

    Definition Classes
    AnyRef
  75. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  76. var openImplicits: List[(Global.Type, Global.Tree)]

  77. var outer: Analyzer.Context

  78. var owner: Global.Symbol

  79. var prefix: Global.Type

  80. def pushTypeBounds(sym: Global.Symbol): Unit

  81. def reportErrors: Boolean

  82. def resetCache(): Unit

  83. def restoreState(state0: Int): Unit

  84. def restoreTypeBounds(tp: Global.Type): Global.Type

  85. var returnsSeen: Boolean

  86. var retyping: Boolean

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

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

    Annotations
    @inline()
  89. var scope: Global.Scope

  90. def setAmbiguousErrors(report: Boolean): Unit

  91. def setBufferErrors(): Unit

  92. def setReportErrors(): Unit

  93. def setThrowErrors(): Unit

  94. def state: Int

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

    Definition Classes
    AnyRef
  96. def throwErrors: Boolean

  97. def toString(): String

    Definition Classes
    Context → AnyRef → Any
  98. var tree: Global.Tree

  99. def typingIndent: String

  100. var typingIndentLevel: Int

  101. def undetparams: List[Global.Symbol]

  102. def undetparamsString: String

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

  104. var unit: Global.CompilationUnit

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

  106. var variance: Variance

  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
    @throws()
  110. def warning(pos: Global.Position, msg: String, force: Boolean): Unit

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

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

  113. def withImplicitsDisabled[T](op: ⇒ T): T

  114. def withImplicitsDisabledAllowEnrichment[T](op: ⇒ T): T

  115. def withImplicitsEnabled[T](op: ⇒ T): T

  116. def withMacrosDisabled[T](op: ⇒ T): T

  117. def withMacrosEnabled[T](op: ⇒ T): T

  118. 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 ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion StringAdd from Analyzer.Context to StringAdd[Analyzer.Context]

Inherited by implicit conversion StringFormat from Analyzer.Context to StringFormat[Analyzer.Context]

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

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

Ungrouped