State Maintainer: TrackTotalBytesRead

stateblock TrackTotalBytesRead augments RFileSystem {
  addstate RFileSystem.bytes_read: long = 0;

  precode postRead (file: RFile, n: int) {
    if (isChecking ()) {
      bytes_read += n;
    }
  }
}

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science