Packages

trait InferencerImpl extends Analyzer.Inferencer

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. InferencerImpl
  2. Inferencer
  3. InferCheckable
  4. InferencerContextErrors
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def context: Analyzer.Context
    Definition Classes
    Inferencer

Concrete 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 adjustTypeArgs(tparams: List[scala.tools.nsc.Global.Symbol], tvars: List[scala.tools.nsc.Global.TypeVar], targs: List[scala.tools.nsc.Global.Type], restpe: scala.tools.nsc.Global.Type): Analyzer.AdjustedTypeArgs
    Definition Classes
    Inferencer
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def checkAccessible(tree: scala.tools.nsc.Global.Tree, sym: scala.tools.nsc.Global.Symbol, pre: scala.tools.nsc.Global.Type, site: scala.tools.nsc.Global.Tree): scala.tools.nsc.Global.Tree
    Definition Classes
    Inferencer
  7. def checkBounds(tree: scala.tools.nsc.Global.Tree, pre: scala.tools.nsc.Global.Type, owner: scala.tools.nsc.Global.Symbol, tparams: List[scala.tools.nsc.Global.Symbol], targs: List[scala.tools.nsc.Global.Type], prefix: String): Boolean
    Definition Classes
    InferencerImpl → Inferencer
  8. def checkBoundsSplain(tree: scala.tools.nsc.Global.Tree, pre: scala.tools.nsc.Global.Type, owner: scala.tools.nsc.Global.Symbol, tparams: List[scala.tools.nsc.Global.Symbol], targs: List[scala.tools.nsc.Global.Type], prefix: String): Boolean

    Duplication of the original method, because the error is created within.

    Duplication of the original method, because the error is created within. NotWithinBounds cannot simply be overridden since it is a method in Analyzer and pt is needed for NonConfBounds

  9. def checkCheckable(tree: scala.tools.nsc.Global.Tree, P0: scala.tools.nsc.Global.Type, X0: scala.tools.nsc.Global.Type, inPattern: Boolean, canRemedy: Boolean): Unit
    Definition Classes
    InferCheckable
  10. def checkKindBounds(tparams: List[scala.tools.nsc.Global.Symbol], targs: List[scala.tools.nsc.Global.Type], pre: scala.tools.nsc.Global.Type, owner: scala.tools.nsc.Global.Symbol): List[String]
    Definition Classes
    Inferencer
  11. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @HotSpotIntrinsicCandidate()
  12. def eligibleForTupleConversion(formals: List[scala.tools.nsc.Global.Type], argsCount: Int): Boolean
    Definition Classes
    Inferencer
  13. def eligibleForTupleConversion(paramsCount: Int, argsCount: Int, varargsTarget: Boolean): Boolean
    Definition Classes
    Inferencer
  14. def ensureFullyDefined(tp: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Type
    Definition Classes
    Inferencer
  15. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  17. def explainTypes(tp1: scala.tools.nsc.Global.Type, tp2: scala.tools.nsc.Global.Type): Unit
    Definition Classes
    Inferencer
  18. def freeTypeParamsOfTerms(tp: scala.tools.nsc.Global.Type): List[scala.tools.nsc.Global.Symbol]
    Definition Classes
    Inferencer
  19. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  20. def getContext: Analyzer.Context
    Definition Classes
    Inferencer
  21. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  22. def inferArgumentInstance(tree: scala.tools.nsc.Global.Tree, undetparams: List[scala.tools.nsc.Global.Symbol], strictPt: scala.tools.nsc.Global.Type, lenientPt: scala.tools.nsc.Global.Type): Unit
    Definition Classes
    Inferencer
  23. def inferConstructorInstance(tree: scala.tools.nsc.Global.Tree, undetparams: List[scala.tools.nsc.Global.Symbol], pt0: scala.tools.nsc.Global.Type): Unit
    Definition Classes
    Inferencer
  24. def inferExprAlternative(tree: scala.tools.nsc.Global.Tree, pt: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Tree
    Definition Classes
    Inferencer
  25. def inferExprInstance(tree: scala.tools.nsc.Global.Tree, tparams: List[scala.tools.nsc.Global.Symbol], pt: scala.tools.nsc.Global.Type, treeTp0: scala.tools.nsc.Global.Type, keepNothings: Boolean, useWeaklyCompatible: Boolean): List[scala.tools.nsc.Global.Symbol]
    Definition Classes
    Inferencer
  26. def inferMethodAlternative(tree: scala.tools.nsc.Global.Tree, undetparams: List[scala.tools.nsc.Global.Symbol], argtpes0: List[scala.tools.nsc.Global.Type], pt0: scala.tools.nsc.Global.Type): Unit
    Definition Classes
    Inferencer
  27. def inferMethodInstance(fn: scala.tools.nsc.Global.Tree, undetParams: List[scala.tools.nsc.Global.Symbol], args: List[scala.tools.nsc.Global.Tree], pt0: scala.tools.nsc.Global.Type): List[scala.tools.nsc.Global.Symbol]
    Definition Classes
    Inferencer
  28. def inferModulePattern(pat: scala.tools.nsc.Global.Tree, pt: scala.tools.nsc.Global.Type): Unit
    Definition Classes
    Inferencer
  29. def inferPolyAlternatives(tree: scala.tools.nsc.Global.Tree, argtypes: List[scala.tools.nsc.Global.Type]): Unit
    Definition Classes
    Inferencer
  30. def inferTypedPattern(tree0: scala.tools.nsc.Global.Tree, pattp: scala.tools.nsc.Global.Type, pt0: scala.tools.nsc.Global.Type, canRemedy: Boolean): scala.tools.nsc.Global.Type
    Definition Classes
    Inferencer
  31. def intersect(tp1: scala.tools.nsc.Global.Type, tp2: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Type
    Definition Classes
    Inferencer
  32. def isAsSpecific(ftpe1: scala.tools.nsc.Global.Type, ftpe2: scala.tools.nsc.Global.Type): Boolean
    Definition Classes
    Inferencer
  33. def isCheckable(P0: scala.tools.nsc.Global.Type): Boolean
    Definition Classes
    InferCheckable
  34. def isCoercible(tp: scala.tools.nsc.Global.Type, pt: scala.tools.nsc.Global.Type): Boolean
    Definition Classes
    Inferencer
  35. def isCompatibleArgs(tps: List[scala.tools.nsc.Global.Type], pts: List[scala.tools.nsc.Global.Type]): Boolean
    Definition Classes
    Inferencer
  36. def isConservativelyCompatible(tp: scala.tools.nsc.Global.Type, pt: scala.tools.nsc.Global.Type): Boolean
    Definition Classes
    Inferencer
  37. def isInProperSubClassOrObject(sym1: scala.tools.nsc.Global.Symbol, sym2: scala.tools.nsc.Global.Symbol): Boolean
    Definition Classes
    Inferencer
  38. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  39. def isProperSubClassOrObject(sym1: scala.tools.nsc.Global.Symbol, sym2: scala.tools.nsc.Global.Symbol): Boolean
    Definition Classes
    Inferencer
  40. def isStrictlyMoreSpecific(ftpe1: scala.tools.nsc.Global.Type, ftpe2: scala.tools.nsc.Global.Type, sym1: scala.tools.nsc.Global.Symbol, sym2: scala.tools.nsc.Global.Symbol): Boolean
    Definition Classes
    Inferencer
  41. def isUncheckable(P0: scala.tools.nsc.Global.Type): Boolean
    Definition Classes
    InferCheckable
  42. def isWeaklyCompatible(tp: scala.tools.nsc.Global.Type, pt: scala.tools.nsc.Global.Type): Boolean
    Definition Classes
    Inferencer
  43. def makeFullyDefined(tp: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Type
    Definition Classes
    Inferencer
  44. def methTypeArgs(fn: scala.tools.nsc.Global.Tree, tparams: List[scala.tools.nsc.Global.Symbol], formals: List[scala.tools.nsc.Global.Type], restpe: scala.tools.nsc.Global.Type, argtpes: List[scala.tools.nsc.Global.Type], pt: scala.tools.nsc.Global.Type): Analyzer.AdjustedTypeArgs
    Definition Classes
    Inferencer
  45. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  46. def notWithinBounds(tree: scala.tools.nsc.Global.Tree, prefix: String, targs: List[scala.tools.nsc.Global.Type], tparams: List[scala.tools.nsc.Global.Symbol], kindErrors: List[String]): Unit
  47. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  48. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  49. def protoTypeArgs(tparams: List[scala.tools.nsc.Global.Symbol], formals: List[scala.tools.nsc.Global.Type], restpe: scala.tools.nsc.Global.Type, pt: scala.tools.nsc.Global.Type): List[scala.tools.nsc.Global.Type]
    Definition Classes
    Inferencer
  50. def setError[T <: scala.tools.nsc.Global.Tree](tree: T): T
    Definition Classes
    Inferencer
  51. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  52. def toString(): String
    Definition Classes
    AnyRef → Any
  53. def tupleIfNecessary(formals: List[scala.tools.nsc.Global.Type], argtpes: List[scala.tools.nsc.Global.Type]): List[scala.tools.nsc.Global.Type]
    Definition Classes
    Inferencer
  54. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  55. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  56. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  57. object InferErrorGen
    Definition Classes
    InferencerContextErrors

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] ) @Deprecated
    Deprecated

Inherited from Analyzer.Inferencer

Inherited from Analyzer.InferCheckable

Inherited from Analyzer.InferencerContextErrors

Inherited from AnyRef

Inherited from Any

Ungrouped