private String getNameDelta(IPackageFragment parent, IPackageFragment fragment) {
String prefix = parent.getElementName() + '/';
String fullName = fragment.getElementName();
if (fullName.startsWith(prefix)) {
return fullName.substring(prefix.length());
}
return fullName;
}
private String getNameDelta(IFolder parent, IPackageFragment fragment) {
IPath prefix = parent.getFullPath();
IPath fullPath = fragment.getPath();
if (prefix.isPrefixOf(fullPath)) {
StringBuffer buf = new StringBuffer();
for (int i = prefix.segmentCount(); i < fullPath.segmentCount(); i++) {
if (buf.length() > 0) buf.append('.');
buf.append(fullPath.segment(i));
}
return buf.toString();
}
return fragment.getElementName();
}
