/*
* $Id: iffile.idl 43 2006-07-13 17:54:16Z sdi2 $
*/
#include <types.idl>
exception disk_full {};
[uuid(IF_FILEDIRECTORY_ID)]
interface IF_FILEDIRECTORY {
void Create(in objectid_t dir, in string name, out L4_ThreadId_t server,
out objectid_t handle)
raises(invalid_objectid, disk_full);
void Remove(in objectid_t dir, in objectid_t handle)
raises(invalid_objectid, not_found);
void MkDir(in objectid_t parentdir, in string name)
raises(invalid_objectid, disk_full);
void RmDir(out objectid_t parendir, in objectid_t handle)
raises(invalid_objectid, not_found);
};
