mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-23 08:13:50 +02:00
Code Issues Wiki Activity

Adding support for uniquely naming a DOM object's folder based based on the objects name - even if the name exists on a file system that does not support case sensitive names.

Browse source
This commit is contained in:
David Dykstal 2006-06-14 17:48:31 +00:00
parent 2847fd0d3e
commit 2325f2d24f
1 changed files with 29 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

35
rse/plugins/org.eclipse.rse.ui/persistence/org/eclipse/rse/internal/persistence/PropertyFileProvider.java
View file

@ -112,7 +112,7 @@ public class PropertyFileProvider implements IRSEPersistenceProvider {
public boolean saveRSEDOM(RSEDOM dom, IProgressMonitor monitor) { public boolean saveRSEDOM(RSEDOM dom, IProgressMonitor monitor) {
String profileName = dom.getName(); String profileName = dom.getName();
IFolder providerFolder = getProviderFolder(); IFolder providerFolder = getProviderFolder();
System.out.println("saving profile " + profileName + " to " + providerFolder.getFullPath().toString() + "..."); // TODO: dwd debugging System.out.println("saving profile " + profileName + " to " + providerFolder.getFullPath().toString() + "..."); // DWD debugging
try { try {
int n = countNodes(dom); int n = countNodes(dom);
if (monitor != null) monitor.beginTask("Saving DOM", n); if (monitor != null) monitor.beginTask("Saving DOM", n);
@ -183,12 +183,14 @@ public class PropertyFileProvider implements IRSEPersistenceProvider {
} }
} }
private static final String VALID = "abcdefghijklmnopqrstuvwxyz0123456789-._";
private static final String UPPER = "ABCDEFGHIJKLMNOPQRTSUVWXYZ";
/** /**
* Returns the name of a folder that can be used to store a node of a particular * Returns the name of a folder that can be used to store a node of a particular
* type. Since this is a folder, its name must conform to the rules of the file * type. Since this is a folder, its name must conform to the rules of the file
* system. The names are derived from the name and type of the node. Note that the * system. The names are derived from the name and type of the node. Note that the
* actual name of the node is also stored as a property so we need not attempt * actual name of the node is also stored as a property so we need not attempt
* to recover the node name from this name. * to recover the node name from the folder name.
* @param node The node that will eventually be stored in this folder. * @param node The node that will eventually be stored in this folder.
* @return The name of the folder to store this node. * @return The name of the folder to store this node.
*/ */
@ -196,10 +198,31 @@ public class PropertyFileProvider implements IRSEPersistenceProvider {
String type = node.getType(); String type = node.getType();
type = (String) typeQualifiers.get(type); type = (String) typeQualifiers.get(type);
String name = node.getName(); String name = node.getName();
int i = name.indexOf(':'); int p = name.indexOf(':');
if (i >= 0) { if (p >= 0) {
name = name.substring(i + 1); name = name.substring(p + 1);
} }
StringBuffer buf = new StringBuffer(name.length());
char[] chars = name.toCharArray();
long suffix = 0;
for (int i = 0; i < chars.length; i++) {
char c = chars[i];
suffix *= 2;
if (VALID.indexOf(c) >= 0) {
buf.append(c);
} else if (UPPER.indexOf(c) >= 0) { // if uppercase
buf.append(Character.toLowerCase(c));
suffix += 1;
} else if (c == ' ') { // if space
buf.append('_');
suffix += 1;
} else { // if out of range
buf.append('#');
buf.append(Integer.toHexString(c));
buf.append('#');
}
}
name = buf.toString() + "_" + Long.toString(suffix);
String result = combine(type, name); String result = combine(type, name);
return result; return result;
} }
@ -412,7 +435,7 @@ public class PropertyFileProvider implements IRSEPersistenceProvider {
RSEDOM dom = null; RSEDOM dom = null;
IFolder profileFolder = getProfileFolder(profileName); IFolder profileFolder = getProfileFolder(profileName);
if (profileFolder.exists()) { if (profileFolder.exists()) {
System.out.println("loading from " + profileFolder.getFullPath().toString() + "..."); // TODO: dwd debugging System.out.println("loading from " + profileFolder.getFullPath().toString() + "..."); // DWD debugging
int n = countPropertiesFiles(profileFolder); int n = countPropertiesFiles(profileFolder);
if (monitor != null) monitor.beginTask("Loading DOM", n); if (monitor != null) monitor.beginTask("Loading DOM", n);
dom = (RSEDOM) loadNode(null, profileFolder, monitor); dom = (RSEDOM) loadNode(null, profileFolder, monitor);