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; }; }; #endif