State Maintainer: TrackTotalBytesWritten

stateblock TrackTotalBytesWritten augments RFileSystem {
    addstate RFileSystem.bytes_written: int = 0;
    
    postcode postWrite (file: RFile, n: int) {
        bytes_written += n;
    }
}

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science