add time tag to the temporary output

fixed a bug about equality in the tracking datalog encoding

1 files changed, 8 insertions, 2 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/util/Utility.java b/src/uk/ac/ox/cs/pagoda/util/Utility.java
index 120d463..6982bb1 100644
--- a/src/uk/ac/ox/cs/pagoda/util/Utility.java
+++ b/src/uk/ac/ox/cs/pagoda/util/Utility.java
@@ -11,6 +11,8 @@ import java.io.InputStreamReader;
 import java.io.OutputStreamWriter;

 import java.io.PrintStream;

 import java.text.SimpleDateFormat;

+import java.time.LocalDateTime;

+import java.time.format.DateTimeFormatter;

 import java.util.Collection;

 import java.util.Date;

 import java.util.HashSet;

@@ -30,7 +32,7 @@ public class Utility {
         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")).getAbsolutePath() + FILE_SEPARATOR;

+        public static final String TempDirectory = (new File("tmp" + DateTimeFormatter.ISO_LOCAL_DATE_TIME.format(LocalDateTime.now()))).getAbsolutePath() + FILE_SEPARATOR;

         

         public static final int TEST = -1; 

         public static final int FLY = 0;

@@ -235,7 +237,11 @@ public class Utility {
 

         public static void cleanup() {

                 File tmp = new File(TempDirectory);

-                if (tmp.exists()) tmp.delete(); 

+                if (tmp.exists()) {

+                        for (File file: tmp.listFiles())

+                                file.delete(); 

+                        tmp.delete();

+                }

         }

 

         public static String toFileIRI(String path) {