property NoOverwrite { requires FileNames; check RFileSystem.modifyExistingFile (file: RFile) { violation ("Attempt to overwrite file: " + file.getName ()); } }
About this file
Naccio Home Page David Evans University of Virginia, Computer Science