Beispiel #1
0
 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();
   }
 }
Beispiel #2
0
  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;
  }
Beispiel #3
0
 public void add(String id) {
   ids.add(id);
 }