|
|
NEW(value) @file | Create a new E.Exit exception.
value is the exit value.
|
|
|
$ToString()
string @file | Return a string representation of the exception.
|
|
|
$writeTo(w) @file | Write a string representation of the exception to w.
|
|
|
$getValue()
int @file | Get the exit value, the argument of EXIT.
|
| |
|
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(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.
|
| |