stateblock FileNames augments RFile {
addstate RFile.name: String;
precode RFile (pathname: String) {
name = pathname;
}
helper getName () returns String {
return name;
}
}
Naccio Home Page
University of Virginia, Computer Science