Exception thrown when a type is used where another type is expected and
automatic conversion is not possible.
|
|
NEW() @public | Create a new E.WrongType exception.
|
|
|
NEW(expected, actual) @public | Create a new E.WrongType exception with expected and actual type.
|
| |
|
Parent: E.Error |
|
Inherited from E.Exception:
|
|
|
NEW(msg) @public | Create a new generic exception using the position of the caller.
|
|
|
NEW(pos, msg) @public | Create a new generic exception with position pos.
|
|
|
$ToString()
string @public | Return a string representation of the exception.
|
|
|
$writeTo(w) @public | Write a string representation of the exception to w.
|
|
|
$toString(verbose)
string @public | Return a string representation of the exception.
|
|
|
$writeTo(verbose, w) @public | Return a string representation of the exception.
|
|
|
$getMessage()
string @public | Return the message of the Exception.
|
|
|
$getPos()
Z.Pos @public | Return the position where the Exception was thrown.
|
|
|
$getBacktrace()
list<Z.Pos> @public | Return the stack trace of where the Exception was thrown.
|
| |