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. trait SpecialFormatter extends AnyRef
    Definition Classes
    Formatters
  2. case class MatchRewrite(target: String) extends Product with Serializable
    Definition Classes
    Formatting
  3. case class TypeDiag extends Ordered[(scala.tools.nsc.typechecker.TypeDiagnostics.this)#TypeDiag] with Product with Serializable
    Definition Classes
    TypeDiagnostics
  4. trait TyperDiagnostics extends AnyRef
    Definition Classes
    TypeDiagnostics

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. object ByNameFormatter extends Analyzer.SpecialFormatter
    Definition Classes
    Formatters
  2. object FunctionFormatter extends Analyzer.SpecialFormatter
    Definition Classes
    Formatters
  3. object Refined
    Definition Classes
    Formatters
  4. object RefinedFormatter extends Analyzer.SpecialFormatter
    Definition Classes
    Formatters
  5. object SLRecordItemFormatter extends Analyzer.SpecialFormatter
    Definition Classes
    Formatters
  6. object TupleFormatter extends Analyzer.SpecialFormatter
    Definition Classes
    Formatters
  7. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  8. final def ##(): Int
    Definition Classes
    AnyRef → Any
  9. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  10. def abstractVarMessage(sym: scala.tools.nsc.Global.Symbol): String
    Definition Classes
    TypeDiagnostics
  11. def alternatives(tree: scala.tools.nsc.Global.Tree): List[scala.tools.nsc.Global.Type]
    Definition Classes
    TypeDiagnostics
  12. def alternativesString(tree: scala.tools.nsc.Global.Tree): String
    Definition Classes
    TypeDiagnostics
  13. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  14. def bracket[A](params: List[A]): String
    Definition Classes
    Formatting
  15. 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
  16. def cacheStats: String
    Definition Classes
    Formatting
  17. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate() @throws( ... )
  18. implicit def colors: StringColor
    Definition Classes
    Formatting
  19. def ctorNames(tpe: scala.tools.nsc.Global.Type): List[String]
    Definition Classes
    Formatting
  20. def dealias(tpe: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Type
    Definition Classes
    Formatting
  21. def decideBreak(flat: FlatType, broken: ⇒ BrokenType): TypeRepr
    Definition Classes
    Formatting
  22. def decodeWithKind(name: scala.tools.nsc.Global.Name, owner: scala.tools.nsc.Global.Symbol): String
    Definition Classes
    TypeDiagnostics
  23. def deepestLevel(chain: List[Analyzer.ImpFailReason]): Int
    Definition Classes
    Formatting
  24. def disambiguate(ss: List[String]): List[String]
    Definition Classes
    TypeDiagnostics
  25. def effectiveImplicitType(tpe: scala.tools.nsc.Global.Type): scala.tools.nsc.Global.Type
    Definition Classes
    Formatting
  26. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  27. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  28. final def exampleTuplePattern(names: List[scala.tools.nsc.Global.Name]): String
    Definition Classes
    TypeDiagnostics
  29. def existentialContext(tp: scala.tools.nsc.Global.Type): String
    Definition Classes
    TypeDiagnostics
  30. def explainAlias(tp: scala.tools.nsc.Global.Type): String
    Definition Classes
    TypeDiagnostics
  31. def explainAnyVsAnyRef(found: scala.tools.nsc.Global.Type, req: scala.tools.nsc.Global.Type): String
    Definition Classes
    TypeDiagnostics
  32. def explainVariance(found: scala.tools.nsc.Global.Type, req: scala.tools.nsc.Global.Type): String
    Definition Classes
    TypeDiagnostics
  33. def extractArgs(tpe: scala.tools.nsc.Global.Type): List[scala.tools.nsc.Global.Type]
    Definition Classes
    Formatting
  34. def finalOwners(tpe: scala.tools.nsc.Global.Type): Boolean
    Definition Classes
    TypeDiagnostics
  35. 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
  36. def formatAuxSimple(tpe: scala.tools.nsc.Global.Type): (List[String], String)
    Definition Classes
    Formatting
  37. def formatDiff(left: scala.tools.nsc.Global.Type, right: scala.tools.nsc.Global.Type, top: Boolean): Formatted
    Definition Classes
    Formatting
  38. val formatDiffCache: FormatCache[(scala.tools.nsc.Global.Type, scala.tools.nsc.Global.Type, Boolean), Formatted]
    Definition Classes
    Formatting
  39. def formatDiffImpl(found: scala.tools.nsc.Global.Type, req: scala.tools.nsc.Global.Type, top: Boolean): Formatted
    Definition Classes
    Formatting
  40. def formatDiffInfix(left: scala.tools.nsc.Global.Type, right: scala.tools.nsc.Global.Type, top: Boolean): Formatted
    Definition Classes
    Formatting
  41. def formatDiffSimple(left: scala.tools.nsc.Global.Type, right: scala.tools.nsc.Global.Type): Formatted
    Definition Classes
    Formatting
  42. def formatDiffSpecial(left: scala.tools.nsc.Global.Type, right: scala.tools.nsc.Global.Type, top: Boolean): Option[Formatted]
    Definition Classes
    Formatting
  43. def formatFunction(args: List[String]): String
    Definition Classes
    Formatting
  44. def formatImplicitChain(chain: List[Analyzer.ImpFailReason]): List[String]
    Definition Classes
    Formatting
  45. def formatImplicitChainFlat(chain: List[Analyzer.ImpFailReason]): List[String]
    Definition Classes
    Formatting
  46. def formatImplicitChainTree(chain: List[Analyzer.ImpFailReason]): List[String]
    Definition Classes
    Formatting
  47. def formatImplicitChainTreeCompact(chain: List[Analyzer.ImpFailReason]): Option[List[String]]
    Definition Classes
    Formatting
  48. def formatImplicitChainTreeFull(chain: List[Analyzer.ImpFailReason]): List[String]
    Definition Classes
    Formatting
  49. def formatImplicitError(param: scala.tools.nsc.Global.Symbol, errors: List[Analyzer.ImpFailReason]): String
    Definition Classes
    Formatting
  50. def formatImplicitParam(sym: scala.tools.nsc.Global.Symbol): String
    Definition Classes
    Formatting
  51. def formatIndentTree(chain: List[Analyzer.ImpFailReason], baseIndent: Int): List[String]
    Definition Classes
    Formatting
  52. def formatInfix[A](path: List[String], simple: String, left: A, right: A, top: Boolean, rec: (A) ⇒ (Boolean) ⇒ Formatted): Infix
    Definition Classes
    Formatting
  53. def formatMsg(msg: Analyzer.Message, param: scala.tools.nsc.Global.Symbol, tpe: scala.tools.nsc.Global.Type): String
    Definition Classes
    ImplicitMsgCompat
  54. def formatNestedImplicit(err: Analyzer.ImpFailReason): (String, List[String], Int)
    Definition Classes
    Formatting
  55. 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
  56. def formatNonConfBounds(err: Analyzer.NonConfBounds): List[String]
    Definition Classes
    Formatting
  57. def formatNormalSimple(tpe: scala.tools.nsc.Global.Type): (List[String], String)
    Definition Classes
    Formatting
  58. def formatSimpleType(tpe: scala.tools.nsc.Global.Type): (List[String], String)
    Definition Classes
    Formatting
  59. 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
  60. def formatType(tpe: scala.tools.nsc.Global.Type, top: Boolean): Formatted
    Definition Classes
    Formatting → Formatters
  61. val formatTypeCache: FormatCache[(scala.tools.nsc.Global.Type, Boolean), Formatted]
    Definition Classes
    Formatting
  62. def formatTypeImpl(tpe: scala.tools.nsc.Global.Type, top: Boolean): Formatted
    Definition Classes
    Formatting
  63. def formatWithInfix[A](tpe: scala.tools.nsc.Global.Type, args: List[A], top: Boolean, rec: (A) ⇒ (Boolean) ⇒ Formatted): Formatted
    Definition Classes
    Formatting
  64. def formattedDiff: (Formatted, Formatted) ⇒ String
    Definition Classes
    Formatting
  65. def foundReqMsg(found: scala.tools.nsc.Global.Type, req: scala.tools.nsc.Global.Type): String
    Definition Classes
    TypeDiagnostics → TypeDiagnostics
  66. def foundReqMsgShort(found: scala.tools.nsc.Global.Type, req: scala.tools.nsc.Global.Type): TypeRepr
  67. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  68. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  69. def hideImpError(error: Analyzer.ImpFailReason): Boolean
    Definition Classes
    Formatting
  70. def implicitMessage(param: scala.tools.nsc.Global.Symbol): List[String]
    Definition Classes
    Formatting
  71. def indent(lines: List[String], n: Int = 1, prefix: String = " "): List[String]
    Definition Classes
    Formatting
  72. def indentLine(line: String, n: Int = 1, prefix: String = " "): String
    Definition Classes
    Formatting
  73. def indentTree(tree: List[(String, List[String], Int)], baseIndent: Int): List[String]
    Definition Classes
    Formatting
  74. def isAux(tpe: scala.tools.nsc.Global.Type): Boolean
    Definition Classes
    Formatting
  75. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  76. def isRefined(tpe: scala.tools.nsc.Global.Type): Boolean
    Definition Classes
    Formatting
  77. def isSymbolic(tpe: scala.tools.nsc.Global.Type): Boolean
    Definition Classes
    Formatting
  78. def linePrecedes(t1: scala.tools.nsc.Global.Tree, t2: scala.tools.nsc.Global.Tree): Boolean
    Definition Classes
    TypeDiagnostics
  79. def modulePath: (scala.tools.nsc.Global.Type, scala.tools.nsc.Global.Symbol) ⇒ List[String]
    Definition Classes
    Formatting
  80. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  81. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  82. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  83. def overrideMessage(msg: String): Option[String]
    Definition Classes
    Formatting
  84. def pathPrefix: (List[String]) ⇒ String
    Definition Classes
    Formatting
  85. def posPrecedes(p1: scala.tools.nsc.Global.Position, p2: scala.tools.nsc.Global.Position): Boolean
    Definition Classes
    TypeDiagnostics
  86. def qualifiedName(path: List[String], name: String): String
    Definition Classes
    Formatting
  87. final def recursivelyFinal(tpe: scala.tools.nsc.Global.Type): Boolean
    Definition Classes
    TypeDiagnostics
    Annotations
    @tailrec()
  88. def restrictionError(pos: scala.tools.nsc.Global.Position, unit: scala.tools.nsc.Global.CompilationUnit, msg: String): Unit
    Definition Classes
    TypeDiagnostics
  89. def restrictionWarning(pos: scala.tools.nsc.Global.Position, unit: scala.tools.nsc.Global.CompilationUnit, msg: String): Unit
    Definition Classes
    TypeDiagnostics
  90. def rewriteRegexes: List[(Regex, String)]
    Definition Classes
    Formatting
  91. def sanitizePath(path: List[String]): List[String]
    Definition Classes
    Formatting
  92. def setAddendum(pos: scala.tools.nsc.Global.Position, msg: () ⇒ String): Unit
    Definition Classes
    TypeDiagnostics
  93. def showFormatted(tpe: Formatted, break: Boolean): String
    Definition Classes
    Formatting
  94. def showFormattedL(tpe: Formatted, break: Boolean): TypeRepr
    Definition Classes
    Formatting
  95. def showFormattedLBreak(tpe: Formatted): TypeRepr
    Definition Classes
    Formatting
  96. val showFormattedLCache: FormatCache[(Formatted, Boolean), TypeRepr]
    Definition Classes
    Formatting
  97. def showFormattedLImpl(tpe: Formatted, break: Boolean): TypeRepr
    Definition Classes
    Formatting
  98. def showFormattedLNoBreak(tpe: Formatted): TypeRepr
    Definition Classes
    Formatting
  99. def showFormattedNoBreak(tpe: Formatted): String
    Definition Classes
    Formatting
  100. def showFormattedQualified(path: List[String], name: String): TypeRepr
    Definition Classes
    Formatting
  101. def showFuncParams(args: List[String]): String
    Definition Classes
    Formatting
  102. def showRefined(parents: List[String], decls: List[String]): String
    Definition Classes
    Formatting
  103. def showSLRecordItem(key: Formatted, value: Formatted): FlatType
    Definition Classes
    Formatting
  104. def showStats[A](desc: String, run: ⇒ A): A
  105. def showTuple(args: List[String]): String
    Definition Classes
    Formatting
  106. def showType(tpe: scala.tools.nsc.Global.Type): String
    Definition Classes
    Formatting
  107. 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
  108. def showTypeBreak(tpe: scala.tools.nsc.Global.Type): String
    Definition Classes
    Formatting
  109. def showTypeBreakL(tpe: scala.tools.nsc.Global.Type): List[String]
    Definition Classes
    Formatting
  110. val specialFormatters: List[Analyzer.SpecialFormatter]
    Definition Classes
    Formatting
  111. def splitChains(errors: List[Analyzer.ImpFailReason]): List[List[Analyzer.ImpFailReason]]
    Definition Classes
    Formatting
  112. def stripModules(path: List[String], name: String): (Option[Int]) ⇒ String
    Definition Classes
    Formatting
  113. def stripType(tpe: scala.tools.nsc.Global.Type): (List[String], String)
    Definition Classes
    Formatting
  114. def symbolPath(sym: scala.tools.nsc.Global.Symbol): List[String]
    Definition Classes
    Formatting
  115. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  116. def toString(): String
    Definition Classes
    AnyRef → Any
  117. def treeSymTypeMsg(tree: scala.tools.nsc.Global.Tree): String
    Definition Classes
    TypeDiagnostics
  118. def truncateDecls(decls: List[Formatted]): Boolean
    Definition Classes
    Formatting
  119. def typePatternAdvice(sym: scala.tools.nsc.Global.Symbol, ptSym: scala.tools.nsc.Global.Symbol): String
    Definition Classes
    TypeDiagnostics
  120. def typingInPattern[T](body: ⇒ T): T
    Definition Classes
    TypeDiagnostics
  121. def underlyingSymbol(member: scala.tools.nsc.Global.Symbol): scala.tools.nsc.Global.Symbol
    Definition Classes
    TypeDiagnostics
  122. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  123. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  124. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  125. def withAddendum(pos: scala.tools.nsc.Global.Position): (String) ⇒ String
    Definition Classes
    TypeDiagnostics
  126. def withDisambiguation[T](locals: List[scala.tools.nsc.Global.Symbol], types: scala.tools.nsc.Global.Type*)(op: ⇒ T): T
    Definition Classes
    TypeDiagnostics
  127. def wrapParens(expr: String, top: Boolean): String
    Definition Classes
    Formatting
  128. def wrapParensRepr(tpe: TypeRepr, top: Boolean): TypeRepr
    Definition Classes
    Formatting

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 Formatting

Inherited from ImplicitMsgCompat

Inherited from Formatters

Inherited from scala.tools.nsc.typechecker.TypeDiagnostics

Inherited from AnyRef

Inherited from Any

Ungrouped