splain
.
ImplicitsCompat
.
ImplicitSearchCompat
InferencerCompat
Related Doc:
package ImplicitSearchCompat
class
InferencerCompat
extends
Analyzer.Inferencer
Linear Supertypes
Analyzer.Inferencer
,
Analyzer.InferCheckable
,
Analyzer.InferencerContextErrors
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
InferencerCompat
Inferencer
InferCheckable
InferencerContextErrors
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Instance Constructors
new
InferencerCompat
()
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
object
InferErrorGen
Definition Classes
InferencerContextErrors
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
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
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
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
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
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
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
context
:
Analyzer.Context
Definition Classes
InferencerCompat
→ Inferencer
def
eligibleForTupleConversion
(
formals:
List
[
scala.tools.nsc.Global.Type
]
,
argsCount:
Int
)
:
Boolean
Definition Classes
Inferencer
def
eligibleForTupleConversion
(
paramsCount:
Int
,
argsCount:
Int
,
varargsTarget:
Boolean
)
:
Boolean
Definition Classes
Inferencer
def
ensureFullyDefined
(
tp:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Type
Definition Classes
Inferencer
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
explainTypes
(
tp1:
scala.tools.nsc.Global.Type
,
tp2:
scala.tools.nsc.Global.Type
)
:
Unit
Definition Classes
Inferencer
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
def
freeTypeParamsOfTerms
(
tp:
scala.tools.nsc.Global.Type
)
:
List
[
scala.tools.nsc.Global.Symbol
]
Definition Classes
Inferencer
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
getContext
:
Analyzer.Context
Definition Classes
Inferencer
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
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
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
def
inferExprAlternative
(
tree:
scala.tools.nsc.Global.Tree
,
pt:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Tree
Definition Classes
Inferencer
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
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
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
def
inferModulePattern
(
pat:
scala.tools.nsc.Global.Tree
,
pt:
scala.tools.nsc.Global.Type
)
:
Unit
Definition Classes
Inferencer
def
inferPolyAlternatives
(
tree:
scala.tools.nsc.Global.Tree
,
argtypes:
List
[
scala.tools.nsc.Global.Type
]
)
:
Unit
Definition Classes
Inferencer
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
def
instBounds
(
tvar:
scala.tools.nsc.Global.TypeVar
)
:
scala.tools.nsc.Global.TypeBounds
Definition Classes
Inferencer
def
instantiateTypeVar
(
tvar:
scala.tools.nsc.Global.TypeVar
)
:
Unit
Definition Classes
Inferencer
def
intersect
(
tp1:
scala.tools.nsc.Global.Type
,
tp2:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Type
Definition Classes
Inferencer
def
isAsSpecific
(
ftpe1:
scala.tools.nsc.Global.Type
,
ftpe2:
scala.tools.nsc.Global.Type
)
:
Boolean
Definition Classes
Inferencer
def
isCheckable
(
P0:
scala.tools.nsc.Global.Type
)
:
Boolean
Definition Classes
InferCheckable
def
isCoercible
(
tp:
scala.tools.nsc.Global.Type
,
pt:
scala.tools.nsc.Global.Type
)
:
Boolean
Definition Classes
InferencerCompat
→ Inferencer
def
isCompatibleArgs
(
tps:
List
[
scala.tools.nsc.Global.Type
]
,
pts:
List
[
scala.tools.nsc.Global.Type
]
)
:
Boolean
Definition Classes
Inferencer
def
isConservativelyCompatible
(
tp:
scala.tools.nsc.Global.Type
,
pt:
scala.tools.nsc.Global.Type
)
:
Boolean
Definition Classes
Inferencer
def
isInProperSubClassOrObject
(
sym1:
scala.tools.nsc.Global.Symbol
,
sym2:
scala.tools.nsc.Global.Symbol
)
:
Boolean
Definition Classes
Inferencer
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
isInstantiatable
(
tvars:
List
[
scala.tools.nsc.Global.TypeVar
]
)
:
Boolean
Definition Classes
Inferencer
def
isProperSubClassOrObject
(
sym1:
scala.tools.nsc.Global.Symbol
,
sym2:
scala.tools.nsc.Global.Symbol
)
:
Boolean
Definition Classes
Inferencer
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
def
isUncheckable
(
P0:
scala.tools.nsc.Global.Type
)
:
Boolean
Definition Classes
InferCheckable
def
isWeaklyCompatible
(
tp:
scala.tools.nsc.Global.Type
,
pt:
scala.tools.nsc.Global.Type
)
:
Boolean
Definition Classes
Inferencer
def
makeFullyDefined
(
tp:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Type
Definition Classes
Inferencer
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
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
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
def
setError
[
T <:
scala.tools.nsc.Global.Tree
]
(
tree:
T
)
:
T
Definition Classes
Inferencer
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
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
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
Inherited from
Analyzer.Inferencer
Inherited from
Analyzer.InferCheckable
Inherited from
Analyzer.InferencerContextErrors
Inherited from
AnyRef
Inherited from
Any
Ungrouped