From 1b6a128137e5d7a6ff75566869232fc054afabef Mon Sep 17 00:00:00 2001 From: RncLsn Date: Fri, 15 May 2015 17:32:22 +0100 Subject: Testing and fixing. Executed successfully on UOBM{1,2,3,4,5,6,7,8}. --- src/uk/ac/ox/cs/pagoda/util/Utility.java | 49 +++++++++++++++++++++----------- 1 file changed, 32 insertions(+), 17 deletions(-) (limited to 'src/uk/ac/ox/cs/pagoda/util') diff --git a/src/uk/ac/ox/cs/pagoda/util/Utility.java b/src/uk/ac/ox/cs/pagoda/util/Utility.java index b3a4df1..7b23e0d 100644 --- a/src/uk/ac/ox/cs/pagoda/util/Utility.java +++ b/src/uk/ac/ox/cs/pagoda/util/Utility.java @@ -5,9 +5,9 @@ import org.apache.log4j.Logger; import org.semanticweb.HermiT.model.Atom; import java.io.*; +import java.nio.file.Files; +import java.nio.file.Path; import java.text.SimpleDateFormat; -import java.time.LocalDateTime; -import java.time.format.DateTimeFormatter; import java.util.*; public class Utility { @@ -21,8 +21,9 @@ public class Utility { public static final String JAVA_FILE_SEPARATOR = "/"; public static final String FILE_SEPARATOR = System.getProperty("file.separator"); public static final String LINE_SEPARATOR = System.getProperty("line.separator"); - - public static final String TempDirectory = (new File("tmp" + DateTimeFormatter.ISO_LOCAL_DATE_TIME.format(LocalDateTime.now()))).getAbsolutePath() + FILE_SEPARATOR; + + private static final String TEMP_DIR_PATH= "pagoda_tmp"; + private static String tempDir; public static final int TEST = -1; public static final int FLY = 0; @@ -31,6 +32,20 @@ public class Utility { public static final int AEO = 3; public static final int WINE = 4; + public static String getGlobalTempDirAbsolutePath() { + if(tempDir == null) { + try { + Path path = Files.createTempDirectory(TEMP_DIR_PATH); + tempDir = path.toString(); + new File(tempDir).deleteOnExit(); + } catch (IOException e) { + e.printStackTrace(); + System.exit(1); + } + } + return tempDir; + } + public static Set toSet(Atom[] data) { HashSet ret = new HashSet(); @@ -228,19 +243,19 @@ public class Utility { LOGS.error(getLogMessage(messages)); } - public static void initialise() { - File tmp = new File(TempDirectory); - if (!tmp.exists()) tmp.mkdirs(); - } - - public static void cleanup() { - File tmp = new File(TempDirectory); - if (tmp.exists()) { - for (File file: tmp.listFiles()) - file.delete(); - tmp.delete(); - } - } +// public static void initialise() { +// File tmp = new File(TempDirectory); +// if (!tmp.exists()) tmp.mkdirs(); +// } +// +// public static void cleanup() { +// File tmp = new File(TempDirectory); +// if (tmp.exists()) { +// for (File file: tmp.listFiles()) +// file.delete(); +// tmp.delete(); +// } +// } public static String toFileIRI(String path) { String iri; -- cgit v1.2.3