State Maintainer: TrackCreatedFiles

stateblock TrackCreatedFiles augments RFileSystem {
  addstate RFileSystem.createdFiles: int = 0;

  precode openCreate (file: RFile) {
    // naccio.library.NCheck.assert (!file.exists ());
    createdFiles++;
  }  
}

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science