StickyError

class StickyError(msg: Message, pos: SourcePosition) extends Error

A sticky error is an error that should not be hidden by backtracking and trying some alternative path. Typically, errors issued after catching a TypeError exception are sticky.

class Error
trait Diagnostic
class Exception
class Throwable
class Object
trait Matchable
class Any

Value members

Inherited methods

final def addSuppressed(x$0: Throwable): Unit
Inherited from:
Throwable
Inherited from:
Throwable
Inherited from:
Throwable
Inherited from:
Throwable
override def getMessage(): String
Definition Classes
Inherited from:
Diagnostic
Inherited from:
Throwable
Inherited from:
Throwable
Inherited from:
Diagnostic
override def message: String
Definition Classes
Diagnostic -> Diagnostic
Inherited from:
Diagnostic
override def position: Optional[SourcePosition]
Definition Classes
Diagnostic -> Diagnostic
Inherited from:
Diagnostic
Inherited from:
Throwable
Inherited from:
Throwable
Inherited from:
Throwable
Inherited from:
Diagnostic
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Returns:

a string representation of the object.

Definition Classes
Inherited from:
Diagnostic

Inherited fields

val level: Int
Inherited from:
Diagnostic