aboutsummaryrefslogtreecommitdiffstats
path: root/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-02-19 19:52:49 -0500
committerLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-02-19 19:52:49 -0500
commit041a0e39fa419a378df624b0d5a3bce4a3722262 (patch)
tree913e54b8311125529e4a46e707cc1d678e3a500e /Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend
parentgitignores for generated files (diff)
downloadVIATRA-Generator-041a0e39fa419a378df624b0d5a3bce4a3722262.tar.gz
VIATRA-Generator-041a0e39fa419a378df624b0d5a3bce4a3722262.tar.zst
VIATRA-Generator-041a0e39fa419a378df624b0d5a3bce4a3722262.zip
Working injector for linking viatra and emf execution time.
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend')
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend14
1 files changed, 9 insertions, 5 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend
index 77c5252a..24f77754 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend
@@ -90,12 +90,16 @@ class ScriptConsole implements Closeable {
90 } 90 }
91 91
92 private def prepareFile(URI uri) { 92 private def prepareFile(URI uri) {
93 val fileString = uri.toFileString 93 if (uri === null) {
94 val file = new File(fileString) 94 return null
95 if(this.cleanFiles && file.exists) { 95 } else {
96 file.delete 96 val fileString = uri.toFileString
97 val file = new File(fileString)
98 if (this.cleanFiles && file.exists) {
99 file.delete
100 }
101 return file
97 } 102 }
98 return file
99 } 103 }
100 104
101 override close() throws IOException { 105 override close() throws IOException {