Diagnostic

class Diagnostic(val msg: Message, val pos: SourcePosition, val level: Int) extends Exception with Diagnostic
Companion
object
trait Diagnostic
class Exception
class Throwable
class Object
trait Matchable
class Any

Value members

Concrete methods

override def getMessage(): String
Definition Classes
override def message: String
Definition Classes
Diagnostic
override def position: Optional[SourcePosition]
Definition Classes
Diagnostic
override def toString: String
Definition Classes
Throwable -> Any

Inherited methods

final def addSuppressed(`x$0`: Throwable): Unit
Inherited from
Throwable
Inherited from
Throwable
Inherited from
Throwable
Inherited from
Throwable
Inherited from
Throwable
Inherited from
Throwable
Inherited from
Throwable
Inherited from
Throwable
Inherited from
Throwable
Inherited from
Throwable

Concrete fields

val level: Int
val msg: Message