Java DiskCache.getCachedPageNames Examples

Example #1

File: WikiServiceImpl.java Project: nyuhuhuu/trachacks

  public String[] getPageNames() {
    String[] wikiPages = wikiClient.getPageNames();
    String[] cachedNames = diskCache.getCachedPageNames(server.getId());

    Set<String> pageNamesList = new HashSet<String>();
    pageNamesList.addAll(Arrays.asList(wikiPages));
    pageNamesList.addAll(Arrays.asList(cachedNames));
    String[] pageNames = pageNamesList.toArray(new String[pageNamesList.size()]);
    Arrays.sort(pageNames);

    return pageNames;
  }