mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-01 14:15:23 +02:00
Code Issues Wiki Activity

spirit fix found in RSE 713 applied to open source

Browse source
This commit is contained in:
David McKnight 2007-04-17 20:21:22 +00:00
parent 8a71bd42ac
commit 9bc33d000e
1 changed files with 29 additions and 23 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

52
rse/plugins/org.eclipse.dstore.core/src/org/eclipse/dstore/internal/core/util/XMLparser.java
View file

@ -530,38 +530,44 @@ public class XMLparser
if (parent != null && parent.getNestedSize() > 0 && _dataStore.isVirtual())
{
// end of children of parent
// find all spirits that match non-spirits
List toDelete = new ArrayList();
for (int s= 0; s < parent.getNestedSize(); s++)
List nested = parent.getNestedData();
synchronized (nested)
{
DataElement element = parent.get(s);
if (element.isSpirit())
for (int s= 0; s < nested.size(); s++)
{
String name = element.getName();
String value = element.getValue();
// delete this element if there's another one with the same name and value
for (int n = 0; n < parent.getNestedSize(); n++)
DataElement element = (DataElement)nested.get(s);
if (element.isSpirit())
{
if (n != s)
boolean addedToDelete = false;
String name = element.getName();
String value = element.getValue();
// delete this element if there's another one with the same name and value
for (int n = 0; n < parent.getNestedSize() && !addedToDelete; n++)
{
DataElement compare = parent.get(n);
String cname = compare.getName();
String cvalue = compare.getValue();
if (!compare.isSpirit() && cname.equals(name) && cvalue.equals(value))
toDelete.add(compare);
if (n != s)
{
DataElement compare = parent.get(n);
String cname = compare.getName();
String cvalue = compare.getValue();
if (!compare.isSpirit() && cname.equals(name) && cvalue.equals(value))
{
toDelete.add(element);
addedToDelete = true;
}
}
}
}
}
// delete elements
for (int d = 0; d < toDelete.size(); d++)
{
DataElement delement = (DataElement)toDelete.get(d);
_dataStore.deleteObject(parent,delement);
}
}
// delete elements
for (int d = 0; d < toDelete.size(); d++)
{
DataElement delement = (DataElement)toDelete.get(d);
_dataStore.deleteObject(parent,delement);
}
}
_tagStack.pop();