org.scalamacros.paradise.typechecker.Infer

ParadiseInferencer

class ParadiseInferencer extends Analyzer.Inferencer

Linear Supertypes
Analyzer.Inferencer, Analyzer.InferCheckable, Analyzer.InferencerContextErrors, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ParadiseInferencer
  2. Inferencer
  3. InferCheckable
  4. InferencerContextErrors
  5. AnyRef
  6. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ParadiseInferencer(context: Analyzer.Context)

Value Members

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

    Definition Classes
    AnyRef

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

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. object AdjustedTypeArgs

    Definition Classes
    Inferencer

  7. object InferErrorGen

    Definition Classes
    InferencerContextErrors

  8. 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

  9. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  10. 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

  11. 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
    Inferencer

  12. 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

  13. 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

  14. def checkNames(argtpes: List[scala.tools.nsc.Global.Type], params: List[scala.tools.nsc.Global.Symbol]): (List[scala.tools.nsc.Global.Type], Array[Int], Boolean)

  15. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  16. def containsUnchecked(tp: scala.tools.nsc.Global.Type): Boolean

    Definition Classes
    Inferencer

  17. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  18. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  19. def explainTypes(tp1: scala.tools.nsc.Global.Type, tp2: scala.tools.nsc.Global.Type): Unit

    Definition Classes
    Inferencer

  20. def exprTypeArgs(tparams: List[scala.tools.nsc.Global.Symbol], restpe: scala.tools.nsc.Global.Type, pt: scala.tools.nsc.Global.Type, useWeaklyCompatible: Boolean): (List[scala.tools.nsc.Global.Type], List[scala.tools.nsc.Global.TypeVar])

  21. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  22. def freeTypeParamsOfTerms(tp: scala.tools.nsc.Global.Type): List[scala.tools.nsc.Global.Symbol]

    Definition Classes
    Inferencer

  23. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  24. def getContext: Analyzer.Context

    Definition Classes
    Inferencer

  25. def hasExactlyNumParams(tp: scala.tools.nsc.Global.Type, n: Int): Boolean

    Definition Classes
    Inferencer

  26. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  27. 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

  28. 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

  29. def inferExprAlternative(tree: scala.tools.nsc.Global.Tree, pt: scala.tools.nsc.Global.Type): Unit

    Definition Classes
    Inferencer

  30. def inferExprInstance(tree: scala.tools.nsc.Global.Tree, tparams: List[scala.tools.nsc.Global.Symbol], pt: scala.tools.nsc.Global.Type = WildcardType, treeTp0: scala.tools.nsc.Global.Type = null, keepNothings: Boolean = true, useWeaklyCompatible: Boolean = false): List[scala.tools.nsc.Global.Symbol]

    Definition Classes
    ParadiseInferencer → Inferencer

  31. def inferMethodAlternative(tree: scala.tools.nsc.Global.Tree, undetparams: List[scala.tools.nsc.Global.Symbol], argtpes: List[scala.tools.nsc.Global.Type], pt0: scala.tools.nsc.Global.Type, varArgsOnly: Boolean, lastInferAttempt: Boolean): Unit

    Definition Classes
    Inferencer

  32. 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

  33. def inferModulePattern(pat: scala.tools.nsc.Global.Tree, pt: scala.tools.nsc.Global.Type): Unit

    Definition Classes
    Inferencer

  34. def inferPolyAlternatives(tree: scala.tools.nsc.Global.Tree, argtypes: List[scala.tools.nsc.Global.Type]): Unit

    Definition Classes
    Inferencer

  35. 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

  36. def instBounds(tvar: scala.tools.nsc.Global.TypeVar): (scala.tools.nsc.Global.Type, scala.tools.nsc.Global.Type)

    Definition Classes
    Inferencer

  37. def instantiateTypeVar(tvar: scala.tools.nsc.Global.TypeVar): Unit

    Definition Classes
    Inferencer

  38. def intersect(tp1: scala.tools.nsc.Global.Type, tp2: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Type

    Definition Classes
    Inferencer

  39. def isApplicable(undetparams: List[scala.tools.nsc.Global.Symbol], ftpe: scala.tools.nsc.Global.Type, argtpes0: List[scala.tools.nsc.Global.Type], pt: scala.tools.nsc.Global.Type): Boolean

  40. def isApplicableSafe(undetparams: List[scala.tools.nsc.Global.Symbol], ftpe: scala.tools.nsc.Global.Type, argtpes0: List[scala.tools.nsc.Global.Type], pt: scala.tools.nsc.Global.Type): Boolean

    Definition Classes
    ParadiseInferencer → Inferencer

  41. def isAsSpecific(ftpe1: scala.tools.nsc.Global.Type, ftpe2: scala.tools.nsc.Global.Type): Boolean

    Definition Classes
    Inferencer

  42. def isCoercible(tp: scala.tools.nsc.Global.Type, pt: scala.tools.nsc.Global.Type): Boolean

    Definition Classes
    Inferencer

  43. def isCompatible(tp: scala.tools.nsc.Global.Type, pt: scala.tools.nsc.Global.Type): Boolean

  44. def isCompatibleArgs(tps: List[scala.tools.nsc.Global.Type], pts: List[scala.tools.nsc.Global.Type]): Boolean

    Definition Classes
    Inferencer

  45. def isConservativelyCompatible(tp: scala.tools.nsc.Global.Type, pt: scala.tools.nsc.Global.Type): Boolean

    Definition Classes
    Inferencer

  46. def isFullyDefined(tp: scala.tools.nsc.Global.Type): Boolean

  47. def isInProperSubClassOrObject(sym1: scala.tools.nsc.Global.Symbol, sym2: scala.tools.nsc.Global.Symbol): Boolean

    Definition Classes
    Inferencer

  48. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  49. def isInstantiatable(tvars: List[scala.tools.nsc.Global.TypeVar]): Boolean

    Definition Classes
    Inferencer

  50. def isPossiblyMissingArgs(found: scala.tools.nsc.Global.Type, req: scala.tools.nsc.Global.Type): Boolean

    Definition Classes
    Inferencer

  51. def isProperSubClassOrObject(sym1: scala.tools.nsc.Global.Symbol, sym2: scala.tools.nsc.Global.Symbol): Boolean

    Definition Classes
    Inferencer

  52. 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

  53. def isUnitForVarArgs(args: List[AnyRef], params: List[scala.tools.nsc.Global.Symbol]): Boolean

    Definition Classes
    Inferencer

  54. def isWeaklyCompatible(tp: scala.tools.nsc.Global.Type, pt: scala.tools.nsc.Global.Type): Boolean

    Definition Classes
    Inferencer

  55. def issue(err: Analyzer.AbsTypeError): Unit

    Definition Classes
    Inferencer

  56. def makeFullyDefined(tp: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Type

    Definition Classes
    Inferencer

  57. def methTypeArgs(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

  58. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  59. final def notify(): Unit

    Definition Classes
    AnyRef

  60. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  61. def paramMatchesName(param: scala.tools.nsc.Global.Symbol, name: scala.tools.nsc.Global.Name): Boolean

  62. 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

  63. def setError[T <: scala.tools.nsc.Global.Tree](tree: T): T

    Definition Classes
    Inferencer

  64. def substExpr(tree: scala.tools.nsc.Global.Tree, undetparams: List[scala.tools.nsc.Global.Symbol], targs: List[scala.tools.nsc.Global.Type], pt: scala.tools.nsc.Global.Type): Unit

  65. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  66. def toString(): String

    Definition Classes
    AnyRef → Any

  67. def tryTwice(infer: (Boolean) ⇒ Unit): Unit

    Definition Classes
    Inferencer

  68. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  69. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  70. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  71. def widen(tp: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Type

    Definition Classes
    Inferencer

Inherited from Analyzer.Inferencer

Inherited from Analyzer.InferCheckable

Inherited from Analyzer.InferencerContextErrors

Inherited from AnyRef

Inherited from Any

Ungrouped