private Promise<BridgeRepository> readIndexes(boolean refresh) throws Exception { Promise<List<Resource>> resources = getURIs().stream() .map(uri -> download(uri, refresh)) .collect(toPromise(promiseFactory)) .map(ll -> ll.stream() .flatMap(List::stream) .collect(toList())); Promise<BridgeRepository> bridge = resources.map(ResourcesRepository::new) .map(BridgeRepository::new); return bridge; }
private Promise<BridgeRepository> readIndexes(boolean refresh) throws Exception { Promise<List<Resource>> resources = getURIs().stream() .map(uri -> download(uri, refresh)) .collect(toPromise(promiseFactory)) .map(ll -> ll.stream() .flatMap(List::stream) .collect(toList())); Promise<BridgeRepository> bridge = resources.map(ResourcesRepository::new) .map(BridgeRepository::new); return bridge; }
@Override public String getLocation() { try { return Strings.join(getIndex().getURIs()); } catch (Exception e) { return config.locations(); } }
@Override public String tooltip(Object... target) throws Exception { if (target.length == 0) { try (Formatter f = new Formatter()) { if (stale) { f.format("[stale] Needs reload, see menu\n"); } f.format("Name : %s\n", getName()); f.format("Cache : %s\n", getRoot()); f.format("Max stale (secs) : %s\n", config.max_stale(YEAR)); f.format("\n" + "URLs :\n"); for (URI uri : getIndex().getURIs()) { f.format(" %s\n", uri); } return f.toString(); } } return getIndex().getBridge() .tooltip(target); }
@Override public String getLocation() { try { return Strings.join(getIndex().getURIs()); } catch (Exception e) { return config.locations(); } }
@Override public String tooltip(Object... target) throws Exception { if (target.length == 0) { try (Formatter f = new Formatter()) { if (stale) { f.format("[stale] Needs reload, see menu\n"); } f.format("Name : %s\n", getName()); f.format("Cache : %s\n", getRoot()); f.format("Max stale (secs) : %s\n", config.max_stale(YEAR)); f.format("\n" + "URLs :\n"); for (URI uri : getIndex().getURIs()) { f.format(" %s\n", uri); } return f.toString(); } } return getIndex().getBridge() .tooltip(target); }