diff options
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/util/Utility.java')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/util/Utility.java | 39 |
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 @@ | |||
| 1 | package uk.ac.ox.cs.pagoda.util; | 1 | package uk.ac.ox.cs.pagoda.util; |
| 2 | 2 | ||
| 3 | import java.io.BufferedReader; | ||
| 4 | import java.io.BufferedWriter; | ||
| 5 | import java.io.File; | ||
| 6 | import java.io.FileInputStream; | ||
| 7 | import java.io.FileNotFoundException; | ||
| 8 | import java.io.FileOutputStream; | ||
| 9 | import java.io.IOException; | ||
| 10 | import java.io.InputStreamReader; | ||
| 11 | import java.io.OutputStreamWriter; | ||
| 12 | import java.io.PrintStream; | ||
| 13 | import java.nio.file.Files; | ||
| 14 | import java.nio.file.Paths; | ||
| 15 | import java.text.SimpleDateFormat; | ||
| 16 | import java.time.LocalDateTime; | ||
| 17 | import java.time.format.DateTimeFormatter; | ||
| 18 | import java.util.Collection; | ||
| 19 | import java.util.Date; | ||
| 20 | import java.util.HashSet; | ||
| 21 | import java.util.LinkedList; | ||
| 22 | import java.util.Scanner; | ||
| 23 | import java.util.Set; | ||
| 24 | import java.util.Stack; | ||
| 25 | |||
| 26 | import org.apache.log4j.Logger; | 3 | import org.apache.log4j.Logger; |
| 27 | import org.semanticweb.HermiT.model.Atom; | 4 | import org.semanticweb.HermiT.model.Atom; |
| 28 | 5 | ||
| 29 | import static java.nio.file.StandardCopyOption.REPLACE_EXISTING; | 6 | import java.io.*; |
| 7 | import java.text.SimpleDateFormat; | ||
| 8 | import java.time.LocalDateTime; | ||
| 9 | import java.time.format.DateTimeFormatter; | ||
| 10 | import java.util.*; | ||
| 30 | 11 | ||
| 31 | public class Utility { | 12 | public 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 | } |
