Exception thrown when a file cannot be opened because it, or its
directory, cannot be found.
|
|
NEW(fname) @file | Create a new E.FileNotFound exception with file name fname.
|
| |
|
Inherited from E.IOError:
|
|
|
NEW() @file | Create a new E.IOError exception.
|
| |
|
Parent: E.Error |
|
Inherited from E.Exception:
|
|
|
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.
|
| |