Execution update

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 {
                 if (uri === null) {

                         return null

                 } else {

-                        val fileString = uri.toFileString

-                        val file = new File(fileString)

-                        if (this.cleanFiles && file.exists) {

-                                file.delete

+                        if(uri.isFile) {

+                                val fileString = uri.toFileString

+                                val file = new File(fileString)

+                                if (this.cleanFiles && file.exists) {

+                                        file.delete

+                                }

+                                return file

+                        } else if(uri.isPlatformResource) {

+                                val platformString = uri.toPlatformString(true)

+                                val file = new File(platformString)

+                                if (this.cleanFiles && file.exists) {

+                                        file.delete

+                                }

+                                return file

+                        } else {

+                                throw new UnsupportedOperationException('''Unksupported file usi: "«uri»"!''')

                         }

-                        return file

                 }

         }