stateblock TrackTotalBytesWritten augments RFileSystem {
addstate RFileSystem.bytes_written: int = 0;
postcode postWrite (file: RFile, n: int) {
bytes_written += n;
}
}
Naccio Home Page
University of Virginia, Computer Science