property NoOverwriteSimple {
check RFileSystem.openOverwrite (file: RFile),
RFileSystem.openAppend (file: RFile) {
violation ("Attempt to overwrite file.");
}
}
Naccio Home Page
University of Virginia, Computer Science