property LimitCreatedFiles (n: int) { // no more than n files may be created
requires TrackCreatedFiles, FileNames;
check RFileSystem.openCreate (file: RFile) {
if (createdFiles > n) {
violation
("File creation limit reached. Attempt to create more than " + n +
" files. Creating " + file.getName () + ".");
}
}
}
Naccio Home Page
University of Virginia, Computer Science