stateblock TrackReadFiles augments RFileSystem {
addstate RFileSystem.readfiles: ObjectSet = new ObjectSet ();
precode openRead (file: RFile) {
readfiles.add (file);
}
}
Naccio Home Page
University of Virginia, Computer Science