stateblock FileObservationCount augments RFileSystem {
addstate RFileSystem.nobservations : int = 0;
precode observeProperty (file: RFile) {
nobservations++;
// NCheck.debugMessage ("Observe: " + file.toString ());
}
}
Naccio Home Page
University of Virginia, Computer Science