equal
deleted
inserted
replaced
74 } |
74 } |
75 |
75 |
76 @Override |
76 @Override |
77 public JavaFileObject getFileObject(RelativeDirectory subdirectory, String file) { |
77 public JavaFileObject getFileObject(RelativeDirectory subdirectory, String file) { |
78 RelativeDirectory prefix_subdir = new RelativeDirectory(prefix, subdirectory.path); |
78 RelativeDirectory prefix_subdir = new RelativeDirectory(prefix, subdirectory.path); |
79 ZipEntry ze = new RelativeFile(prefix_subdir, file).getZipEntry(zdir); |
79 ZipEntry ze = new RelativeFile(prefix_subdir, file).getZipEntry(zfile); |
80 return new SymbolFileObject(this, file, ze); |
80 return new SymbolFileObject(this, file, ze); |
81 } |
81 } |
82 |
82 |
83 @Override |
83 @Override |
84 public String toString() { |
84 public String toString() { |
85 return "SymbolArchive[" + zdir.getName() + "]"; |
85 return "SymbolArchive[" + zfile.getName() + "]"; |
86 } |
86 } |
87 |
87 |
88 /** |
88 /** |
89 * A subclass of JavaFileObject representing zip entries in a symbol file. |
89 * A subclass of JavaFileObject representing zip entries in a symbol file. |
90 */ |
90 */ |