permission AllowModifyDir (path: String) {
requires FileNames;
check RFileSystem.modifyFile (file: RFile) {
if (NCheck.inDirectory (file.getName (), path)) {
allow ();
}
}
}
Naccio Home Page
University of Virginia, Computer Science