aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/util/Utility.java
diff options
context:
space:
mode:
authorRncLsn <rnc.lsn@gmail.com>2015-05-07 19:26:24 +0100
committerRncLsn <rnc.lsn@gmail.com>2015-05-07 19:26:24 +0100
commit5be5fd3daa0d50980fb3791e904e035cdbca254f (patch)
tree8109fdd92d6a8f3b59b47f147d21e23b84301494 /src/uk/ac/ox/cs/pagoda/util/Utility.java
parent11a432bfc3cb11e07c68c4298fcec060ff1e25fa (diff)
downloadACQuA-5be5fd3daa0d50980fb3791e904e035cdbca254f.tar.gz
ACQuA-5be5fd3daa0d50980fb3791e904e035cdbca254f.zip
Making the output machine-readable (JSON).
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/util/Utility.java')
-rw-r--r--src/uk/ac/ox/cs/pagoda/util/Utility.java39
1 files changed, 5 insertions, 34 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/util/Utility.java b/src/uk/ac/ox/cs/pagoda/util/Utility.java
index 7138ca9..6d50ee0 100644
--- a/src/uk/ac/ox/cs/pagoda/util/Utility.java
+++ b/src/uk/ac/ox/cs/pagoda/util/Utility.java
@@ -1,32 +1,13 @@
1package uk.ac.ox.cs.pagoda.util; 1package uk.ac.ox.cs.pagoda.util;
2 2
3import java.io.BufferedReader;
4import java.io.BufferedWriter;
5import java.io.File;
6import java.io.FileInputStream;
7import java.io.FileNotFoundException;
8import java.io.FileOutputStream;
9import java.io.IOException;
10import java.io.InputStreamReader;
11import java.io.OutputStreamWriter;
12import java.io.PrintStream;
13import java.nio.file.Files;
14import java.nio.file.Paths;
15import java.text.SimpleDateFormat;
16import java.time.LocalDateTime;
17import java.time.format.DateTimeFormatter;
18import java.util.Collection;
19import java.util.Date;
20import java.util.HashSet;
21import java.util.LinkedList;
22import java.util.Scanner;
23import java.util.Set;
24import java.util.Stack;
25
26import org.apache.log4j.Logger; 3import org.apache.log4j.Logger;
27import org.semanticweb.HermiT.model.Atom; 4import org.semanticweb.HermiT.model.Atom;
28 5
29import static java.nio.file.StandardCopyOption.REPLACE_EXISTING; 6import java.io.*;
7import java.text.SimpleDateFormat;
8import java.time.LocalDateTime;
9import java.time.format.DateTimeFormatter;
10import java.util.*;
30 11
31public class Utility { 12public class Utility {
32 13
@@ -259,14 +240,4 @@ public class Utility {
259 return iri.replace(FILE_SEPARATOR, JAVA_FILE_SEPARATOR).replace(" ", "%20"); 240 return iri.replace(FILE_SEPARATOR, JAVA_FILE_SEPARATOR).replace(" ", "%20");
260 } 241 }
261 242
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
272} 243}