stateblock TrackOpenFiles augments RFileSystem {
addstate RFileSystem.openFiles: int = 0;
precode openRead (file: RFile), openCreate (file: RFile),
openOverwrite (file: RFile), openAppend (file: RFile) {
openFiles++;
}
postcode close (file: RFile) {
openFiles--;
}
}
Naccio Home Page
University of Virginia, Computer Science