String getPath() { StringBuilder path = new StringBuilder(); parent.appendPathPrefix(path); path.append(decl.getName()); path.append(".class"); return path.toString(); }
@Override void appendPathPrefix(StringBuilder path) { parent.appendPathPrefix(path); path.append(decl.getName()); path.append('$'); }