Packages

class ParadiseTyper extends Typer

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ParadiseTyper
  2. Typer
  3. TyperContextErrors
  4. PatternTyper
  5. Tag
  6. Adaptation
  7. TyperDiagnostics
  8. AnyRef
  9. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ParadiseTyper(context0: ParadiseAnalyzer.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. def acceptsApplyDynamic(tp: Global.Type): Boolean
    Attributes
    protected
    Definition Classes
    Typer
  5. def adapt(tree: Global.Tree, mode: Mode, pt: Global.Type, original: Global.Tree): Global.Tree
    Attributes
    protected
    Definition Classes
    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): ParadiseAnalyzer.Typer
    Definition Classes
    Typer
  15. def atOwner(owner: Global.Symbol): ParadiseAnalyzer.Typer
    Definition Classes
    Typer
  16. def callToCompanionConstr(context: ParadiseAnalyzer.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. def checkExistentialsFeature(pos: Global.Position, tpe: Global.Type, prefix: String): AnyVal
    Definition Classes
    Typer
  21. def checkFeature(pos: Global.Position, featureTrait: Global.Symbol, construct: ⇒ String, immediate: Boolean): Boolean
    Definition Classes
    Typer
  22. def checkFinitary(classinfo: Global.ClassInfoType): Unit
    Definition Classes
    Typer
  23. def checkMethodStructuralCompatible(ddef: Global.DefDef): Unit
    Definition Classes
    Typer
  24. def checkNonCyclic(defn: Global.Tree, tpt: Global.Tree): Unit
    Definition Classes
    Typer
  25. def checkNonCyclic(sym: Global.Symbol): Unit
    Definition Classes
    Typer
  26. def checkNonCyclic(pos: Global.Position, tp: Global.Type, lockedSym: Global.Symbol): Boolean
    Definition Classes
    Typer
  27. def checkNonCyclic(pos: Global.Position, tp: Global.Type): Boolean
    Definition Classes
    Typer
  28. def checkParamsConvertible(tree: Global.Tree, tpe0: Global.Type): Unit
    Definition Classes
    Typer
  29. def checkStablePrefixClassType(tpt: Global.Tree): Boolean
    Definition Classes
    Typer
  30. def checkValidAdaptation(t: Global.Tree, args: List[Global.Tree]): Boolean
    Definition Classes
    Adaptation
  31. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  32. def computeMacroDefType(ddef: Global.DefDef, pt: Global.Type): Global.Type
    Definition Classes
    Typer
  33. def computeParamAliases(clazz: Global.Symbol, vparamss: List[List[Global.ValDef]], rhs: Global.Tree): Unit
    Definition Classes
    Typer
  34. def computeType(tree: Global.Tree, pt: Global.Type): Global.Type
    Definition Classes
    Typer
  35. final def constrTyperIf(inConstr: Boolean): ParadiseAnalyzer.Typer
    Definition Classes
    Typer
  36. var context: ParadiseAnalyzer.Context
    Definition Classes
    Typer
  37. def context1: ParadiseAnalyzer.Context
    Definition Classes
    Typer
  38. def cyclicReferenceMessage(sym: Global.Symbol, tree: Global.Tree): Option[String]
    Definition Classes
    TyperDiagnostics
  39. def doTypedApply(tree: Global.Tree, fun0: Global.Tree, args: List[Global.Tree], mode: Mode, pt: Global.Type): Global.Tree
    Definition Classes
    Typer
  40. def doTypedUnapply(tree: Global.Tree, funOrig: Global.Tree, funOverloadResolved: Global.Tree, args: List[Global.Tree], mode: Mode, pt: Global.Type): Global.Tree
    Definition Classes
    PatternTyper
  41. def dropExistential(tp: Global.Type): Global.Type
    Definition Classes
    Typer
  42. def enterSym(txt: ParadiseAnalyzer.Context, tree: Global.Tree): ParadiseAnalyzer.Context
    Attributes
    protected
    Definition Classes
    Typer
  43. def enterSyms(txt: ParadiseAnalyzer.Context, trees: List[Global.Tree]): Unit
    Attributes
    protected
    Definition Classes
    Typer
  44. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  45. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  46. def extractorForUncheckedType(pos: Global.Position, pt: Global.Type): Global.Tree
    Definition Classes
    PatternTyper
  47. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  48. def finishMethodSynthesis(templ: Global.Template, clazz: Global.Symbol, context: ParadiseAnalyzer.Context): Global.Template
    Attributes
    protected
    Definition Classes
    Typer
  49. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  50. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  51. val infer: ParadiseAnalyzer.Inferencer
    Definition Classes
    Typer
  52. def inferSamType(fun: Global.Tree, pt: Global.Type, mode: Mode): Boolean
    Definition Classes
    Typer
  53. def inferView(tree: Global.Tree, from: Global.Type, to: Global.Type, reportAmbiguous: Boolean, saveErrors: Boolean): Global.Tree
    Definition Classes
    Typer
  54. def instantiate(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree
    Definition Classes
    Typer
  55. def instantiateExpectingUnit(tree: Global.Tree, mode: Mode): Global.Tree
    Definition Classes
    Typer
  56. def instantiatePossiblyExpectingUnit(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree
    Definition Classes
    Typer
  57. def isCapturedExistential(sym: Global.Symbol): Boolean
    Definition Classes
    Typer
  58. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  59. def isReferencedFrom(ctx: ParadiseAnalyzer.Context, sym: Global.Symbol): Boolean
    Definition Classes
    Typer
  60. def isStale(sym: Global.Symbol): Boolean
    Definition Classes
    Typer
  61. def labelTyper(ldef: Global.LabelDef): ParadiseAnalyzer.Typer
    Definition Classes
    Typer
  62. final def lookupTransformed(tree: Global.Tree): Option[Global.Tree]
    Definition Classes
    Typer
  63. def macroImplementationNotFoundMessage(name: Global.Name): String
    Attributes
    protected
    Definition Classes
    TyperContextErrors
  64. def member(qual: Global.Tree, name: Global.Name): Global.Symbol
    Definition Classes
    Typer
  65. def missingSelectErrorTree(tree: Global.Tree, qual: Global.Tree, name: Global.Name): Global.Tree
    Definition Classes
    Typer
  66. def mkInvoke(context: ParadiseAnalyzer.Context, tree: Global.Tree, qual: Global.Tree, name: Global.Name): Option[Global.Tree]
    Attributes
    protected
    Definition Classes
    Typer
  67. def namer: ParadiseAnalyzer.Namer
    Definition Classes
    Typer
  68. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  69. def needsInstantiation(tparams: List[Global.Symbol], formals: List[Global.Type], args: List[Global.Tree]): Boolean
    Definition Classes
    Typer
  70. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  71. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  72. def packCaptured(tpe: Global.Type): Global.Type
    Definition Classes
    Typer
  73. def packSymbols(hidden: List[Global.Symbol], tp: Global.Type): Global.Type
    Definition Classes
    Typer
  74. def packedType(tree: Global.Tree, owner: Global.Symbol): Global.Type
    Definition Classes
    Typer
  75. def packedTypes(trees: List[Global.Tree]): List[Global.Type]
    Definition Classes
    Typer
  76. def permanentlyHiddenWarning(pos: Global.Position, hidden: Global.Name, defn: Global.Symbol): Unit
    Definition Classes
    TyperDiagnostics
  77. def phasedAppliedType(sym: Global.Symbol, args: List[Global.Type]): Global.Type
    Definition Classes
    Typer
  78. def qualifyingClass(tree: Global.Tree, qual: Global.Name, packageOK: Boolean): Global.Symbol
    Definition Classes
    Typer
  79. def reallyExists(sym: Global.Symbol): Boolean
    Definition Classes
    Typer
  80. def reenterTypeParams(tparams: List[Global.TypeDef]): List[Global.Symbol]
    Definition Classes
    Typer
  81. def reenterValueParams(vparamss: List[List[Global.ValDef]]): Unit
    Definition Classes
    Typer
  82. def reportTypeError(context0: ParadiseAnalyzer.Context, pos: Global.Position, ex: Global.TypeError): Unit
    Definition Classes
    TyperDiagnostics
  83. def resolveClassTag(pos: Global.Position, tp: Global.Type, allowMaterialization: Boolean): Global.Tree
    Definition Classes
    Tag
  84. def resolveTypeTag(pos: Global.Position, pre: Global.Type, tp: Global.Type, concrete: Boolean, allowMaterialization: Boolean): Global.Tree
    Definition Classes
    Tag
  85. def rewrappingWrapperTrees(f: (Global.Tree) ⇒ List[Global.Tree]): (Global.Tree) ⇒ List[Global.Tree]
    Definition Classes
    Typer
  86. def samToFunctionType(tp: Global.Type, sam: Global.Symbol): Global.Type
    Definition Classes
    Typer
  87. def silent[T](op: (ParadiseAnalyzer.Typer) ⇒ T, reportAmbiguousErrors: Boolean, newtree: Global.Tree): ParadiseAnalyzer.SilentResult[T]
    Definition Classes
    Typer
  88. def stabilize(tree: Global.Tree, pre: Global.Type, mode: Mode, pt: Global.Type): Global.Tree
    Attributes
    protected
    Definition Classes
    Typer
  89. def stabilizeFun(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree
    Definition Classes
    Typer
  90. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  91. def synthesizePartialFunction(paramName: Global.TermName, paramPos: Global.Position, paramSynthetic: Boolean, tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree
    Definition Classes
    Typer
  92. def toString(): String
    Definition Classes
    AnyRef → Any
  93. final def transformedOr(tree: Global.Tree, op: ⇒ Global.Tree): Global.Tree
    Definition Classes
    Typer
    Annotations
    @inline()
  94. final def transformedOrTyped(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree
    Definition Classes
    Typer
    Annotations
    @inline()
  95. final def typed(tree: Global.Tree, mode: Mode): Global.Tree
    Definition Classes
    Typer
    Annotations
    @inline()
  96. final def typed(tree: Global.Tree, pt: Global.Type): Global.Tree
    Definition Classes
    Typer
    Annotations
    @inline()
  97. final def typed(tree: Global.Tree): Global.Tree
    Definition Classes
    Typer
    Annotations
    @inline()
  98. def typed(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree
    Definition Classes
    Typer
  99. def typed1(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree
    Definition Classes
    Typer
  100. def typedAnnotation(ann: Global.Tree, mode: Mode): Global.AnnotationInfo
    Definition Classes
    Typer
  101. def typedArg(arg: Global.Tree, mode: Mode, newmode: Mode, pt: Global.Type): Global.Tree
    Definition Classes
    Typer
  102. def typedArgs(args: List[Global.Tree], mode: Mode): collection.immutable.List[Global.Tree]
    Definition Classes
    Typer
  103. def typedArgsForFormals(args: List[Global.Tree], formals: List[Global.Type], mode: Mode): List[Global.Tree]
    Definition Classes
    PatternTyper
  104. def typedBlock(block0: Global.Block, mode: Mode, pt: Global.Type): Global.Block
    Definition Classes
    Typer
  105. final def typedByValueExpr(tree: Global.Tree, pt: Global.Type): Global.Tree
    Definition Classes
    Typer
    Annotations
    @inline()
  106. def typedCase(cdef: Global.CaseDef, pattpe: Global.Type, pt: Global.Type): Global.CaseDef
    Definition Classes
    Typer
  107. def typedCases(cases: List[Global.CaseDef], pattp: Global.Type, pt: Global.Type): List[Global.CaseDef]
    Definition Classes
    Typer
  108. def typedClassDef(cdef: Global.ClassDef): Global.Tree
    Definition Classes
    Typer
  109. def typedClassOf(tree: Global.Tree, tpt: Global.Tree, noGen: Boolean): Global.Tree
    Definition Classes
    Typer
  110. def typedConstructorPattern(fun0: Global.Tree, pt: Global.Type): Global.Tree
    Definition Classes
    PatternTyper
  111. def typedDefDef(ddef: Global.DefDef): Global.DefDef
    Definition Classes
    ParadiseTyper → Typer
  112. def typedDocDef(docDef: Global.DocDef, mode: Mode, pt: Global.Type): Global.Tree
    Definition Classes
    Typer
  113. def typedExistentialTypeTree(tree: Global.ExistentialTypeTree, mode: Mode): Global.Tree
    Attributes
    protected
    Definition Classes
    Typer
  114. def typedHigherKindedType(tree: Global.Tree, mode: Mode): Global.Tree
    Definition Classes
    Typer
  115. def typedHigherKindedType(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree
    Definition Classes
    Typer
  116. def typedImport(imp: Global.Import): Global.Import
    Definition Classes
    Typer
  117. def typedInPattern(tree: Global.Typed, mode: Mode, pt: Global.Type): Global.Tree
    Attributes
    protected
    Definition Classes
    PatternTyper
  118. def typedLabelDef(ldef: Global.LabelDef): Global.LabelDef
    Definition Classes
    Typer
  119. def typedMatch(selector: Global.Tree, cases: List[Global.CaseDef], mode: Mode, pt: Global.Type, tree: Global.Tree): Global.Match
    Definition Classes
    Typer
  120. def typedModifiers(mods: Global.Modifiers): Global.Modifiers
    Definition Classes
    Typer
  121. def typedModuleDef(mdef: Global.ModuleDef): Global.Tree
    Definition Classes
    Typer
  122. final def typedOperator(tree: Global.Tree): Global.Tree
    Definition Classes
    Typer
    Annotations
    @inline()
  123. def typedParentTypes(templ: Global.Template): List[Global.Tree]
    Definition Classes
    Typer
  124. def typedPattern(tree: Global.Tree, pt: Global.Type): Global.Tree
    Definition Classes
    Typer
  125. def typedPos(pos: Global.Position)(tree: Global.Tree): Global.Tree
    Definition Classes
    Typer
  126. def typedPos(pos: Global.Position, mode: Mode, pt: Global.Type)(tree: Global.Tree): Global.Tree
    Definition Classes
    Typer
  127. final def typedQualifier(tree: Global.Tree): Global.Tree
    Definition Classes
    Typer
    Annotations
    @inline()
  128. final def typedQualifier(tree: Global.Tree, mode: Mode): Global.Tree
    Definition Classes
    Typer
    Annotations
    @inline()
  129. final def typedQualifier(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree
    Definition Classes
    Typer
    Annotations
    @inline()
  130. def typedRefinement(templ: Global.Template): Unit
    Definition Classes
    Typer
  131. def typedStarInPattern(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree
    Attributes
    protected
    Definition Classes
    PatternTyper
  132. def typedStats(stats: List[Global.Tree], exprOwner: Global.Symbol, warnPure: Boolean): List[Global.Tree]
    Definition Classes
    Typer
  133. def typedTemplate(templ0: Global.Template, parents1: List[Global.Tree]): Global.Template
    Definition Classes
    Typer
  134. def typedType(tree: Global.Tree): Global.Tree
    Definition Classes
    Typer
  135. def typedType(tree: Global.Tree, mode: Mode): Global.Tree
    Definition Classes
    Typer
  136. def typedTypeApply(tree: Global.Tree, mode: Mode, fun: Global.Tree, args: List[Global.Tree]): Global.Tree
    Attributes
    protected
    Definition Classes
    Typer
  137. def typedTypeConstructor(tree: Global.Tree): Global.Tree
    Definition Classes
    Typer
  138. def typedTypeConstructor(tree: Global.Tree, mode: Mode): Global.Tree
    Definition Classes
    Typer
  139. def typedTypeDef(tdef: Global.TypeDef): Global.TypeDef
    Definition Classes
    Typer
  140. def typedValDef(vdef: Global.ValDef): Global.ValDef
    Definition Classes
    Typer
  141. final def typerWithCondLocalContext[T](c: ⇒ ParadiseAnalyzer.Context)(cond: Boolean)(f: (ParadiseAnalyzer.Typer) ⇒ T): T
    Definition Classes
    Typer
    Annotations
    @inline()
  142. final def typerWithLocalContext[T](c: ParadiseAnalyzer.Context)(f: (ParadiseAnalyzer.Typer) ⇒ T): T
    Definition Classes
    Typer
    Annotations
    @inline()
  143. def validateParentClasses(parents: List[Global.Tree], selfType: Global.Type): Unit
    Definition Classes
    Typer
  144. def viewExists(from: Global.Type, to: Global.Type): Boolean
    Definition Classes
    Typer
  145. def virtualizedMatch(match_: Global.Match, mode: Mode, pt: Global.Type): Global.Tree
    Definition Classes
    Typer
  146. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  147. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  148. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  149. def warnTypeParameterShadow(tparams: List[Global.TypeDef], sym: Global.Symbol): Unit
    Definition Classes
    TyperDiagnostics
  150. final def withCondConstrTyper[T](inConstr: Boolean)(f: (ParadiseAnalyzer.Typer) ⇒ T): T
    Definition Classes
    Typer
    Annotations
    @inline()
  151. def wrapClassTagUnapply(uncheckedPattern: Global.Tree, classTagExtractor: Global.Tree, pt: Global.Type): Global.Tree
    Definition Classes
    PatternTyper
  152. def wrapErrors(tree: Global.Tree, typeTree: (ParadiseAnalyzer.Typer) ⇒ Global.Tree): Global.Tree
    Attributes
    protected
    Definition Classes
    Typer
  153. object TyperErrorGen
    Definition Classes
    TyperContextErrors

Inherited from ParadiseAnalyzer.Typer

Inherited from ParadiseAnalyzer.TyperContextErrors

Inherited from ParadiseAnalyzer.PatternTyper

Inherited from ParadiseAnalyzer.Tag

Inherited from ParadiseAnalyzer.Adaptation

Inherited from ParadiseAnalyzer.TyperDiagnostics

Inherited from AnyRef

Inherited from Any

Ungrouped