equal
deleted
inserted
replaced
93 super(zarch, name, entry); |
93 super(zarch, name, entry); |
94 } |
94 } |
95 |
95 |
96 @Override |
96 @Override |
97 protected String inferBinaryName(Iterable<? extends File> path) { |
97 protected String inferBinaryName(Iterable<? extends File> path) { |
98 String entryName = getZipEntryName(); |
98 String entryName = entry.getName(); |
99 String prefix = ((SymbolArchive) zarch).prefix.path; |
99 String prefix = ((SymbolArchive) zarch).prefix.path; |
100 if (entryName.startsWith(prefix)) |
100 if (entryName.startsWith(prefix)) |
101 entryName = entryName.substring(prefix.length()); |
101 entryName = entryName.substring(prefix.length()); |
102 return removeExtension(entryName).replace('/', '.'); |
102 return removeExtension(entryName).replace('/', '.'); |
103 } |
103 } |