stateblock NoteFileSystemUse augments RFileSystem {
addstate RFileSystem.touched: boolean = false;
postcode RFile.RFile (pathname: String) {
RFileSystem.touched = true;
}
}
Naccio Home Page
University of Virginia, Computer Science