t

splain

TypeDiagnostics

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
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TypeDiagnostics
  2. Formatting
  3. Formatters
  4. Compat
  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 TypeDiag extends Ordered[scala.tools.nsc.typechecker.Analyzer.TypeDiag] with Product with Serializable
    Definition Classes
    TypeDiagnostics
  3. 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 featureTree: Boolean
    Definition Classes
    Formatting
  8. abstract def featureTruncRefined: Option[Int]
    Definition Classes
    Formatting

Concrete Value Members

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