trait TypeDiagnostics extends scala.tools.nsc.typechecker.TypeDiagnostics with Formatting
Ordering
- Alphabetic
- By Inheritance
Inherited
- TypeDiagnostics
- Formatting
- ImplicitMsgCompat
- 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.TypeDiagnostics.this)#TypeDiag] with Product with Serializable
- Definition Classes
- TypeDiagnostics
- trait TyperDiagnostics extends AnyRef
- Definition Classes
- TypeDiagnostics
- class checkUnused 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
- object TermNameCompat
- Definition Classes
- Compat
- object FunctionFormatter extends Analyzer.SpecialFormatter
- Definition Classes
- Formatters
- object SLRecordItemFormatter extends Analyzer.SpecialFormatter
- Definition Classes
- Formatters
- object TupleFormatter extends Analyzer.SpecialFormatter
- Definition Classes
- Formatters
- 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
- 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
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
- def cacheStats: String
- Definition Classes
- Formatting
- def clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws(classOf[java.lang.CloneNotSupportedException])
- 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 finalOwners(tpe: scala.tools.nsc.Global.Type): Boolean
- Definition Classes
- TypeDiagnostics
- def finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- 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
- 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 formatMsg(msg: Analyzer.Message, param: scala.tools.nsc.Global.Symbol, tpe: scala.tools.nsc.Global.Type): String
- Definition Classes
- ImplicitMsgCompat
- def formatNestedImplicit(err: Analyzer.ImpFailReason): (String, List[String], Int)
- Definition Classes
- Formatting
- 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.fand once asf.ImpFailReason.equalschecks the simple names for identity, which is suboptimal, but works for 99% of cases. Special cases are handled in hideImpError- 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
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- 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
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- 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
- final def recursivelyFinal(tpe: scala.tools.nsc.Global.Type): Boolean
- Definition Classes
- TypeDiagnostics
- Annotations
- @tailrec()
- 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
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
- 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(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws(classOf[java.lang.InterruptedException])
- 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