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 adapt(tree: Global.Tree, mode: Mode, pt: Global.Type, original: Global.Tree): Global.Tree
    Attributes
    protected
    Definition Classes
    Typer
  5. def adaptAfterOverloadResolution(tree: Global.Tree, mode: Mode, pt: Global.Type, original: Global.Tree): Global.Tree
    Definition Classes
    Typer
  6. def adaptCase(cdef: Global.CaseDef, mode: Mode, tpe: Global.Type): Global.CaseDef
    Definition Classes
    Typer
  7. def adaptToArguments(qual: Global.Tree, name: Global.Name, args: List[Global.Tree], pt: Global.Type, reportAmbiguous: Boolean, saveErrors: Boolean): Global.Tree
    Definition Classes
    Typer
  8. def adaptToMember(qual: Global.Tree, searchTemplate: Global.Type, reportAmbiguous: Boolean, saveErrors: Boolean): Global.Tree
    Definition Classes
    Typer
  9. def adaptToMemberWithArgs(tree: Global.Tree, qual: Global.Tree, name: Global.Name, mode: Mode, reportAmbiguous: Boolean, saveErrors: Boolean): Global.Tree
    Definition Classes
    Typer
  10. def adaptToName(qual: Global.Tree, name: Global.Name): Global.Tree
    Definition Classes
    Typer
  11. def applyImplicitArgs(fun: Global.Tree): Global.Tree
    Definition Classes
    Typer
  12. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  13. def atOwner(tree: Global.Tree, owner: Global.Symbol): ParadiseAnalyzer.Typer
    Definition Classes
    Typer
  14. def atOwner(owner: Global.Symbol): ParadiseAnalyzer.Typer
    Definition Classes
    Typer
  15. def callToCompanionConstr(context: ParadiseAnalyzer.Context, calledFun: Global.Symbol): Boolean
    Definition Classes
    Typer
  16. def canAdaptConstantTypeToLiteral: Boolean
    Definition Classes
    Typer
  17. def canTranslateEmptyListToNil: Boolean
    Definition Classes
    Typer
  18. def checkClassType(tpt: Global.Tree): Boolean
    Definition Classes
    Typer
  19. def checkExistentialsFeature(pos: Global.Position, tpe: Global.Type, prefix: String): AnyVal
    Definition Classes
    Typer
  20. def checkFeature(pos: Global.Position, featureTrait: Global.Symbol, construct: ⇒ String, immediate: Boolean): Boolean
    Definition Classes
    Typer
  21. def checkFinitary(classinfo: Global.ClassInfoType): Unit
    Definition Classes
    Typer
  22. def checkMethodStructuralCompatible(ddef: Global.DefDef): Unit
    Definition Classes
    Typer
  23. def checkNonCyclic(defn: Global.Tree, tpt: Global.Tree): Unit
    Definition Classes
    Typer
  24. def checkNonCyclic(sym: Global.Symbol): Unit
    Definition Classes
    Typer
  25. def checkNonCyclic(pos: Global.Position, tp: Global.Type, lockedSym: Global.Symbol): Boolean
    Definition Classes
    Typer
  26. def checkNonCyclic(pos: Global.Position, tp: Global.Type): Boolean
    Definition Classes
    Typer
  27. def checkParamsConvertible(tree: Global.Tree, tpe0: Global.Type): Unit
    Definition Classes
    Typer
  28. def checkStablePrefixClassType(tpt: Global.Tree): Boolean
    Definition Classes
    Typer
  29. def checkValidAdaptation(t: Global.Tree, args: List[Global.Tree]): Boolean
    Definition Classes
    Adaptation
  30. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. def computeMacroDefType(ddef: Global.DefDef, pt: Global.Type): Global.Type
    Definition Classes
    Typer
  32. def computeParamAliases(clazz: Global.Symbol, vparamss: List[List[Global.ValDef]], rhs: Global.Tree): Unit
    Definition Classes
    Typer
  33. def computeType(tree: Global.Tree, pt: Global.Type): Global.Type
    Definition Classes
    Typer
  34. final def constrTyperIf(inConstr: Boolean): ParadiseAnalyzer.Typer
    Definition Classes
    Typer
  35. var context: ParadiseAnalyzer.Context
    Definition Classes
    Typer
  36. def context1: ParadiseAnalyzer.Context
    Definition Classes
    Typer
  37. def cyclicReferenceMessage(sym: Global.Symbol, tree: Global.Tree): Option[String]
    Definition Classes
    TyperDiagnostics
  38. def doTypedApply(tree: Global.Tree, fun0: Global.Tree, args: List[Global.Tree], mode: Mode, pt: Global.Type): Global.Tree
    Definition Classes
    Typer
  39. 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
  40. def dropExistential(tp: Global.Type): Global.Type
    Definition Classes
    Typer
  41. def enterSym(txt: ParadiseAnalyzer.Context, tree: Global.Tree): ParadiseAnalyzer.Context
    Attributes
    protected
    Definition Classes
    Typer
  42. def enterSyms(txt: ParadiseAnalyzer.Context, trees: List[Global.Tree]): Unit
    Attributes
    protected
    Definition Classes
    Typer
  43. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  44. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  45. def extractorForUncheckedType(pos: Global.Position, pt: Global.Type): Global.Tree
    Definition Classes
    PatternTyper
  46. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  47. def finishMethodSynthesis(templ: Global.Template, clazz: Global.Symbol, context: ParadiseAnalyzer.Context): Global.Template
    Attributes
    protected
    Definition Classes
    Typer
  48. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  49. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  50. val infer: ParadiseAnalyzer.Inferencer
    Definition Classes
    Typer
  51. def inferSamType(fun: Global.Tree, pt: Global.Type, mode: Mode): Global.SAMFunction
    Definition Classes
    Typer
  52. def inferView(tree: Global.Tree, from: Global.Type, to: Global.Type, reportAmbiguous: Boolean, saveErrors: Boolean): Global.Tree
    Definition Classes
    Typer
  53. def instantiate(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree
    Definition Classes
    Typer
  54. def instantiateExpectingUnit(tree: Global.Tree, mode: Mode): Global.Tree
    Definition Classes
    Typer
  55. def instantiatePossiblyExpectingUnit(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree
    Definition Classes
    Typer
  56. def isCapturedExistential(sym: Global.Symbol): Boolean
    Definition Classes
    Typer
  57. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  58. def isNamedApplyBlock(tree: Global.Tree): Boolean
    Definition Classes
    Typer
  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 namer: ParadiseAnalyzer.Namer
    Definition Classes
    Typer
  67. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  68. def needsInstantiation(tparams: List[Global.Symbol], formals: List[Global.Type], args: List[Global.Tree]): Boolean
    Definition Classes
    Typer
  69. final def notify(): Unit
    Definition Classes
    AnyRef
  70. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  71. def packCaptured(tpe: Global.Type): Global.Type
    Definition Classes
    Typer
  72. def packSymbols(hidden: List[Global.Symbol], tp: Global.Type): Global.Type
    Definition Classes
    Typer
  73. def packedType(tree: Global.Tree, owner: Global.Symbol): Global.Type
    Definition Classes
    Typer
  74. def packedTypes(trees: List[Global.Tree]): List[Global.Type]
    Definition Classes
    Typer
  75. def permanentlyHiddenWarning(pos: Global.Position, hidden: Global.Name, defn: Global.Symbol): Unit
    Definition Classes
    TyperDiagnostics
  76. def phasedAppliedType(sym: Global.Symbol, args: List[Global.Type]): Global.Type
    Definition Classes
    Typer
  77. def qualifyingClass(tree: Global.Tree, qual: Global.Name, packageOK: Boolean): Global.Symbol
    Definition Classes
    Typer
  78. def reallyExists(sym: Global.Symbol): Boolean
    Definition Classes
    Typer
  79. def reenterTypeParams(tparams: List[Global.TypeDef]): List[Global.Symbol]
    Definition Classes
    Typer
  80. def reenterValueParams(vparamss: List[List[Global.ValDef]]): Unit
    Definition Classes
    Typer
  81. def reportTypeError(context0: ParadiseAnalyzer.Context, pos: Global.Position, ex: Global.TypeError): Unit
    Definition Classes
    TyperDiagnostics
  82. def resolveClassTag(pos: Global.Position, tp: Global.Type, allowMaterialization: Boolean): Global.Tree
    Definition Classes
    Tag
  83. def resolveTypeTag(pos: Global.Position, pre: Global.Type, tp: Global.Type, concrete: Boolean, allowMaterialization: Boolean): Global.Tree
    Definition Classes
    Tag
  84. def rewrappingWrapperTrees(f: (Global.Tree) ⇒ List[Global.Tree]): (Global.Tree) ⇒ List[Global.Tree]
    Definition Classes
    Typer
  85. val runDefinitions: reflect.internal.Definitions.definitions.RunDefinitions
    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
  95. def typed(tree: Global.Tree, mode: Mode): Global.Tree
    Definition Classes
    Typer
  96. def typed(tree: Global.Tree, pt: Global.Type): Global.Tree
    Definition Classes
    Typer
  97. def typed(tree: Global.Tree): Global.Tree
    Definition Classes
    Typer
  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. def typedByValueExpr(tree: Global.Tree, pt: Global.Type): Global.Tree
    Definition Classes
    Typer
  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. def typedOperator(tree: Global.Tree): Global.Tree
    Definition Classes
    Typer
  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. def typedQualifier(tree: Global.Tree): Global.Tree
    Definition Classes
    Typer
  128. def typedQualifier(tree: Global.Tree, mode: Mode): Global.Tree
    Definition Classes
    Typer
  129. def typedQualifier(tree: Global.Tree, mode: Mode, pt: Global.Type): Global.Tree
    Definition Classes
    Typer
  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
    @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. 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