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 | ||