java.lang.Object
de.ipk_gatersleben.ag_nw.graffiti.plugins.gui.layout_control.kegg.FileDownloadCache

public class FileDownloadCache
extends Object
  • Constructor Details

    • FileDownloadCache

      public FileDownloadCache()
  • Method Details

    • getCacheURL

      public static URL getCacheURL​(URL url, String fileID)
      If the parameter specifies a remote file, it is downloaded and saved at the hard disc drive. A URL to the downloaded file will be returned. In case of error (saving of file or download not possible), a error message is added to the error log and the given parameter is returned unchanged. If the caching file is existant, the file is not downloaded again.
      Parameters:
      url - The (remote) URL to the file.
      Returns:
      If possible, a local URL to a downloaded caching file.
    • isCacheURL

      public static boolean isCacheURL​(URL url)