Class

scala.tools.nsc.typechecker.ScalahostAnalyzer

ScalahostTyper

Related Doc: package ScalahostAnalyzer

Permalink

class ScalahostTyper extends Typer

Linear Supertypes
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
Implicitly
  1. by XtensionClassifiable
  2. by XtensionTokenizeInputLike
  3. by XtensionStructure
  4. by XtensionSyntax
  5. by XtensionShow
  6. by XtensionParseInputLike
  7. by any2stringadd
  8. by StringFormat
  9. by Ensuring
  10. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ScalahostTyper(context0: ScalahostAnalyzer.Context)

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. def +(other: String): String

    Permalink
    Implicit information
    This member is added by an implicit conversion from ScalahostTyper to any2stringadd[ScalahostTyper] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  4. def ->[B](y: B): (ScalahostTyper, B)

    Permalink
    Implicit information
    This member is added by an implicit conversion from ScalahostTyper to ArrowAssoc[ScalahostTyper] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  5. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  6. object TyperErrorGen

    Permalink
    Definition Classes
    TyperContextErrors
  7. def adapt(tree: Global.Tree, mode: Mode, pt: Global.Type, original: Global.Tree = EmptyTree): Global.Tree

    Permalink

    Perform the following adaptations of expression, pattern or type tree wrt to given mode mode and given prototype pt: (-1) For expressions with annotated types, let AnnotationCheckers decide what to do (0) Convert expressions with constant types to literals (unless in interactive/scaladoc mode) (1) Resolve overloading, unless mode contains FUNmode (2) Apply parameterless functions (3) Apply polymorphic types to fresh instances of their type parameters and store these instances in context.undetparams, unless followed by explicit type application.

    Perform the following adaptations of expression, pattern or type tree wrt to given mode mode and given prototype pt: (-1) For expressions with annotated types, let AnnotationCheckers decide what to do (0) Convert expressions with constant types to literals (unless in interactive/scaladoc mode) (1) Resolve overloading, unless mode contains FUNmode (2) Apply parameterless functions (3) Apply polymorphic types to fresh instances of their type parameters and store these instances in context.undetparams, unless followed by explicit type application. (4) Do the following to unapplied methods used as values: (4.1) If the method has only implicit parameters pass implicit arguments (4.2) otherwise, if pt is a function type and method is not a constructor, convert to function by eta-expansion, (4.3) otherwise, if the method is nullary with a result type compatible to pt and it is not a constructor, apply it to () otherwise issue an error (5) Convert constructors in a pattern as follows: (5.1) If constructor refers to a case class factory, set tree's type to the unique instance of its primary constructor that is a subtype of the expected type. (5.2) If constructor refers to an extractor, convert to application of unapply or unapplySeq method.

    (6) Convert all other types to TypeTree nodes. (7) When in TYPEmode but not FUNmode or HKmode, check that types are fully parameterized (7.1) In HKmode, higher-kinded types are allowed, but they must have the expected kind-arity (8) When in both EXPRmode and FUNmode, add apply method calls to values of object type. (9) If there are undetermined type variables and not POLYmode, infer expression instance Then, if tree's type is not a subtype of expected type, try the following adaptations: (10) If the expected type is Byte, Short or Char, and the expression is an integer fitting in the range of that type, convert it to that type. (11) Widen numeric literals to their expected type, if necessary (12) When in mode EXPRmode, convert E to { E; () } if expected type is scala.Unit. (13) When in mode EXPRmode, apply AnnotationChecker conversion if expected type is annotated. (14) When in mode EXPRmode, apply a view If all this fails, error

    Attributes
    protected
    Definition Classes
    ScalahostTyper → Typer
  8. def adaptAfterOverloadResolution(tree: Global.Tree, mode: Mode, pt: Global.Type, original: Global.Tree): Global.Tree

    Permalink
    Definition Classes
    Typer
  9. def adaptCase(cdef: Global.CaseDef, mode: Mode, tpe: Global.Type): Global.CaseDef

    Permalink
    Definition Classes
    Typer
  10. def adaptToArguments(qual: Global.Tree, name: Global.Name, args: List[Global.Tree], pt: Global.Type, reportAmbiguous: Boolean, saveErrors: Boolean): Global.Tree

    Permalink
    Definition Classes
    Typer
  11. def adaptToMember(qual: Global.Tree, searchTemplate: Global.Type, reportAmbiguous: Boolean, saveErrors: Boolean): Global.Tree

    Permalink
    Definition Classes
    Typer
  12. def adaptToMemberWithArgs(tree: Global.Tree, qual: Global.Tree, name: Global.Name, mode: Mode, reportAmbiguous: Boolean, saveErrors: Boolean): Global.Tree

    Permalink
    Definition Classes
    Typer
  13. def adaptToName(qual: Global.Tree, name: Global.Name): Global.Tree

    Permalink
    Definition Classes
    Typer
  14. def applyImplicitArgs(fun: Global.Tree): Global.Tree

    Permalink
    Definition Classes
    Typer
  15. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  16. def atOwner(tree: Global.Tree, owner: Global.Symbol): ScalahostAnalyzer.Typer

    Permalink
    Definition Classes
    Typer
  17. def atOwner(owner: Global.Symbol): ScalahostAnalyzer.Typer

    Permalink
    Definition Classes
    Typer
  18. def callToCompanionConstr(context: ScalahostAnalyzer.Context, calledFun: Global.Symbol): Boolean

    Permalink
    Definition Classes
    Typer
  19. def canAdaptConstantTypeToLiteral: Boolean

    Permalink
    Definition Classes
    Typer
  20. def canTranslateEmptyListToNil: Boolean

    Permalink
    Definition Classes
    ScalahostTyper → Typer
  21. def checkClassType(tpt: Global.Tree): Boolean

    Permalink
    Definition Classes
    Typer
  22. object checkDead

    Permalink
    Definition Classes
    TyperDiagnostics
  23. def checkExistentialsFeature(pos: Global.Position, tpe: Global.Type, prefix: String): AnyVal

    Permalink
    Definition Classes
    Typer
  24. def checkFeature(pos: Global.Position, featureTrait: Global.Symbol, construct: ⇒ String, immediate: Boolean): Boolean

    Permalink
    Definition Classes
    Typer
  25. def checkFinitary(classinfo: Global.ClassInfoType): Unit

    Permalink
    Definition Classes
    Typer
  26. def checkMethodStructuralCompatible(ddef: Global.DefDef): Unit

    Permalink
    Definition Classes
    Typer
  27. def checkNonCyclic(defn: Global.Tree, tpt: Global.Tree): Unit

    Permalink
    Definition Classes
    Typer
  28. def checkNonCyclic(sym: Global.Symbol): Unit

    Permalink
    Definition Classes
    Typer
  29. def checkNonCyclic(pos: Global.Position, tp: Global.Type, lockedSym: Global.Symbol): Boolean

    Permalink
    Definition Classes
    Typer
  30. def checkNonCyclic(pos: Global.Position, tp: Global.Type): Boolean

    Permalink
    Definition Classes
    Typer
  31. def checkParamsConvertible(tree: Global.Tree, tpe0: Global.Type): Unit

    Permalink
    Definition Classes
    Typer
  32. def checkStablePrefixClassType(tpt: Global.Tree): Boolean

    Permalink
    Definition Classes
    Typer
  33. def checkValidAdaptation(t: Global.Tree, args: List[Global.Tree]): Boolean

    Permalink
    Definition Classes
    Adaptation
  34. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  35. def computeMacroDefType(ddef: Global.DefDef, pt: Global.Type): Global.Type

    Permalink
    Definition Classes
    Typer
  36. def computeParamAliases(clazz: Global.Symbol, vparamss: List[List[Global.ValDef]], rhs: Global.Tree): Unit

    Permalink
    Definition Classes
    Typer
  37. def computeType(tree: Global.Tree, pt: Global.Type): Global.Type

    Permalink
    Definition Classes
    Typer
  38. final def constrTyperIf(inConstr: Boolean): ScalahostAnalyzer.Typer

    Permalink
    Definition Classes
    Typer
  39. var context: ScalahostAnalyzer.Context

    Permalink
    Definition Classes
    Typer
  40. def context1: ScalahostAnalyzer.Context

    Permalink
    Definition Classes
    Typer
  41. def cyclicReferenceMessage(sym: Global.Symbol, tree: Global.Tree): Option[String]

    Permalink
    Definition Classes
    TyperDiagnostics
  42. def doTypedApply(tree: Global.Tree, fun0: Global.Tree, args: List[Global.Tree], mode: Mode, pt: Global.Type): Global.Tree

    Permalink
    Definition Classes
    Typer
  43. def doTypedUnapply(tree: Global.Tree, fun0: Global.Tree, fun: Global.Tree, args: List[Global.Tree], mode: Mode, pt: Global.Type): Global.Tree

    Permalink
    Definition Classes
    PatternTyper
  44. def dropExistential(tp: Global.Type): Global.Type

    Permalink
    Definition Classes
    Typer
  45. object dyna

    Permalink
    Definition Classes
    Typer
  46. def ensuring(cond: (ScalahostTyper) ⇒ Boolean, msg: ⇒ Any): ScalahostTyper

    Permalink
    Implicit information
    This member is added by an implicit conversion from ScalahostTyper to Ensuring[ScalahostTyper] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  47. def ensuring(cond: (ScalahostTyper) ⇒ Boolean): ScalahostTyper

    Permalink
    Implicit information
    This member is added by an implicit conversion from ScalahostTyper to Ensuring[ScalahostTyper] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  48. def ensuring(cond: Boolean, msg: ⇒ Any): ScalahostTyper

    Permalink
    Implicit information
    This member is added by an implicit conversion from ScalahostTyper to Ensuring[ScalahostTyper] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  49. def ensuring(cond: Boolean): ScalahostTyper

    Permalink
    Implicit information
    This member is added by an implicit conversion from ScalahostTyper to Ensuring[ScalahostTyper] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  50. def enterSym(txt: ScalahostAnalyzer.Context, tree: Global.Tree): ScalahostAnalyzer.Context

    Permalink
    Attributes
    protected
    Definition Classes
    Typer
  51. def enterSyms(txt: ScalahostAnalyzer.Context, trees: List[Global.Tree]): Unit

    Permalink
    Attributes
    protected
    Definition Classes
    Typer
  52. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  53. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  54. def extractorForUncheckedType(pos: Global.Position, pt: Global.Type): Global.Tree

    Permalink
    Definition Classes
    PatternTyper
  55. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  56. def finishMethodSynthesis(templ: Global.Template, clazz: Global.Symbol, context: ScalahostAnalyzer.Context): Global.Template

    Permalink
    Attributes
    protected
    Definition Classes
    Typer
  57. def formatted(fmtstr: String): String

    Permalink
    Implicit information
    This member is added by an implicit conversion from ScalahostTyper to StringFormat[ScalahostTyper] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  58. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  59. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  60. val infer: ScalahostAnalyzer.Inferencer

    Permalink
    Definition Classes
    Typer
  61. def inferView(tree: Global.Tree, from: Global.Type, to: Global.Type, reportAmbiguous: Boolean, saveErrors: Boolean): Global.Tree

    Permalink
    Definition Classes
    Typer
  62. def inferView(tree: Global.Tree, from: Global.Type, to: Global.Type, reportAmbiguous: Boolean): Global.Tree

    Permalink
    Definition Classes
    Typer
  63. def instantiate(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree

    Permalink
    Definition Classes
    Typer
  64. def instantiateExpectingUnit(tree: Global.Tree, mode: Mode): Global.Tree

    Permalink
    Definition Classes
    Typer
  65. def instantiatePossiblyExpectingUnit(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree

    Permalink
    Definition Classes
    Typer
  66. def is[U](implicit classifier: Classifier[ScalahostTyper, U]): Boolean

    Permalink
    Implicit information
    This member is added by an implicit conversion from ScalahostTyper to meta.XtensionClassifiable[ScalahostTyper] performed by method XtensionClassifiable in scala.meta.classifiers.Api. This conversion will take place only if an implicit value of type Classifiable[ScalahostTyper] is in scope.
    Definition Classes
    XtensionClassifiable
  67. def isCapturedExistential(sym: Global.Symbol): Boolean

    Permalink
    Definition Classes
    Typer
  68. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  69. def isNamedApplyBlock(tree: Global.Tree): Boolean

    Permalink
    Definition Classes
    Typer
  70. def isNot[U](implicit classifier: Classifier[ScalahostTyper, U]): Boolean

    Permalink
    Implicit information
    This member is added by an implicit conversion from ScalahostTyper to meta.XtensionClassifiable[ScalahostTyper] performed by method XtensionClassifiable in scala.meta.classifiers.Api. This conversion will take place only if an implicit value of type Classifiable[ScalahostTyper] is in scope.
    Definition Classes
    XtensionClassifiable
  71. def isReferencedFrom(ctx: ScalahostAnalyzer.Context, sym: Global.Symbol): Boolean

    Permalink
    Definition Classes
    Typer
  72. def isStale(sym: Global.Symbol): Boolean

    Permalink
    Definition Classes
    Typer
  73. def labelTyper(ldef: Global.LabelDef): ScalahostAnalyzer.Typer

    Permalink
    Definition Classes
    Typer
  74. def macroImplementationNotFoundMessage(name: Global.Name): String

    Permalink
    Attributes
    protected
    Definition Classes
    TyperContextErrors
  75. def member(qual: Global.Tree, name: Global.Name): Global.Symbol

    Permalink
    Definition Classes
    Typer
  76. def missingSelectErrorTree(tree: Global.Tree, qual: Global.Tree, name: Global.Name): Global.Tree

    Permalink
    Definition Classes
    Typer
  77. def namer: ScalahostAnalyzer.Namer

    Permalink
    Definition Classes
    Typer
  78. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  79. def needsInstantiation(tparams: List[Global.Symbol], formals: List[Global.Type], args: List[Global.Tree]): Boolean

    Permalink
    Definition Classes
    Typer
  80. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  81. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  82. def packCaptured(tpe: Global.Type): Global.Type

    Permalink
    Definition Classes
    Typer
  83. def packSymbols(hidden: List[Global.Symbol], tp: Global.Type): Global.Type

    Permalink
    Definition Classes
    Typer
  84. def packedType(tree: Global.Tree, owner: Global.Symbol): Global.Type

    Permalink
    Definition Classes
    Typer
  85. def packedTypes(trees: List[Global.Tree]): List[Global.Type]

    Permalink
    Definition Classes
    Typer
  86. def parse[U](implicit convert: Convert[ScalahostTyper, Input], parse: Parse[U], dialect: Dialect): Parsed[U]

    Permalink
    Implicit information
    This member is added by an implicit conversion from ScalahostTyper to meta.XtensionParseInputLike[ScalahostTyper] performed by method XtensionParseInputLike in scala.meta.parsers.Api.
    Definition Classes
    XtensionParseInputLike
  87. def permanentlyHiddenWarning(pos: Global.Position, hidden: Global.Name, defn: Global.Symbol): Unit

    Permalink
    Definition Classes
    TyperDiagnostics
  88. def qualifyingClass(tree: Global.Tree, qual: Global.Name, packageOK: Boolean): Global.Symbol

    Permalink
    Definition Classes
    Typer
  89. def reallyExists(sym: Global.Symbol): Boolean

    Permalink
    Definition Classes
    Typer
  90. def reenterTypeParams(tparams: List[Global.TypeDef]): List[Global.Symbol]

    Permalink
    Definition Classes
    Typer
  91. def reenterValueParams(vparamss: List[List[Global.ValDef]]): Unit

    Permalink
    Definition Classes
    Typer
  92. def reportTypeError(context0: ScalahostAnalyzer.Context, pos: Global.Position, ex: Global.TypeError): Unit

    Permalink
    Definition Classes
    TyperDiagnostics
  93. def resolveClassTag(pos: Global.Position, tp: Global.Type, allowMaterialization: Boolean): Global.Tree

    Permalink
    Definition Classes
    Tag
  94. def resolveTypeTag(pos: Global.Position, pre: Global.Type, tp: Global.Type, concrete: Boolean, allowMaterialization: Boolean): Global.Tree

    Permalink
    Definition Classes
    Tag
  95. def rewrappingWrapperTrees(f: (Global.Tree) ⇒ List[Global.Tree]): (Global.Tree) ⇒ List[Global.Tree]

    Permalink
    Definition Classes
    Typer
  96. val runDefinitions: reflect.internal.Definitions.definitions.RunDefinitions

    Permalink
    Definition Classes
    Typer
  97. def samToFunctionType(tp: Global.Type, sam: Global.Symbol): Global.Type

    Permalink
    Definition Classes
    Typer
  98. def show[Style[X] <: Show[X]](implicit style: Style[ScalahostTyper]): String

    Permalink
    Implicit information
    This member is added by an implicit conversion from ScalahostTyper to meta.XtensionShow[ScalahostTyper] performed by method XtensionShow in scala.meta.prettyprinters.Api.
    Definition Classes
    XtensionShow
  99. def silent[T](op: (ScalahostAnalyzer.Typer) ⇒ T, reportAmbiguousErrors: Boolean, newtree: Global.Tree): ScalahostAnalyzer.SilentResult[T]

    Permalink
    Definition Classes
    Typer
  100. def stabilize(tree: Global.Tree, pre: Global.Type, mode: Mode, pt: Global.Type): Global.Tree

    Permalink
    Attributes
    protected
    Definition Classes
    Typer
  101. def stabilizeFun(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree

    Permalink
    Definition Classes
    Typer
  102. def structure: String

    Permalink
    Implicit information
    This member is added by an implicit conversion from ScalahostTyper to meta.XtensionStructure[ScalahostTyper] performed by method XtensionStructure in scala.meta.prettyprinters.Api. This conversion will take place only if an implicit value of type Structure[ScalahostTyper] is in scope.
    Definition Classes
    XtensionStructure
  103. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  104. def syntax: String

    Permalink
    Implicit information
    This member is added by an implicit conversion from ScalahostTyper to meta.XtensionSyntax[ScalahostTyper] performed by method XtensionSyntax in scala.meta.prettyprinters.Api. This conversion will take place only if an implicit value of type Syntax[ScalahostTyper] is in scope.
    Definition Classes
    XtensionSyntax
  105. def synthesizePartialFunction(paramName: Global.TermName, paramPos: Global.Position, paramSynthetic: Boolean, tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree

    Permalink
    Definition Classes
    Typer
  106. def synthesizeSAMFunction(sam: Global.Symbol, fun: Global.Function, resPt: Global.Type, samClassTp: Global.Type, mode: Mode): Global.Tree

    Permalink
    Definition Classes
    Typer
  107. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  108. def tokenize(implicit convert: Convert[ScalahostTyper, Input], tokenize: Tokenize, dialect: Dialect): Tokenized

    Permalink
    Implicit information
    This member is added by an implicit conversion from ScalahostTyper to meta.XtensionTokenizeInputLike[ScalahostTyper] performed by method XtensionTokenizeInputLike in scala.meta.tokenizers.Api.
    Definition Classes
    XtensionTokenizeInputLike
  109. def transformedOr(tree: Global.Tree, op: ⇒ Global.Tree): Global.Tree

    Permalink
    Definition Classes
    Typer
  110. def transformedOrTyped(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree

    Permalink
    Definition Classes
    Typer
  111. def typed(tree: Global.Tree, mode: Mode): Global.Tree

    Permalink
    Definition Classes
    Typer
  112. def typed(tree: Global.Tree, pt: Global.Type): Global.Tree

    Permalink
    Definition Classes
    Typer
  113. def typed(tree: Global.Tree): Global.Tree

    Permalink
    Definition Classes
    Typer
  114. def typed(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree

    Permalink
    Definition Classes
    Typer
  115. def typed1(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree

    Permalink
    Definition Classes
    ScalahostTyper → Typer
  116. def typedAnnotation(ann: Global.Tree, mode: Mode): Global.AnnotationInfo

    Permalink
    Definition Classes
    Typer
  117. def typedArg(arg: Global.Tree, mode: Mode, newmode: Mode, pt: Global.Type): Global.Tree

    Permalink
    Definition Classes
    Typer
  118. def typedArgs(args: List[Global.Tree], mode: Mode): collection.immutable.List[Global.Tree]

    Permalink
    Definition Classes
    Typer
  119. def typedArgsForFormals(args: List[Global.Tree], formals: List[Global.Type], mode: Mode): List[Global.Tree]

    Permalink
    Definition Classes
    PatternTyper
  120. def typedBlock(block0: Global.Block, mode: Mode, pt: Global.Type): Global.Block

    Permalink
    Definition Classes
    Typer
  121. def typedByValueExpr(tree: Global.Tree, pt: Global.Type): Global.Tree

    Permalink
    Definition Classes
    Typer
  122. def typedCase(cdef: Global.CaseDef, pattpe: Global.Type, pt: Global.Type): Global.CaseDef

    Permalink
    Definition Classes
    Typer
  123. def typedCases(cases: List[Global.CaseDef], pattp: Global.Type, pt: Global.Type): List[Global.CaseDef]

    Permalink
    Definition Classes
    Typer
  124. def typedClassDef(cdef: Global.ClassDef): Global.Tree

    Permalink
    Definition Classes
    Typer
  125. def typedClassOf(tree: Global.Tree, tpt: Global.Tree, noGen: Boolean): Global.Tree

    Permalink
    Definition Classes
    Typer
  126. def typedConstructorPattern(fun0: Global.Tree, pt: Global.Type): Global.Tree

    Permalink
    Definition Classes
    PatternTyper
  127. def typedDefDef(ddef: Global.DefDef): Global.DefDef

    Permalink
    Definition Classes
    Typer
  128. def typedDocDef(docDef: Global.DocDef, mode: Mode, pt: Global.Type): Global.Tree

    Permalink
    Definition Classes
    Typer
  129. def typedExistentialTypeTree(tree: Global.ExistentialTypeTree, mode: Mode): Global.Tree

    Permalink
    Attributes
    protected
    Definition Classes
    ScalahostTyper → Typer
  130. def typedHigherKindedType(tree: Global.Tree, mode: Mode): Global.Tree

    Permalink
    Definition Classes
    Typer
  131. def typedHigherKindedType(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree

    Permalink
    Definition Classes
    Typer
  132. def typedImport(imp: Global.Import): Global.Import

    Permalink
    Definition Classes
    Typer
  133. def typedInPattern(tree: Global.Typed, mode: Mode, pt: Global.Type): Global.Tree

    Permalink
    Attributes
    protected
    Definition Classes
    PatternTyper
  134. def typedLabelDef(ldef: Global.LabelDef): Global.LabelDef

    Permalink
    Definition Classes
    Typer
  135. def typedMatch(selector: Global.Tree, cases: List[Global.CaseDef], mode: Mode, pt: Global.Type, tree: Global.Tree): Global.Match

    Permalink
    Definition Classes
    Typer
  136. def typedModifiers(mods: Global.Modifiers): Global.Modifiers

    Permalink
    Definition Classes
    Typer
  137. def typedModuleDef(mdef: Global.ModuleDef): Global.Tree

    Permalink
    Definition Classes
    Typer
  138. def typedOperator(tree: Global.Tree): Global.Tree

    Permalink
    Definition Classes
    Typer
  139. def typedParentTypes(templ: Global.Template): List[Global.Tree]

    Permalink
    Definition Classes
    Typer
  140. def typedPattern(tree: Global.Tree, pt: Global.Type): Global.Tree

    Permalink
    Definition Classes
    Typer
  141. def typedPos(pos: Global.Position)(tree: Global.Tree): Global.Tree

    Permalink
    Definition Classes
    Typer
  142. def typedPos(pos: Global.Position, mode: Mode, pt: Global.Type)(tree: Global.Tree): Global.Tree

    Permalink
    Definition Classes
    Typer
  143. def typedQualifier(tree: Global.Tree): Global.Tree

    Permalink
    Definition Classes
    Typer
  144. def typedQualifier(tree: Global.Tree, mode: Mode): Global.Tree

    Permalink
    Definition Classes
    Typer
  145. def typedQualifier(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree

    Permalink
    Definition Classes
    Typer
  146. def typedRefinement(templ: Global.Template): Unit

    Permalink
    Definition Classes
    Typer
  147. def typedStarInPattern(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree

    Permalink
    Attributes
    protected
    Definition Classes
    PatternTyper
  148. def typedStats(stats: List[Global.Tree], exprOwner: Global.Symbol): List[Global.Tree]

    Permalink
    Definition Classes
    Typer
  149. def typedTemplate(templ0: Global.Template, parents1: List[Global.Tree]): Global.Template

    Permalink
    Definition Classes
    Typer
  150. def typedType(tree: Global.Tree): Global.Tree

    Permalink
    Definition Classes
    Typer
  151. def typedType(tree: Global.Tree, mode: Mode): Global.Tree

    Permalink
    Definition Classes
    Typer
  152. def typedTypeApply(tree: Global.Tree, mode: Mode, fun: Global.Tree, args: List[Global.Tree]): Global.Tree

    Permalink
    Attributes
    protected
    Definition Classes
    ScalahostTyper → Typer
  153. def typedTypeConstructor(tree: Global.Tree): Global.Tree

    Permalink
    Definition Classes
    Typer
  154. def typedTypeConstructor(tree: Global.Tree, mode: Mode): Global.Tree

    Permalink
    Definition Classes
    Typer
  155. def typedTypeDef(tdef: Global.TypeDef): Global.TypeDef

    Permalink
    Definition Classes
    Typer
  156. def typedValDef(vdef: Global.ValDef): Global.ValDef

    Permalink
    Definition Classes
    Typer
  157. final def typerWithCondLocalContext[T](c: ⇒ ScalahostAnalyzer.Context)(cond: Boolean)(f: (ScalahostAnalyzer.Typer) ⇒ T): T

    Permalink
    Definition Classes
    Typer
    Annotations
    @inline()
  158. final def typerWithLocalContext[T](c: ScalahostAnalyzer.Context)(f: (ScalahostAnalyzer.Typer) ⇒ T): T

    Permalink
    Definition Classes
    Typer
    Annotations
    @inline()
  159. def validateParentClasses(parents: List[Global.Tree], selfType: Global.Type): Unit

    Permalink
    Definition Classes
    Typer
  160. def viewExists(from: Global.Type, to: Global.Type): Boolean

    Permalink
    Definition Classes
    Typer
  161. def virtualizedMatch(match_: Global.Match, mode: Mode, pt: Global.Type): Global.Tree

    Permalink
    Definition Classes
    Typer
  162. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  163. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  164. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  165. def warnTypeParameterShadow(tparams: List[Global.TypeDef], sym: Global.Symbol): Unit

    Permalink
    Definition Classes
    TyperDiagnostics
  166. final def withCondConstrTyper[T](inConstr: Boolean)(f: (ScalahostAnalyzer.Typer) ⇒ T): T

    Permalink
    Definition Classes
    Typer
    Annotations
    @inline()
  167. def wrapClassTagUnapply(uncheckedPattern: Global.Tree, classTagExtractor: Global.Tree, pt: Global.Type): Global.Tree

    Permalink
    Definition Classes
    PatternTyper
  168. def [B](y: B): (ScalahostTyper, B)

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

Inherited from ScalahostAnalyzer.Typer

Inherited from ScalahostAnalyzer.Tag

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion XtensionClassifiable from ScalahostTyper to meta.XtensionClassifiable[ScalahostTyper]

Inherited by implicit conversion XtensionTokenizeInputLike from ScalahostTyper to meta.XtensionTokenizeInputLike[ScalahostTyper]

Inherited by implicit conversion XtensionStructure from ScalahostTyper to meta.XtensionStructure[ScalahostTyper]

Inherited by implicit conversion XtensionSyntax from ScalahostTyper to meta.XtensionSyntax[ScalahostTyper]

Inherited by implicit conversion XtensionShow from ScalahostTyper to meta.XtensionShow[ScalahostTyper]

Inherited by implicit conversion XtensionParseInputLike from ScalahostTyper to meta.XtensionParseInputLike[ScalahostTyper]

Inherited by implicit conversion any2stringadd from ScalahostTyper to any2stringadd[ScalahostTyper]

Inherited by implicit conversion StringFormat from ScalahostTyper to StringFormat[ScalahostTyper]

Inherited by implicit conversion Ensuring from ScalahostTyper to Ensuring[ScalahostTyper]

Inherited by implicit conversion ArrowAssoc from ScalahostTyper to ArrowAssoc[ScalahostTyper]

Ungrouped