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): Result
    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[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate() @throws( ... )
  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 instBounds(tvar: scala.tools.nsc.Global.TypeVar): scala.tools.nsc.Global.TypeBounds
    Definition Classes
    Inferencer
  32. def instantiateTypeVar(tvar: scala.tools.nsc.Global.TypeVar): Unit
    Definition Classes
    Inferencer
  33. def intersect(tp1: scala.tools.nsc.Global.Type, tp2: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Type
    Definition Classes
    Inferencer
  34. def isAsSpecific(ftpe1: scala.tools.nsc.Global.Type, ftpe2: scala.tools.nsc.Global.Type): Boolean
    Definition Classes
    Inferencer
  35. def isCheckable(P0: scala.tools.nsc.Global.Type): Boolean
    Definition Classes
    InferCheckable
  36. def isCoercible(tp: scala.tools.nsc.Global.Type, pt: scala.tools.nsc.Global.Type): Boolean
    Definition Classes
    Inferencer
  37. def isCompatibleArgs(tps: List[scala.tools.nsc.Global.Type], pts: List[scala.tools.nsc.Global.Type]): Boolean
    Definition Classes
    Inferencer
  38. def isConservativelyCompatible(tp: scala.tools.nsc.Global.Type, pt: scala.tools.nsc.Global.Type): Boolean
    Definition Classes
    Inferencer
  39. def isInProperSubClassOrObject(sym1: scala.tools.nsc.Global.Symbol, sym2: scala.tools.nsc.Global.Symbol): Boolean
    Definition Classes
    Inferencer
  40. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  41. def isInstantiatable(tvars: List[scala.tools.nsc.Global.TypeVar]): Boolean
    Definition Classes
    Inferencer
  42. def isProperSubClassOrObject(sym1: scala.tools.nsc.Global.Symbol, sym2: scala.tools.nsc.Global.Symbol): Boolean
    Definition Classes
    Inferencer
  43. 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
  44. def isUncheckable(P0: scala.tools.nsc.Global.Type): Boolean
    Definition Classes
    InferCheckable
  45. def isWeaklyCompatible(tp: scala.tools.nsc.Global.Type, pt: scala.tools.nsc.Global.Type): Boolean
    Definition Classes
    Inferencer
  46. def makeFullyDefined(tp: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Type
    Definition Classes
    Inferencer
  47. 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): Result
    Definition Classes
    Inferencer
  48. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  49. 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
  50. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  51. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  52. 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
  53. def setError[T <: scala.tools.nsc.Global.Tree](tree: T): T
    Definition Classes
    Inferencer
  54. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  55. def toString(): String
    Definition Classes
    AnyRef → Any
  56. 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
  57. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  58. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  59. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  60. object InferErrorGen
    Definition Classes
    InferencerContextErrors

Deprecated Value Members

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

    (Since version ) see corresponding Javadoc for more information.

Inherited from Analyzer.Inferencer

Inherited from Analyzer.InferCheckable

Inherited from Analyzer.InferencerContextErrors

Inherited from AnyRef

Inherited from Any

Ungrouped