X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Futil%2FPlatform.java;h=f4ac16f3172578b31adb313eac3fe4070917bc9a;hb=af83e7d123133d2bb44b0bcafe538e300304a1b1;hp=c06c75552776e4e8a12a67134d16650255656281;hpb=58f14dfdbea524e0f28841a65f2fa64ddb4d8889;p=jalview.git diff --git a/src/jalview/util/Platform.java b/src/jalview/util/Platform.java index c06c755..f4ac16f 100644 --- a/src/jalview/util/Platform.java +++ b/src/jalview/util/Platform.java @@ -20,8 +20,6 @@ */ package jalview.util; -import jalview.javascript.json.JSON; - import java.awt.Component; import java.awt.Dimension; import java.awt.Toolkit; @@ -35,6 +33,11 @@ import java.io.InputStream; import java.io.InputStreamReader; import java.io.Reader; import java.net.URL; +import java.nio.file.Files; +import java.nio.file.Path; +import java.nio.file.attribute.BasicFileAttributes; +import java.util.Date; +import java.util.Map; import java.util.Properties; import java.util.logging.ConsoleHandler; import java.util.logging.Level; @@ -47,6 +50,7 @@ import org.json.simple.parser.ParseException; import com.stevesoft.pat.Regex; +import jalview.javascript.json.JSON; import swingjs.api.JSUtilI; /** @@ -71,6 +75,8 @@ public class Platform if (isJS) { try { + // this is ok - it's a highly embedded method in Java; the deprecation is + // really a recommended best practice. jsutil = ((JSUtilI) Class.forName("swingjs.JSUtil").newInstance()); } catch (InstantiationException | IllegalAccessException | ClassNotFoundException e) @@ -833,5 +839,76 @@ public class Platform return (isJS ? jsutil.getCodeBase() : null); } + public static String getUserPath(String subpath) + { + char sep = File.separatorChar; + return System.getProperty("user.home") + sep + subpath.replace('/', sep); + } + + /** + * This method enables checking if a cached file has exceeded a certain + * threshold(in days) + * + * @param file + * the cached file + * @param noOfDays + * the threshold in days + * @return + */ + public static boolean isFileOlderThanThreshold(File file, int noOfDays) + { + if (isJS()) { + // not meaningful in SwingJS -- this is a session-specific temp file. It doesn't have a timestamp. + return false; + } + Path filePath = file.toPath(); + BasicFileAttributes attr; + int diffInDays = 0; + try + { + attr = Files.readAttributes(filePath, BasicFileAttributes.class); + diffInDays = (int) ((new Date().getTime() + - attr.lastModifiedTime().toMillis()) + / (1000 * 60 * 60 * 24)); + // System.out.println("Diff in days : " + diffInDays); + } catch (IOException e) + { + e.printStackTrace(); + } + return noOfDays <= diffInDays; + } + + /** + * Get the leading integer part of a string that begins with an integer. + * + * @param input + * - the string input to process + * @param failValue + * - value returned if unsuccessful + * @return + */ + public static int getLeadingIntegerValue(String input, int failValue) + { + if (input == null) + { + return failValue; + } + if (isJS) { + int val = /** @j2sNative 1 ? parseInt(input) : */ 0; + return (val == val + 0 ? val : failValue); + } + // JavaScript does not support Regex ? lookahead + String[] parts = input.split("(?=\\D)(?<=\\d)"); + if (parts != null && parts.length > 0 && parts[0].matches("[0-9]+")) + { + return Integer.valueOf(parts[0]); + } + return failValue; + } + + public static Map getAppletInfoAsMap() + { + return (isJS ? jsutil.getAppletInfoAsMap() : null); + } }