blob: 07d5d137c2f59b5d986a5e844d1973dee035eaab (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
package except
/**
* This exception is thrown when the file that the client is trying to open (or walk through, in case of a directory)
* cannot be accessed.
*
* @param path The path, as a list of path elements, that the client tried to access, up to and including the first
* element that cannot be accessed (e.g. if the path the user wants to access is `["usr", "foo", "bar", "zib"]` but
* `bar` does not exist, then [path] must be `["usr", "foo", "bar"]`).
*/
class UnaccessibleFileException(val path: List<String>) : Exception("Could not walk to file ${path.joinToString(separator = "/")}.")
|