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 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(); } }
public void appendTo(Element el) { Document doc = el.getOwnerDocument(); Element p = doc.createElement("profile"); p.setAttribute("name", name); Iterator<String> it = ids.iterator(); while (it.hasNext()) { Element child = doc.createElement("enable"); child.setAttribute("id", it.next()); p.appendChild(child); } el.appendChild(p); }
public boolean has(String id) { return ids.contains(id); }
public void add(String id) { ids.add(id); }