public Profile(Element el) {
name = el.getAttribute("name");
ids = new HashSet<String>();
Node child = el.getFirstChild();
while (child != null) {
if (child.getNodeType() == Node.ELEMENT_NODE) {
ids.add(((Element) child).getAttribute("id"));
}
child = child.getNextSibling();
}
}
private Set<String> getLoadedPaths() {
if (!IGV.hasInstance()) return new HashSet<String>();
Collection<ResourceLocator> locators = IGV.getInstance().getDataResourceLocators();
HashSet<String> loadedPaths = new HashSet<String>(locators.size());
for (ResourceLocator locator : locators) {
loadedPaths.add(locator.getPath());
}
return loadedPaths;
}
public void add(String id) {
ids.add(id);
}