stateblock TrackTotalBytesRead augments RFileSystem {
addstate RFileSystem.bytes_read: long = 0;
precode postRead (file: RFile, n: int) {
if (isChecking ()) {
bytes_read += n;
}
}
}
Naccio Home Page
University of Virginia, Computer Science