splain
TypeDiagnostics
Related Doc:
package splain
trait
TypeDiagnostics
extends
scala.tools.nsc.typechecker.TypeDiagnostics
with
Formatting
Self Type
Analyzer
Linear Supertypes
Formatting
,
Formatters
,
Compat
,
scala.tools.nsc.typechecker.TypeDiagnostics
,
AnyRef
,
Any
Known Subclasses
Analyzer
Ordering
Alphabetic
By Inheritance
Inherited
TypeDiagnostics
Formatting
Formatters
Compat
TypeDiagnostics
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
trait
SpecialFormatter
extends
AnyRef
Definition Classes
Formatters
case class
TypeDiag
extends
Ordered
[
scala.tools.nsc.typechecker.Analyzer.TypeDiag
] with
Product
with
Serializable
Definition Classes
TypeDiagnostics
trait
TyperDiagnostics
extends
AnyRef
Definition Classes
TypeDiagnostics
Abstract Value Members
abstract
def
featureBoundsImplicits
:
Boolean
Definition Classes
Formatting
abstract
def
featureBreakInfix
:
Option
[
Int
]
Definition Classes
Formatting
abstract
def
featureColor
:
Boolean
Definition Classes
Formatting
abstract
def
featureCompact
:
Boolean
Definition Classes
Formatting
abstract
def
featureFoundReq
:
Boolean
abstract
def
featureInfix
:
Boolean
Definition Classes
Formatting
abstract
def
featureTree
:
Boolean
Definition Classes
Formatting
abstract
def
featureTruncRefined
:
Option
[
Int
]
Definition Classes
Formatting
Concrete 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
FunctionFormatter
extends
Analyzer.SpecialFormatter
Definition Classes
Formatters
object
SLRecordItemFormatter
extends
Analyzer.SpecialFormatter
Definition Classes
Formatters
object
TermNameCompat
Definition Classes
Compat
object
TupleFormatter
extends
Analyzer.SpecialFormatter
Definition Classes
Formatters
def
abstractVarMessage
(
sym:
scala.tools.nsc.Global.Symbol
)
:
String
Definition Classes
TypeDiagnostics
def
alternatives
(
tree:
scala.tools.nsc.Global.Tree
)
:
List
[
scala.tools.nsc.Global.Type
]
Definition Classes
TypeDiagnostics
def
alternativesString
(
tree:
scala.tools.nsc.Global.Tree
)
:
String
Definition Classes
TypeDiagnostics
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
bracket
[
A
]
(
params:
List
[
A
]
)
:
String
Definition Classes
Formatting
def
breakInfix
(
types:
List
[
Formatted
]
)
:
TypeRepr
Definition Classes
Formatting
def
cacheStats
:
String
Definition Classes
Formatting
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
implicit
def
colors
:
StringColor
Definition Classes
Formatting
def
ctorNames
(
tpe:
scala.tools.nsc.Global.Type
)
:
List
[
String
]
Definition Classes
Formatting
def
dealias
(
tpe:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Type
Definition Classes
Formatting
def
decideBreak
(
flat:
FlatType
,
broken: ⇒
BrokenType
)
:
TypeRepr
Definition Classes
Formatting
def
decodeWithKind
(
name:
scala.tools.nsc.Global.Name
,
owner:
scala.tools.nsc.Global.Symbol
)
:
String
Definition Classes
TypeDiagnostics
def
deepestLevel
(
chain:
List
[
Analyzer.ImpFailReason
]
)
:
Int
Definition Classes
Formatting
def
disambiguate
(
ss:
List
[
String
]
)
:
List
[
String
]
Definition Classes
TypeDiagnostics
def
echo
(
msg:
String
)
:
Unit
Definition Classes
Compat
def
effectiveImplicitType
(
tpe:
scala.tools.nsc.Global.Type
)
:
scala.tools.nsc.Global.Type
Definition Classes
Formatting
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
exampleTuplePattern
(
names:
List
[
scala.tools.nsc.Global.Name
]
)
:
String
Definition Classes
TypeDiagnostics
def
existentialContext
(
tp:
scala.tools.nsc.Global.Type
)
:
String
Definition Classes
TypeDiagnostics
def
explainAlias
(
tp:
scala.tools.nsc.Global.Type
)
:
String
Definition Classes
TypeDiagnostics
def
explainAnyVsAnyRef
(
found:
scala.tools.nsc.Global.Type
,
req:
scala.tools.nsc.Global.Type
)
:
String
Definition Classes
TypeDiagnostics
def
explainVariance
(
found:
scala.tools.nsc.Global.Type
,
req:
scala.tools.nsc.Global.Type
)
:
String
Definition Classes
TypeDiagnostics
def
extractArgs
(
tpe:
scala.tools.nsc.Global.Type
)
:
List
[
scala.tools.nsc.Global.Type
]
Definition Classes
Formatting
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
def
flattenInfix
(
tpe:
Infix
)
:
List
[
Formatted
]
Definition Classes
Formatting
def
formatAuxSimple
(
tpe:
scala.tools.nsc.Global.Type
)
:
String
Definition Classes
Formatting
def
formatDiff
(
left:
scala.tools.nsc.Global.Type
,
right:
scala.tools.nsc.Global.Type
,
top:
Boolean
)
:
Formatted
Definition Classes
Formatting
val
formatDiffCache
:
FormatCache
[(
scala.tools.nsc.Global.Type
,
scala.tools.nsc.Global.Type
,
Boolean
),
Formatted
]
Definition Classes
Formatting
def
formatDiffImpl
(
found:
scala.tools.nsc.Global.Type
,
req:
scala.tools.nsc.Global.Type
,
top:
Boolean
)
:
Formatted
Definition Classes
Formatting
def
formatDiffInfix
(
left:
scala.tools.nsc.Global.Type
,
right:
scala.tools.nsc.Global.Type
,
top:
Boolean
)
:
Formatted
Definition Classes
Formatting
def
formatDiffSimple
(
left:
scala.tools.nsc.Global.Type
,
right:
scala.tools.nsc.Global.Type
)
:
Diff
Definition Classes
Formatting
def
formatDiffSpecial
(
left:
scala.tools.nsc.Global.Type
,
right:
scala.tools.nsc.Global.Type
,
top:
Boolean
)
:
Option
[
Formatted
]
Definition Classes
Formatting
def
formatFunction
(
args:
List
[
String
]
)
:
String
Definition Classes
Formatting
def
formatImplicitChain
(
chain:
List
[
Analyzer.ImpFailReason
]
)
:
List
[
String
]
Definition Classes
Formatting
def
formatImplicitChainFlat
(
chain:
List
[
Analyzer.ImpFailReason
]
)
:
List
[
String
]
Definition Classes
Formatting
def
formatImplicitChainTree
(
chain:
List
[
Analyzer.ImpFailReason
]
)
:
List
[
String
]
Definition Classes
Formatting
def
formatImplicitChainTreeCompact
(
chain:
List
[
Analyzer.ImpFailReason
]
)
:
Option
[
List
[
String
]]
Definition Classes
Formatting
def
formatImplicitChainTreeFull
(
chain:
List
[
Analyzer.ImpFailReason
]
)
:
List
[
String
]
Definition Classes
Formatting
def
formatImplicitError
(
param:
scala.tools.nsc.Global.Symbol
,
errors:
List
[
Analyzer.ImpFailReason
]
)
:
String
Definition Classes
Formatting
def
formatImplicitParam
(
sym:
scala.tools.nsc.Global.Symbol
)
:
String
Definition Classes
Formatting
def
formatIndentTree
(
chain:
List
[
Analyzer.ImpFailReason
]
,
baseIndent:
Int
)
:
List
[
String
]
Definition Classes
Formatting
def
formatInfix
[
A
]
(
simple:
String
,
left:
A
,
right:
A
,
top:
Boolean
,
rec: (
A
) ⇒ (
Boolean
) ⇒
Formatted
)
:
Infix
Definition Classes
Formatting
def
formatNestedImplicit
(
err:
Analyzer.ImpFailReason
)
: (
String
,
List
[
String
],
Int
)
Definition Classes
Formatting
def
formatNestedImplicits
(
errors:
List
[
Analyzer.ImpFailReason
]
)
:
List
[
String
]
Definition Classes
Formatting
def
formatNonConfBounds
(
err:
Analyzer.NonConfBounds
)
:
List
[
String
]
Definition Classes
Formatting
def
formatNormalSimple
(
tpe:
scala.tools.nsc.Global.Type
)
:
String
Definition Classes
Formatting
def
formatRefinement
(
sym:
scala.tools.nsc.Global.Symbol
)
:
String
Definition Classes
Formatting
def
formatSimpleType
(
tpe:
scala.tools.nsc.Global.Type
)
:
String
Definition Classes
Formatting
def
formatSpecial
[
A
]
(
tpe:
scala.tools.nsc.Global.Type
,
simple:
String
,
args:
List
[
A
]
,
formattedArgs: ⇒
List
[
Formatted
]
,
top:
Boolean
,
rec: (
A
) ⇒ (
Boolean
) ⇒
Formatted
)
:
Option
[
Formatted
]
Definition Classes
Formatting
def
formatType
(
tpe:
scala.tools.nsc.Global.Type
,
top:
Boolean
)
:
Formatted
Definition Classes
Formatting
→
Formatters
val
formatTypeCache
:
FormatCache
[(
scala.tools.nsc.Global.Type
,
Boolean
),
Formatted
]
Definition Classes
Formatting
def
formatTypeImpl
(
tpe:
scala.tools.nsc.Global.Type
,
top:
Boolean
)
:
Formatted
Definition Classes
Formatting
def
formatWithInfix
[
A
]
(
tpe:
scala.tools.nsc.Global.Type
,
args:
List
[
A
]
,
top:
Boolean
,
rec: (
A
) ⇒ (
Boolean
) ⇒
Formatted
)
:
Formatted
Definition Classes
Formatting
def
foundReqMsg
(
found:
scala.tools.nsc.Global.Type
,
req:
scala.tools.nsc.Global.Type
)
:
String
Definition Classes
TypeDiagnostics
→ TypeDiagnostics
def
foundReqMsgShort
(
found:
scala.tools.nsc.Global.Type
,
req:
scala.tools.nsc.Global.Type
)
:
TypeRepr
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
def
hideImpError
(
error:
Analyzer.ImpFailReason
)
:
Boolean
Definition Classes
Formatting
def
implicitMessage
(
param:
scala.tools.nsc.Global.Symbol
)
:
List
[
String
]
Definition Classes
Formatting
def
indent
(
lines:
List
[
String
]
,
n:
Int
=
1
,
prefix:
String
=
" "
)
:
List
[
String
]
Definition Classes
Formatting
def
indentLine
(
line:
String
,
n:
Int
=
1
,
prefix:
String
=
" "
)
:
String
Definition Classes
Formatting
def
indentTree
(
tree:
List
[(
String
,
List
[
String
],
Int
)]
,
baseIndent:
Int
)
:
List
[
String
]
Definition Classes
Formatting
def
isAux
(
tpe:
scala.tools.nsc.Global.Type
)
:
Boolean
Definition Classes
Formatting
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
isRefined
(
tpe:
scala.tools.nsc.Global.Type
)
:
Boolean
Definition Classes
Formatting
def
isSymbolic
(
tpe:
scala.tools.nsc.Global.Type
)
:
Boolean
Definition Classes
Formatting
def
linePrecedes
(
t1:
scala.tools.nsc.Global.Tree
,
t2:
scala.tools.nsc.Global.Tree
)
:
Boolean
Definition Classes
TypeDiagnostics
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
overrideMessage
(
msg:
String
)
:
Option
[
String
]
Definition Classes
Formatting
def
posPrecedes
(
p1:
scala.tools.nsc.Global.Position
,
p2:
scala.tools.nsc.Global.Position
)
:
Boolean
Definition Classes
TypeDiagnostics
def
restrictionError
(
pos:
scala.tools.nsc.Global.Position
,
unit:
scala.tools.nsc.Global.CompilationUnit
,
msg:
String
)
:
Unit
Definition Classes
TypeDiagnostics
def
restrictionWarning
(
pos:
scala.tools.nsc.Global.Position
,
unit:
scala.tools.nsc.Global.CompilationUnit
,
msg:
String
)
:
Unit
Definition Classes
TypeDiagnostics
def
setAddendum
(
pos:
scala.tools.nsc.Global.Position
,
msg: () ⇒
String
)
:
Unit
Definition Classes
TypeDiagnostics
def
showFormatted
(
tpe:
Formatted
,
break:
Boolean
)
:
String
Definition Classes
Formatting
def
showFormattedL
(
tpe:
Formatted
,
break:
Boolean
)
:
TypeRepr
Definition Classes
Formatting
def
showFormattedLBreak
(
tpe:
Formatted
)
:
TypeRepr
Definition Classes
Formatting
val
showFormattedLCache
:
FormatCache
[(
Formatted
,
Boolean
),
TypeRepr
]
Definition Classes
Formatting
def
showFormattedLImpl
(
tpe:
Formatted
,
break:
Boolean
)
:
TypeRepr
Definition Classes
Formatting
def
showFormattedLNoBreak
(
tpe:
Formatted
)
:
TypeRepr
Definition Classes
Formatting
def
showFormattedNoBreak
(
tpe:
Formatted
)
:
String
Definition Classes
Formatting
def
showSLRecordItem
(
key:
Formatted
,
value:
Formatted
)
:
FlatType
Definition Classes
Formatting
def
showStats
[
A
]
(
desc:
String
,
run: ⇒
A
)
:
A
def
showTuple
(
args:
List
[
String
]
)
:
String
Definition Classes
Formatting
def
showType
(
tpe:
scala.tools.nsc.Global.Type
)
:
String
Definition Classes
Formatting
def
showTypeApply
(
cons:
String
,
args:
List
[
TypeRepr
]
,
break:
Boolean
)
:
TypeRepr
Definition Classes
Formatting
def
showTypeBreak
(
tpe:
scala.tools.nsc.Global.Type
)
:
String
Definition Classes
Formatting
def
showTypeBreakL
(
tpe:
scala.tools.nsc.Global.Type
)
:
List
[
String
]
Definition Classes
Formatting
val
specialFormatters
:
List
[
Analyzer.SpecialFormatter
]
Definition Classes
Formatting
def
splitChains
(
errors:
List
[
Analyzer.ImpFailReason
]
)
:
List
[
List
[
Analyzer.ImpFailReason
]]
Definition Classes
Formatting
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
def
treeSymTypeMsg
(
tree:
scala.tools.nsc.Global.Tree
)
:
String
Definition Classes
TypeDiagnostics
def
typePatternAdvice
(
sym:
scala.tools.nsc.Global.Symbol
,
ptSym:
scala.tools.nsc.Global.Symbol
)
:
String
Definition Classes
TypeDiagnostics
def
typingInPattern
[
T
]
(
body: ⇒
T
)
:
T
Definition Classes
TypeDiagnostics
def
underlyingSymbol
(
member:
scala.tools.nsc.Global.Symbol
)
:
scala.tools.nsc.Global.Symbol
Definition Classes
TypeDiagnostics
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
(
...
)
def
withAddendum
(
pos:
scala.tools.nsc.Global.Position
)
: (
String
) ⇒
String
Definition Classes
TypeDiagnostics
def
withDisambiguation
[
T
]
(
locals:
List
[
scala.tools.nsc.Global.Symbol
]
,
types:
scala.tools.nsc.Global.Type
*
)
(
op: ⇒
T
)
:
T
Definition Classes
TypeDiagnostics
def
wrapParens
(
expr:
String
,
top:
Boolean
)
:
String
Definition Classes
Formatting
def
wrapParensRepr
(
tpe:
TypeRepr
,
top:
Boolean
)
:
TypeRepr
Definition Classes
Formatting
Inherited from
Formatting
Inherited from
Formatters
Inherited from
Compat
Inherited from
scala.tools.nsc.typechecker.TypeDiagnostics
Inherited from
AnyRef
Inherited from
Any
Ungrouped