t

splain

TypeDiagnostics

trait TypeDiagnostics extends scala.tools.nsc.typechecker.TypeDiagnostics with Formatting

Self Type
Analyzer
Linear Supertypes
Formatting, ImplicitMsgCompat, Formatters, scala.tools.nsc.typechecker.TypeDiagnostics, AnyRef, Any
Known Subclasses
Analyzer
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TypeDiagnostics
  2. Formatting
  3. ImplicitMsgCompat
  4. Formatters
  5. TypeDiagnostics
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class TypeDiag extends Ordered[(scala.tools.nsc.typechecker.TypeDiagnostics.this)#TypeDiag] with Product with Serializable
    Definition Classes
    TypeDiagnostics
  2. trait TyperDiagnostics extends AnyRef
    Definition Classes
    TypeDiagnostics
  3. class UnusedPrivates extends scala.tools.nsc.Global.Traverser
    Definition Classes
    TypeDiagnostics
  4. class checkUnused extends AnyRef
    Definition Classes
    TypeDiagnostics
  5. trait SpecialFormatter extends AnyRef
    Definition Classes
    Formatters
  6. case class MatchRewrite(target: String) extends Product with Serializable
    Definition Classes
    Formatting
  7. case class TypeParts(sym: scala.tools.nsc.Global.Symbol, tt: scala.tools.nsc.Global.Type) extends Product with Serializable
    Definition Classes
    Formatting

Abstract Value Members

  1. abstract def featureBoundsImplicits: Boolean
    Definition Classes
    Formatting
  2. abstract def featureBreakInfix: Option[Int]
    Definition Classes
    Formatting
  3. abstract def featureColor: Boolean
    Definition Classes
    Formatting
  4. abstract def featureCompact: Boolean
    Definition Classes
    Formatting
  5. abstract def featureFoundReq: Boolean
  6. abstract def featureInfix: Boolean
    Definition Classes
    Formatting
  7. abstract def featureKeepModules: Option[Int]
    Definition Classes
    Formatting
  8. abstract def featureRewrite: String
    Definition Classes
    Formatting
  9. abstract def featureTree: Boolean
    Definition Classes
    Formatting
  10. abstract def featureTruncRefined: Option[Int]
    Definition Classes
    Formatting

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 abstractVarMessage(sym: scala.tools.nsc.Global.Symbol): String
    Definition Classes
    TypeDiagnostics
  5. def alternatives(tree: scala.tools.nsc.Global.Tree): List[scala.tools.nsc.Global.Type]
    Definition Classes
    TypeDiagnostics
  6. def alternativesString(tree: scala.tools.nsc.Global.Tree): String
    Definition Classes
    TypeDiagnostics
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. def bracket[A](params: List[A]): String
    Definition Classes
    Formatting
  9. def breakInfix(types: List[Formatted]): TypeRepr

    Break a list produced by flattenInfix into lines by taking two elements at a time, then appending the terminal.

    Break a list produced by flattenInfix into lines by taking two elements at a time, then appending the terminal. If the expression's length is smaller than the threshold specified via plugin parameter, return a single line.

    Definition Classes
    Formatting
  10. def cacheStats: String
    Definition Classes
    Formatting
  11. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @HotSpotIntrinsicCandidate()
  12. implicit def colors: StringColor
    Definition Classes
    Formatting
  13. def ctorNames(tpe: scala.tools.nsc.Global.Type): List[String]
    Definition Classes
    Formatting
  14. def dealias(tpe: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Type
    Definition Classes
    Formatting
  15. def decideBreak(flat: FlatType, broken: ⇒ BrokenType): TypeRepr
    Definition Classes
    Formatting
  16. def decodeWithKind(name: scala.tools.nsc.Global.Name, owner: scala.tools.nsc.Global.Symbol): String
    Definition Classes
    TypeDiagnostics
  17. def deepestLevel(chain: List[Analyzer.ImpFailReason]): Int
    Definition Classes
    Formatting
  18. def disambiguate(ss: List[String]): List[String]
    Definition Classes
    TypeDiagnostics
  19. def effectiveImplicitType(tpe: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Type
    Definition Classes
    Formatting
  20. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  21. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  22. final def exampleTuplePattern(names: List[scala.tools.nsc.Global.Name]): String
    Definition Classes
    TypeDiagnostics
  23. def existentialContext(tp: scala.tools.nsc.Global.Type): String
    Definition Classes
    TypeDiagnostics
  24. def explainAlias(tp: scala.tools.nsc.Global.Type): String
    Definition Classes
    TypeDiagnostics
  25. def explainAnyVsAnyRef(found: scala.tools.nsc.Global.Type, req: scala.tools.nsc.Global.Type): String
    Definition Classes
    TypeDiagnostics
  26. def explainVariance(found: scala.tools.nsc.Global.Type, req: scala.tools.nsc.Global.Type): String
    Definition Classes
    TypeDiagnostics
  27. def extractArgs(tpe: scala.tools.nsc.Global.Type): List[scala.tools.nsc.Global.Type]
    Definition Classes
    Formatting
  28. def finalOwners(tpe: scala.tools.nsc.Global.Type): Boolean
    Definition Classes
    TypeDiagnostics
  29. def flattenInfix(tpe: Infix): List[Formatted]

    Turn a nested infix type structure into a flat list ::[A, ::[B, C]]] => List(A, ::, B, ::, C)

    Turn a nested infix type structure into a flat list ::[A, ::[B, C]]] => List(A, ::, B, ::, C)

    Definition Classes
    Formatting
  30. def formatAuxSimple(tpe: scala.tools.nsc.Global.Type): (List[String], String)
    Definition Classes
    Formatting
  31. def formatDiff(left: scala.tools.nsc.Global.Type, right: scala.tools.nsc.Global.Type, top: Boolean): Formatted
    Definition Classes
    Formatting
  32. val formatDiffCache: FormatCache[(scala.tools.nsc.Global.Type, scala.tools.nsc.Global.Type, Boolean), Formatted]
    Definition Classes
    Formatting
  33. def formatDiffImpl(found: scala.tools.nsc.Global.Type, req: scala.tools.nsc.Global.Type, top: Boolean): Formatted
    Definition Classes
    Formatting
  34. def formatDiffInfix(left: scala.tools.nsc.Global.Type, right: scala.tools.nsc.Global.Type, top: Boolean): Formatted
    Definition Classes
    Formatting
  35. def formatDiffSimple(left: scala.tools.nsc.Global.Type, right: scala.tools.nsc.Global.Type): Formatted
    Definition Classes
    Formatting
  36. def formatDiffSpecial(left: scala.tools.nsc.Global.Type, right: scala.tools.nsc.Global.Type, top: Boolean): Option[Formatted]
    Definition Classes
    Formatting
  37. def formatFunction(args: List[String]): String
    Definition Classes
    Formatting
  38. def formatImplicitChain(chain: List[Analyzer.ImpFailReason]): List[String]
    Definition Classes
    Formatting
  39. def formatImplicitChainFlat(chain: List[Analyzer.ImpFailReason]): List[String]
    Definition Classes
    Formatting
  40. def formatImplicitChainTree(chain: List[Analyzer.ImpFailReason]): List[String]
    Definition Classes
    Formatting
  41. def formatImplicitChainTreeCompact(chain: List[Analyzer.ImpFailReason]): Option[List[String]]
    Definition Classes
    Formatting
  42. def formatImplicitChainTreeFull(chain: List[Analyzer.ImpFailReason]): List[String]
    Definition Classes
    Formatting
  43. def formatImplicitError(param: scala.tools.nsc.Global.Symbol, errors: List[Analyzer.ImpFailReason]): String
    Definition Classes
    Formatting
  44. def formatImplicitParam(sym: scala.tools.nsc.Global.Symbol): String
    Definition Classes
    Formatting
  45. def formatIndentTree(chain: List[Analyzer.ImpFailReason], baseIndent: Int): List[String]
    Definition Classes
    Formatting
  46. def formatInfix[A](path: List[String], simple: String, left: A, right: A, top: Boolean, rec: (A) ⇒ (Boolean) ⇒ Formatted): Infix
    Definition Classes
    Formatting
  47. def formatMsg(msg: Analyzer.Message, param: scala.tools.nsc.Global.Symbol, tpe: scala.tools.nsc.Global.Type): String
    Definition Classes
    ImplicitMsgCompat
  48. def formatNestedImplicit(err: Analyzer.ImpFailReason): (String, List[String], Int)
    Definition Classes
    Formatting
  49. def formatNestedImplicits(errors: List[Analyzer.ImpFailReason]): List[String]

    Remove duplicates and special cases that should not be shown.

    Remove duplicates and special cases that should not be shown. In some cases, candidates are reported twice, once as Foo.f and once as f. ImpFailReason.equals checks the simple names for identity, which is suboptimal, but works for 99% of cases. Special cases are handled in hideImpError

    Definition Classes
    Formatting
  50. def formatNonConfBounds(err: Analyzer.NonConfBounds): List[String]
    Definition Classes
    Formatting
  51. def formatNormalSimple(tpe: scala.tools.nsc.Global.Type): (List[String], String)
    Definition Classes
    Formatting
  52. def formatSimpleType(tpe: scala.tools.nsc.Global.Type): (List[String], String)
    Definition Classes
    Formatting
  53. 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
  54. def formatType(tpe: scala.tools.nsc.Global.Type, top: Boolean): Formatted
    Definition Classes
    Formatting → Formatters
  55. val formatTypeCache: FormatCache[(scala.tools.nsc.Global.Type, Boolean), Formatted]
    Definition Classes
    Formatting
  56. def formatTypeImpl(tpe: scala.tools.nsc.Global.Type, top: Boolean): Formatted
    Definition Classes
    Formatting
  57. def formatWithInfix[A](tpe: scala.tools.nsc.Global.Type, args: List[A], top: Boolean, rec: (A) ⇒ (Boolean) ⇒ Formatted): Formatted
    Definition Classes
    Formatting
  58. def formattedDiff: (Formatted, Formatted) ⇒ String
    Definition Classes
    Formatting
  59. def foundReqMsg(found: scala.tools.nsc.Global.Type, req: scala.tools.nsc.Global.Type): String
    Definition Classes
    TypeDiagnostics → TypeDiagnostics
  60. def foundReqMsgShort(found: scala.tools.nsc.Global.Type, req: scala.tools.nsc.Global.Type): TypeRepr
  61. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  62. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  63. def hideImpError(error: Analyzer.ImpFailReason): Boolean
    Definition Classes
    Formatting
  64. def implicitMessage(param: scala.tools.nsc.Global.Symbol): List[String]
    Definition Classes
    Formatting
  65. def indent(lines: List[String], n: Int = 1, prefix: String = " "): List[String]
    Definition Classes
    Formatting
  66. def indentLine(line: String, n: Int = 1, prefix: String = " "): String
    Definition Classes
    Formatting
  67. def indentTree(tree: List[(String, List[String], Int)], baseIndent: Int): List[String]
    Definition Classes
    Formatting
  68. def isAux(tpe: scala.tools.nsc.Global.Type): Boolean
    Definition Classes
    Formatting
  69. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  70. def isRefined(tpe: scala.tools.nsc.Global.Type): Boolean
    Definition Classes
    Formatting
  71. def isSymbolic(tpe: scala.tools.nsc.Global.Type): Boolean
    Definition Classes
    Formatting
  72. def linePrecedes(t1: scala.tools.nsc.Global.Tree, t2: scala.tools.nsc.Global.Tree): Boolean
    Definition Classes
    TypeDiagnostics
  73. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  74. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  75. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  76. def overrideMessage(msg: String): Option[String]
    Definition Classes
    Formatting
  77. def pathPrefix: (List[String]) ⇒ String
    Definition Classes
    Formatting
  78. def posPrecedes(p1: scala.tools.nsc.Global.Position, p2: scala.tools.nsc.Global.Position): Boolean
    Definition Classes
    TypeDiagnostics
  79. def qualifiedName(path: List[String], name: String): String
    Definition Classes
    Formatting
  80. final def recursivelyFinal(tpe: scala.tools.nsc.Global.Type): Boolean
    Definition Classes
    TypeDiagnostics
    Annotations
    @tailrec()
  81. def restrictionError(pos: scala.tools.nsc.Global.Position, unit: scala.tools.nsc.Global.CompilationUnit, msg: String): Unit
    Definition Classes
    TypeDiagnostics
  82. def restrictionWarning(pos: scala.tools.nsc.Global.Position, unit: scala.tools.nsc.Global.CompilationUnit, msg: String, category: WarningCategory, site: scala.tools.nsc.Global.Symbol): Unit
    Definition Classes
    TypeDiagnostics
  83. def rewriteRegexes: List[(Regex, String)]
    Definition Classes
    Formatting
  84. def sanitizePath(path: List[String]): List[String]
    Definition Classes
    Formatting
  85. def setAddendum(pos: scala.tools.nsc.Global.Position, msg: () ⇒ String): Unit
    Definition Classes
    TypeDiagnostics
  86. def showFormatted(tpe: Formatted, break: Boolean): String
    Definition Classes
    Formatting
  87. def showFormattedL(tpe: Formatted, break: Boolean): TypeRepr
    Definition Classes
    Formatting
  88. def showFormattedLBreak(tpe: Formatted): TypeRepr
    Definition Classes
    Formatting
  89. val showFormattedLCache: FormatCache[(Formatted, Boolean), TypeRepr]
    Definition Classes
    Formatting
  90. def showFormattedLImpl(tpe: Formatted, break: Boolean): TypeRepr
    Definition Classes
    Formatting
  91. def showFormattedLNoBreak(tpe: Formatted): TypeRepr
    Definition Classes
    Formatting
  92. def showFormattedNoBreak(tpe: Formatted): String
    Definition Classes
    Formatting
  93. def showFormattedQualified(path: List[String], name: String): TypeRepr
    Definition Classes
    Formatting
  94. def showFuncParams(args: List[String]): String
    Definition Classes
    Formatting
  95. def showRefined(parents: List[String], decls: List[String]): String
    Definition Classes
    Formatting
  96. def showSLRecordItem(key: Formatted, value: Formatted): FlatType
    Definition Classes
    Formatting
  97. def showStats[A](desc: String, run: ⇒ A): A
  98. def showTuple(args: List[String]): String
    Definition Classes
    Formatting
  99. def showType(tpe: scala.tools.nsc.Global.Type): String
    Definition Classes
    Formatting
  100. def showTypeApply(cons: String, args: List[TypeRepr], break: Boolean): TypeRepr

    If the args of an applied type constructor are multiline, create separate lines for the constructor name and the closing bracket; else return a single line.

    If the args of an applied type constructor are multiline, create separate lines for the constructor name and the closing bracket; else return a single line.

    Definition Classes
    Formatting
  101. def showTypeBreak(tpe: scala.tools.nsc.Global.Type): String
    Definition Classes
    Formatting
  102. def showTypeBreakL(tpe: scala.tools.nsc.Global.Type): List[String]
    Definition Classes
    Formatting
  103. val specialFormatters: List[Analyzer.SpecialFormatter]
    Definition Classes
    Formatting
  104. def splitChains(errors: List[Analyzer.ImpFailReason]): List[List[Analyzer.ImpFailReason]]
    Definition Classes
    Formatting
  105. def stripModules(path: List[String], name: String): (Option[Int]) ⇒ String
    Definition Classes
    Formatting
  106. def stripType(tpe: scala.tools.nsc.Global.Type): (List[String], String)
    Definition Classes
    Formatting
  107. def symbolPath(sym: scala.tools.nsc.Global.Symbol): List[String]
    Definition Classes
    Formatting
  108. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  109. def toString(): String
    Definition Classes
    AnyRef → Any
  110. def treeSymTypeMsg(tree: scala.tools.nsc.Global.Tree): String
    Definition Classes
    TypeDiagnostics
  111. def truncateDecls(decls: List[Formatted]): Boolean
    Definition Classes
    Formatting
  112. def typePatternAdvice(sym: scala.tools.nsc.Global.Symbol, ptSym: scala.tools.nsc.Global.Symbol): String
    Definition Classes
    TypeDiagnostics
  113. def typingInPattern[T](body: ⇒ T): T
    Definition Classes
    TypeDiagnostics
  114. def underlyingSymbol(member: scala.tools.nsc.Global.Symbol): scala.tools.nsc.Global.Symbol
    Definition Classes
    TypeDiagnostics
  115. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  116. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  117. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  118. def withAddendum(pos: scala.tools.nsc.Global.Position): (String) ⇒ String
    Definition Classes
    TypeDiagnostics
  119. def withDisambiguation[T](locals: List[scala.tools.nsc.Global.Symbol], types: scala.tools.nsc.Global.Type*)(op: ⇒ T): T
    Definition Classes
    TypeDiagnostics
  120. def wrapParens(expr: String, top: Boolean): String
    Definition Classes
    Formatting
  121. def wrapParensRepr(tpe: TypeRepr, top: Boolean): TypeRepr
    Definition Classes
    Formatting
  122. object ByNameFormatter extends Analyzer.SpecialFormatter
    Definition Classes
    Formatters
  123. object FunctionFormatter extends Analyzer.SpecialFormatter
    Definition Classes
    Formatters
  124. object RefinedFormatter extends Analyzer.SpecialFormatter
    Definition Classes
    Formatters
  125. object SLRecordItemFormatter extends Analyzer.SpecialFormatter
    Definition Classes
    Formatters
  126. object TupleFormatter extends Analyzer.SpecialFormatter
    Definition Classes
    Formatters

Deprecated Value Members

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

Inherited from Formatting

Inherited from ImplicitMsgCompat

Inherited from Formatters

Inherited from scala.tools.nsc.typechecker.TypeDiagnostics

Inherited from AnyRef

Inherited from Any

Ungrouped