stateblock TrackWriteFiles augments RFileSystem {
addstate RFileSystem.writefiles: ObjectSet = ObjectSet ();
precode openCreate (file: RFile), openOverwrite (file: RFile), openAppend (file: RFile) {
writefiles.add (file);
}
}
Naccio Home Page
University of Virginia, Computer Science