State Maintainer: FileNames

stateblock FileNames augments RFile {
    addstate RFile.name: String;
    
    precode RFile (pathname: String) {
        name = pathname;
    }
    
    helper getName () returns String {
        return name;
    }
}

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science