scala3-compiler-bootstrapped
API
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.core/TypeError

TypeError

dotty.tools.dotc.core.TypeError
See theTypeError companion object
abstract class TypeError(using creationContext: Context) extends Exception

Attributes

Companion
object
Graph
Supertypes
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
Known subtypes
class MissingType

Members list

Value members

Abstract methods

def toMessage(using Context): Message

Convert to message. This takes an additional Context, so that we use the context when the message is first produced, i.e. when the TypeError is handled. This makes a difference for CyclicErrors since we need to know the context where the completed symbol is referenced, but the creation context of the CyclicReference is the completion context for the symbol. See i2887b for a test case, where we want to see "recursive or overloaded method needs result type".

Convert to message. This takes an additional Context, so that we use the context when the message is first produced, i.e. when the TypeError is handled. This makes a difference for CyclicErrors since we need to know the context where the completed symbol is referenced, but the creation context of the CyclicReference is the completion context for the symbol. See i2887b for a test case, where we want to see "recursive or overloaded method needs result type".

Attributes

Concrete methods

def computeStackTrace: Boolean

Will the stack trace of this exception be filled in? This is expensive and only useful for debugging purposes.

Will the stack trace of this exception be filled in? This is expensive and only useful for debugging purposes.

Attributes

override def fillInStackTrace(): Throwable

Attributes

Definition Classes
override def getMessage: String

Uses creationContext to produce the message

Uses creationContext to produce the message

Attributes

Definition Classes

Inherited methods

final def addSuppressed(x$0: Throwable): Unit

Attributes

Inherited from:
Throwable
def getCause(): Throwable

Attributes

Inherited from:
Throwable
def getLocalizedMessage(): String

Attributes

Inherited from:
Throwable
def getStackTrace(): Array[StackTraceElement]

Attributes

Inherited from:
Throwable
final def getSuppressed(): Array[Throwable]

Attributes

Inherited from:
Throwable
def initCause(x$0: Throwable): Throwable

Attributes

Inherited from:
Throwable
def printStackTrace(x$0: PrintWriter): Unit

Attributes

Inherited from:
Throwable
def printStackTrace(x$0: PrintStream): Unit

Attributes

Inherited from:
Throwable
def printStackTrace(): Unit

Attributes

Inherited from:
Throwable
def setStackTrace(x$0: Array[StackTraceElement]): Unit

Attributes

Inherited from:
Throwable
def toString(): String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Inherited from:
Throwable
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL