aboutsummaryrefslogtreecommitdiff
path: root/src/uk
diff options
context:
space:
mode:
authorRncLsn <rnc.lsn@gmail.com>2015-05-06 18:11:08 +0100
committerRonca <alessandro.a.ronca@gmail.com>2015-05-06 18:20:58 +0100
commitf2909a748a300f94cf6067fc84416e408d3e6de8 (patch)
tree02962a710fe27ea1c7a2704a356b7f663a42cb52 /src/uk
parent58e6d87cb604702e7b307bad73c4fd42a694c3ec (diff)
downloadACQuA-f2909a748a300f94cf6067fc84416e408d3e6de8.tar.gz
ACQuA-f2909a748a300f94cf6067fc84416e408d3e6de8.zip
Switch from JUnit to TestNG.
Plus minor fixes.
Diffstat (limited to 'src/uk')
-rw-r--r--src/uk/ac/ox/cs/pagoda/util/Utility.java16
1 files changed, 15 insertions, 1 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/util/Utility.java b/src/uk/ac/ox/cs/pagoda/util/Utility.java
index cb05de4..7138ca9 100644
--- a/src/uk/ac/ox/cs/pagoda/util/Utility.java
+++ b/src/uk/ac/ox/cs/pagoda/util/Utility.java
@@ -10,6 +10,8 @@ import java.io.IOException;
10import java.io.InputStreamReader; 10import java.io.InputStreamReader;
11import java.io.OutputStreamWriter; 11import java.io.OutputStreamWriter;
12import java.io.PrintStream; 12import java.io.PrintStream;
13import java.nio.file.Files;
14import java.nio.file.Paths;
13import java.text.SimpleDateFormat; 15import java.text.SimpleDateFormat;
14import java.time.LocalDateTime; 16import java.time.LocalDateTime;
15import java.time.format.DateTimeFormatter; 17import java.time.format.DateTimeFormatter;
@@ -24,9 +26,11 @@ import java.util.Stack;
24import org.apache.log4j.Logger; 26import org.apache.log4j.Logger;
25import org.semanticweb.HermiT.model.Atom; 27import org.semanticweb.HermiT.model.Atom;
26 28
29import static java.nio.file.StandardCopyOption.REPLACE_EXISTING;
30
27public class Utility { 31public class Utility {
28 32
29 private static final Logger LOGS = null; // Logger.getLogger(""); 33 private static final Logger LOGS = Logger.getLogger("PAGOdA");
30 34
31 public static final String JAVA_FILE_SEPARATOR = "/"; 35 public static final String JAVA_FILE_SEPARATOR = "/";
32 public static final String FILE_SEPARATOR = System.getProperty("file.separator"); 36 public static final String FILE_SEPARATOR = System.getProperty("file.separator");
@@ -255,4 +259,14 @@ public class Utility {
255 return iri.replace(FILE_SEPARATOR, JAVA_FILE_SEPARATOR).replace(" ", "%20"); 259 return iri.replace(FILE_SEPARATOR, JAVA_FILE_SEPARATOR).replace(" ", "%20");
256 } 260 }
257 261
262 public static String combinePaths(String path1, String path2) {
263 File file1 = new File(path1);
264 File file2 = new File(file1, path2);
265 return file2.getPath();
266 }
267
268 public static void copyFile(String src, String dst) throws IOException {
269 Files.copy(Paths.get(src), Paths.get(dst), REPLACE_EXISTING);
270 }
271
258} 272}