diff options
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.xtend | 21 |
1 files changed, 16 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 24f77754..2dc329a0 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 | |||
@@ -93,12 +93,23 @@ class ScriptConsole implements Closeable { | |||
93 | if (uri === null) { | 93 | if (uri === null) { |
94 | return null | 94 | return null |
95 | } else { | 95 | } else { |
96 | val fileString = uri.toFileString | 96 | if(uri.isFile) { |
97 | val file = new File(fileString) | 97 | val fileString = uri.toFileString |
98 | if (this.cleanFiles && file.exists) { | 98 | val file = new File(fileString) |
99 | file.delete | 99 | if (this.cleanFiles && file.exists) { |
100 | file.delete | ||
101 | } | ||
102 | return file | ||
103 | } else if(uri.isPlatformResource) { | ||
104 | val platformString = uri.toPlatformString(true) | ||
105 | val file = new File(platformString) | ||
106 | if (this.cleanFiles && file.exists) { | ||
107 | file.delete | ||
108 | } | ||
109 | return file | ||
110 | } else { | ||
111 | throw new UnsupportedOperationException('''Unksupported file usi: "«uri»"!''') | ||
100 | } | 112 | } |
101 | return file | ||
102 | } | 113 | } |
103 | } | 114 | } |
104 | 115 | ||