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