blob: 4424d3fca8a2295f7fdf777b25ea81644d589517 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#ifndef _DIRECTORY
#define _DIRECTORY
#include "exceptions.ice"
#include "types.ice"
module NetFS {
interface Directory {
void close() throws AuthError, SystemError;
idempotent NameList readdir() throws AuthError, SystemError;
idempotent DirectoryContents listdir() throws AuthError, SystemError;
};
};
#endif
|