stateblock TrackCreatedFiles augments RFileSystem {
addstate RFileSystem.createdFiles: int = 0;
precode openCreate (file: RFile) {
// naccio.library.NCheck.assert (!file.exists ());
createdFiles++;
}
}
Naccio Home Page
University of Virginia, Computer Science