scala.tools.nsc.typechecker.ScalahostAnalyzer

ScalahostTyper

Related Doc: package ScalahostAnalyzer

class ScalahostTyper extends Typer

Linear Supertypes
ScalahostAnalyzer.Typer, ScalahostAnalyzer.TyperContextErrors, ScalahostAnalyzer.PatternTyper, ScalahostAnalyzer.Tag, ScalahostAnalyzer.Adaptation, ScalahostAnalyzer.TyperDiagnostics, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ScalahostTyper
  2. Typer
  3. TyperContextErrors
  4. PatternTyper
  5. Tag
  6. Adaptation
  7. TyperDiagnostics
  8. AnyRef
  9. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ScalahostTyper(context0: ScalahostAnalyzer.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. object TyperErrorGen

    Definition Classes
    TyperContextErrors

  5. def adapt(tree: Global.Tree, mode: reflect.internal.Mode, pt: Global.Type, original: Global.Tree = EmptyTree): Global.Tree

    Attributes
    protected
    Definition Classes
    ScalahostTyper → Typer

  6. def adaptAfterOverloadResolution(tree: Global.Tree, mode: Mode, pt: Global.Type, original: Global.Tree): Global.Tree

    Definition Classes
    Typer

  7. def adaptCase(cdef: Global.CaseDef, mode: Mode, tpe: Global.Type): Global.CaseDef

    Definition Classes
    Typer

  8. def adaptToArguments(qual: Global.Tree, name: Global.Name, args: List[Global.Tree], pt: Global.Type, reportAmbiguous: Boolean, saveErrors: Boolean): Global.Tree

    Definition Classes
    Typer

  9. def adaptToMember(qual: Global.Tree, searchTemplate: Global.Type, reportAmbiguous: Boolean, saveErrors: Boolean): Global.Tree

    Definition Classes
    Typer

  10. def adaptToMemberWithArgs(tree: Global.Tree, qual: Global.Tree, name: Global.Name, mode: Mode, reportAmbiguous: Boolean, saveErrors: Boolean): Global.Tree

    Definition Classes
    Typer

  11. def adaptToName(qual: Global.Tree, name: Global.Name): Global.Tree

    Definition Classes
    Typer

  12. def applyImplicitArgs(fun: Global.Tree): Global.Tree

    Definition Classes
    Typer

  13. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  14. def atOwner(tree: Global.Tree, owner: Global.Symbol): ScalahostAnalyzer.Typer

    Definition Classes
    Typer

  15. def atOwner(owner: Global.Symbol): ScalahostAnalyzer.Typer

    Definition Classes
    Typer

  16. def callToCompanionConstr(context: ScalahostAnalyzer.Context, calledFun: Global.Symbol): Boolean

    Definition Classes
    Typer

  17. def canAdaptConstantTypeToLiteral: Boolean

    Definition Classes
    Typer

  18. def canTranslateEmptyListToNil: Boolean

    Definition Classes
    Typer

  19. def checkClassType(tpt: Global.Tree): Boolean

    Definition Classes
    Typer

  20. object checkDead

    Definition Classes
    TyperDiagnostics

  21. def checkExistentialsFeature(pos: Global.Position, tpe: Global.Type, prefix: String): AnyVal

    Definition Classes
    Typer

  22. def checkFeature(pos: Global.Position, featureTrait: Global.Symbol, construct: ⇒ String, immediate: Boolean): Boolean

    Definition Classes
    Typer

  23. def checkFinitary(classinfo: Global.ClassInfoType): Unit

    Definition Classes
    Typer

  24. def checkMethodStructuralCompatible(ddef: Global.DefDef): Unit

    Definition Classes
    Typer

  25. object checkNoEscaping extends Global.TypeMap

    Definition Classes
    Typer

  26. def checkNonCyclic(defn: Global.Tree, tpt: Global.Tree): Unit

    Definition Classes
    Typer

  27. def checkNonCyclic(sym: Global.Symbol): Unit

    Definition Classes
    Typer

  28. def checkNonCyclic(pos: Global.Position, tp: Global.Type, lockedSym: Global.Symbol): Boolean

    Definition Classes
    Typer

  29. def checkNonCyclic(pos: Global.Position, tp: Global.Type): Boolean

    Definition Classes
    Typer

  30. def checkParamsConvertible(tree: Global.Tree, tpe0: Global.Type): Unit

    Definition Classes
    Typer

  31. def checkStablePrefixClassType(tpt: Global.Tree): Boolean

    Definition Classes
    Typer

  32. def checkValidAdaptation(t: Global.Tree, args: List[Global.Tree]): Boolean

    Definition Classes
    Adaptation

  33. def clone(): AnyRef

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

  34. def computeMacroDefType(ddef: Global.DefDef, pt: Global.Type): Global.Type

    Definition Classes
    Typer

  35. def computeParamAliases(clazz: Global.Symbol, vparamss: List[List[Global.ValDef]], rhs: Global.Tree): Unit

    Definition Classes
    Typer

  36. def computeType(tree: Global.Tree, pt: Global.Type): Global.Type

    Definition Classes
    Typer

  37. final def constrTyperIf(inConstr: Boolean): ScalahostAnalyzer.Typer

    Definition Classes
    Typer

  38. var context: ScalahostAnalyzer.Context

    Definition Classes
    Typer

  39. def context1: ScalahostAnalyzer.Context

    Definition Classes
    Typer

  40. def cyclicReferenceMessage(sym: Global.Symbol, tree: Global.Tree): Option[String]

    Definition Classes
    TyperDiagnostics

  41. def doTypedApply(tree: Global.Tree, fun0: Global.Tree, args: List[Global.Tree], mode: reflect.internal.Mode, pt: Global.Type): Global.Tree

    Definition Classes
    ScalahostTyper → Typer

  42. def doTypedUnapply(tree: Global.Tree, fun0: Global.Tree, fun: Global.Tree, args: List[Global.Tree], mode: Mode, pt: Global.Type): Global.Tree

    Definition Classes
    PatternTyper

  43. def dropExistential(tp: Global.Type): Global.Type

    Definition Classes
    Typer

  44. object dyna

    Definition Classes
    Typer

  45. def enterSym(txt: ScalahostAnalyzer.Context, tree: Global.Tree): ScalahostAnalyzer.Context

    Attributes
    protected
    Definition Classes
    Typer

  46. def enterSyms(txt: ScalahostAnalyzer.Context, trees: List[Global.Tree]): Unit

    Attributes
    protected
    Definition Classes
    Typer

  47. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  48. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  49. def extractorForUncheckedType(pos: Global.Position, pt: Global.Type): Global.Tree

    Definition Classes
    PatternTyper

  50. def finalize(): Unit

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

  51. def finishMethodSynthesis(templ: Global.Template, clazz: Global.Symbol, context: ScalahostAnalyzer.Context): Global.Template

    Attributes
    protected
    Definition Classes
    Typer

  52. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  53. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  54. val infer: ScalahostAnalyzer.Inferencer

    Definition Classes
    Typer

  55. def inferView(tree: Global.Tree, from: Global.Type, to: Global.Type, reportAmbiguous: Boolean, saveErrors: Boolean): Global.Tree

    Definition Classes
    Typer

  56. def inferView(tree: Global.Tree, from: Global.Type, to: Global.Type, reportAmbiguous: Boolean): Global.Tree

    Definition Classes
    Typer

  57. def instantiate(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree

    Definition Classes
    Typer

  58. def instantiateExpectingUnit(tree: Global.Tree, mode: Mode): Global.Tree

    Definition Classes
    Typer

  59. def instantiatePossiblyExpectingUnit(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree

    Definition Classes
    Typer

  60. def isCapturedExistential(sym: Global.Symbol): Boolean

    Definition Classes
    Typer

  61. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  62. def isNamedApplyBlock(tree: Global.Tree): Boolean

    Definition Classes
    Typer

  63. def isReferencedFrom(ctx: ScalahostAnalyzer.Context, sym: Global.Symbol): Boolean

    Definition Classes
    Typer

  64. def isStale(sym: Global.Symbol): Boolean

    Definition Classes
    Typer

  65. def labelTyper(ldef: Global.LabelDef): ScalahostAnalyzer.Typer

    Definition Classes
    Typer

  66. def macroImplementationNotFoundMessage(name: Global.Name): String

    Attributes
    protected
    Definition Classes
    TyperContextErrors

  67. def member(qual: Global.Tree, name: Global.Name): Global.Symbol

    Definition Classes
    Typer

  68. def missingSelectErrorTree(tree: Global.Tree, qual: Global.Tree, name: Global.Name): Global.Tree

    Definition Classes
    Typer

  69. def namer: ScalahostAnalyzer.Namer

    Definition Classes
    Typer

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

    Definition Classes
    AnyRef

  71. def needsInstantiation(tparams: List[Global.Symbol], formals: List[Global.Type], args: List[Global.Tree]): Boolean

    Definition Classes
    Typer

  72. final def notify(): Unit

    Definition Classes
    AnyRef

  73. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  74. def packCaptured(tpe: Global.Type): Global.Type

    Definition Classes
    Typer

  75. def packSymbols(hidden: List[Global.Symbol], tp: Global.Type): Global.Type

    Definition Classes
    Typer

  76. def packedType(tree: Global.Tree, owner: Global.Symbol): Global.Type

    Definition Classes
    Typer

  77. def packedTypes(trees: List[Global.Tree]): List[Global.Type]

    Definition Classes
    Typer

  78. def permanentlyHiddenWarning(pos: Global.Position, hidden: Global.Name, defn: Global.Symbol): Unit

    Definition Classes
    TyperDiagnostics

  79. def qualifyingClass(tree: Global.Tree, qual: Global.Name, packageOK: Boolean): Global.Symbol

    Definition Classes
    Typer

  80. def reallyExists(sym: Global.Symbol): Boolean

    Definition Classes
    Typer

  81. def reenterTypeParams(tparams: List[Global.TypeDef]): List[Global.Symbol]

    Definition Classes
    Typer

  82. def reenterValueParams(vparamss: List[List[Global.ValDef]]): Unit

    Definition Classes
    Typer

  83. def reportTypeError(context0: ScalahostAnalyzer.Context, pos: Global.Position, ex: Global.TypeError): Unit

    Definition Classes
    TyperDiagnostics

  84. def resolveClassTag(pos: Global.Position, tp: Global.Type, allowMaterialization: Boolean): Global.Tree

    Definition Classes
    Tag

  85. def resolveTypeTag(pos: Global.Position, pre: Global.Type, tp: Global.Type, concrete: Boolean, allowMaterialization: Boolean): Global.Tree

    Definition Classes
    Tag

  86. def rewrappingWrapperTrees(f: (Global.Tree) ⇒ List[Global.Tree]): (Global.Tree) ⇒ List[Global.Tree]

    Definition Classes
    Typer

  87. val runDefinitions: reflect.internal.Definitions.definitions.RunDefinitions

    Definition Classes
    Typer

  88. def samToFunctionType(tp: Global.Type, sam: Global.Symbol): Global.Type

    Definition Classes
    Typer

  89. def silent[T](op: (ScalahostAnalyzer.Typer) ⇒ T, reportAmbiguousErrors: Boolean, newtree: Global.Tree): ScalahostAnalyzer.SilentResult[T]

    Definition Classes
    Typer

  90. def stabilize(tree: Global.Tree, pre: Global.Type, mode: Mode, pt: Global.Type): Global.Tree

    Attributes
    protected
    Definition Classes
    Typer

  91. def stabilizeFun(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree

    Definition Classes
    Typer

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

    Definition Classes
    AnyRef

  93. def synthesizePartialFunction(paramName: Global.TermName, paramPos: Global.Position, paramSynthetic: Boolean, tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree

    Definition Classes
    Typer

  94. def synthesizeSAMFunction(sam: Global.Symbol, fun: Global.Function, resPt: Global.Type, samClassTp: Global.Type, mode: Mode): Global.Tree

    Definition Classes
    Typer

  95. def toString(): String

    Definition Classes
    AnyRef → Any

  96. def transformedOr(tree: Global.Tree, op: ⇒ Global.Tree): Global.Tree

    Definition Classes
    Typer

  97. def transformedOrTyped(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree

    Definition Classes
    Typer

  98. def typed(tree: Global.Tree, mode: Mode): Global.Tree

    Definition Classes
    Typer

  99. def typed(tree: Global.Tree, pt: Global.Type): Global.Tree

    Definition Classes
    Typer

  100. def typed(tree: Global.Tree): Global.Tree

    Definition Classes
    Typer

  101. def typed(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree

    Definition Classes
    Typer

  102. def typed1(tree: Global.Tree, mode: reflect.internal.Mode, pt: Global.Type): Global.Tree

    Definition Classes
    ScalahostTyper → Typer

  103. def typedAnnotation(ann: Global.Tree, mode: reflect.internal.Mode = EXPRmode): Global.AnnotationInfo

    Definition Classes
    ScalahostTyper → Typer

  104. def typedArg(arg: Global.Tree, mode: Mode, newmode: Mode, pt: Global.Type): Global.Tree

    Definition Classes
    Typer

  105. def typedArgs(args: List[Global.Tree], mode: Mode): collection.immutable.List[Global.Tree]

    Definition Classes
    Typer

  106. def typedArgsForFormals(args: List[Global.Tree], formals: List[Global.Type], mode: Mode): List[Global.Tree]

    Definition Classes
    PatternTyper

  107. def typedBlock(block0: Global.Block, mode: Mode, pt: Global.Type): Global.Block

    Definition Classes
    Typer

  108. def typedByValueExpr(tree: Global.Tree, pt: Global.Type): Global.Tree

    Definition Classes
    Typer

  109. def typedCase(cdef: Global.CaseDef, pattpe: Global.Type, pt: Global.Type): Global.CaseDef

    Definition Classes
    Typer

  110. def typedCases(cases: List[Global.CaseDef], pattp: Global.Type, pt: Global.Type): List[Global.CaseDef]

    Definition Classes
    Typer

  111. def typedClassDef(cdef: Global.ClassDef): Global.Tree

    Definition Classes
    Typer

  112. def typedClassOf(tree: Global.Tree, tpt: Global.Tree, noGen: Boolean): Global.Tree

    Definition Classes
    Typer

  113. def typedConstructorPattern(fun0: Global.Tree, pt: Global.Type): Global.Tree

    Definition Classes
    PatternTyper

  114. def typedDefDef(ddef: Global.DefDef): Global.DefDef

    Definition Classes
    Typer

  115. def typedDocDef(docDef: Global.DocDef, mode: Mode, pt: Global.Type): Global.Tree

    Definition Classes
    Typer

  116. def typedExistentialTypeTree(tree: Global.ExistentialTypeTree, mode: reflect.internal.Mode): Global.Tree

    Attributes
    protected
    Definition Classes
    ScalahostTyper → Typer

  117. def typedHigherKindedType(tree: Global.Tree, mode: Mode): Global.Tree

    Definition Classes
    Typer

  118. def typedHigherKindedType(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree

    Definition Classes
    Typer

  119. def typedImport(imp: Global.Import): Global.Import

    Definition Classes
    Typer

  120. def typedInPattern(tree: Global.Typed, mode: Mode, pt: Global.Type): Global.Tree

    Attributes
    protected
    Definition Classes
    PatternTyper

  121. def typedLabelDef(ldef: Global.LabelDef): Global.LabelDef

    Definition Classes
    Typer

  122. def typedMatch(selector: Global.Tree, cases: List[Global.CaseDef], mode: Mode, pt: Global.Type, tree: Global.Tree): Global.Match

    Definition Classes
    Typer

  123. def typedModifiers(mods: Global.Modifiers): Global.Modifiers

    Definition Classes
    Typer

  124. def typedModuleDef(mdef: Global.ModuleDef): Global.Tree

    Definition Classes
    Typer

  125. def typedOperator(tree: Global.Tree): Global.Tree

    Definition Classes
    Typer

  126. def typedParentTypes(templ: Global.Template): List[Global.Tree]

    Definition Classes
    ScalahostTyper → Typer

  127. def typedPattern(tree: Global.Tree, pt: Global.Type): Global.Tree

    Definition Classes
    Typer

  128. def typedPos(pos: Global.Position)(tree: Global.Tree): Global.Tree

    Definition Classes
    Typer

  129. def typedPos(pos: Global.Position, mode: Mode, pt: Global.Type)(tree: Global.Tree): Global.Tree

    Definition Classes
    Typer

  130. def typedQualifier(tree: Global.Tree): Global.Tree

    Definition Classes
    Typer

  131. def typedQualifier(tree: Global.Tree, mode: Mode): Global.Tree

    Definition Classes
    Typer

  132. def typedQualifier(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree

    Definition Classes
    Typer

  133. def typedRefinement(templ: Global.Template): Unit

    Definition Classes
    Typer

  134. def typedStarInPattern(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree

    Attributes
    protected
    Definition Classes
    PatternTyper

  135. def typedStats(stats: List[Global.Tree], exprOwner: Global.Symbol): List[Global.Tree]

    Definition Classes
    Typer

  136. def typedTemplate(templ0: Global.Template, parents1: List[Global.Tree]): Global.Template

    Definition Classes
    ScalahostTyper → Typer

  137. def typedType(tree: Global.Tree): Global.Tree

    Definition Classes
    Typer

  138. def typedType(tree: Global.Tree, mode: Mode): Global.Tree

    Definition Classes
    Typer

  139. def typedTypeApply(tree: Global.Tree, mode: reflect.internal.Mode, fun: Global.Tree, args: List[Global.Tree]): Global.Tree

    Attributes
    protected
    Definition Classes
    ScalahostTyper → Typer

  140. def typedTypeConstructor(tree: Global.Tree): Global.Tree

    Definition Classes
    Typer

  141. def typedTypeConstructor(tree: Global.Tree, mode: Mode): Global.Tree

    Definition Classes
    Typer

  142. def typedTypeDef(tdef: Global.TypeDef): Global.TypeDef

    Definition Classes
    Typer

  143. def typedValDef(vdef: Global.ValDef): Global.ValDef

    Definition Classes
    Typer

  144. final def typerWithCondLocalContext[T](c: ⇒ ScalahostAnalyzer.Context)(cond: Boolean)(f: (ScalahostAnalyzer.Typer) ⇒ T): T

    Definition Classes
    Typer
    Annotations
    @inline()

  145. final def typerWithLocalContext[T](c: ScalahostAnalyzer.Context)(f: (ScalahostAnalyzer.Typer) ⇒ T): T

    Definition Classes
    Typer
    Annotations
    @inline()

  146. def validateParentClasses(parents: List[Global.Tree], selfType: Global.Type): Unit

    Definition Classes
    Typer

  147. def viewExists(from: Global.Type, to: Global.Type): Boolean

    Definition Classes
    Typer

  148. def virtualizedMatch(match_: Global.Match, mode: Mode, pt: Global.Type): Global.Tree

    Definition Classes
    Typer

  149. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  151. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  152. def warnTypeParameterShadow(tparams: List[Global.TypeDef], sym: Global.Symbol): Unit

    Definition Classes
    TyperDiagnostics

  153. final def withCondConstrTyper[T](inConstr: Boolean)(f: (ScalahostAnalyzer.Typer) ⇒ T): T

    Definition Classes
    Typer
    Annotations
    @inline()

  154. def wrapClassTagUnapply(uncheckedPattern: Global.Tree, classTagExtractor: Global.Tree, pt: Global.Type): Global.Tree

    Definition Classes
    PatternTyper

Inherited from ScalahostAnalyzer.Typer

Inherited from ScalahostAnalyzer.TyperContextErrors

Inherited from ScalahostAnalyzer.PatternTyper

Inherited from ScalahostAnalyzer.Tag

Inherited from ScalahostAnalyzer.Adaptation

Inherited from ScalahostAnalyzer.TyperDiagnostics

Inherited from AnyRef

Inherited from Any

Ungrouped