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