1 files changed, 74 insertions, 0 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/StandaloneScriptExecutor.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/StandaloneScriptExecutor.xtend
new file mode 100644
index 00000000..825bfdcc
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/StandaloneScriptExecutor.xtend
@@ -0,0 +1,74 @@
+package hu.bme.mit.inf.dslreasoner.application.execution

+

+import hu.bme.mit.inf.dslreasoner.application.ApplicationConfigurationStandaloneSetup

+import org.eclipse.emf.common.util.URI

+import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigurationScript

+import org.eclipse.core.runtime.NullProgressMonitor

+import org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguageStandaloneSetup

+import org.eclipse.emf.ecore.util.EcoreUtil

+import java.io.FileNotFoundException

+import org.eclipse.emf.ecore.resource.Resource

+import java.io.IOException

+import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl

+import org.eclipse.viatra.query.runtime.matchers.backend.IQueryBackendFactoryProvider

+import org.eclipse.viatra.query.runtime.rete.matcher.ReteBackendFactoryProvider

+import org.eclipse.viatra.query.runtime.api.ViatraQueryEngineOptions

+import org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint

+import org.eclipse.viatra.query.runtime.rete.util.ReteHintOptions

+import org.eclipse.viatra.query.runtime.rete.matcher.ReteEngine

+

+class StandaloneScriptExecutor {

+        def static void main(String[] args) {

+                if(args.size == 1) {

+                        val message = executeScript(args.head)

+                        println(message)

+                } else if(args.size == 0){

+                        println('''Run generator with script file path as parameter!''')

+                } else { // args.size > 1

+                        println('''Multiple arguments are not supported! Run generator with script file path as parameter!''')

+                }
+        }

+        

+        def static executeScript(String path){

+                //Initialise extensions

+                EMFPatternLanguageStandaloneSetup.doSetup

+                ApplicationConfigurationStandaloneSetup.doSetup

+                Resource.Factory.Registry.INSTANCE.extensionToFactoryMap.put("xmi",new XMIResourceFactoryImpl)

+                Resource.Factory.Registry.INSTANCE.extensionToFactoryMap.put("logicproblem",new XMIResourceFactoryImpl)

+                ReteEngine.getClass

+                

+                val ext = path.split("\\.").last

+                if(ext.equals("vsconfig")) {

+                        val resourceSet = new ResourceSetImpl

+                        var Resource resource 

+                        

+                        try{

+                                resource = resourceSet.getResource(URI.createURI(path),true)

+                        } catch(Exception e) {

+                                return '''Unable to load Configuration Script!'''

+                        }

+                        

+                        EcoreUtil::resolveAll(resource)

+                        val errors = resource.errors

+                        if(errors.empty) {

+                                val content = resource.contents.head

+                                if(content instanceof ConfigurationScript) {

+                                        val executor = new ScriptExecutor

+                                        executor.executeScript(content,new NullProgressMonitor)

+                                } else {

+                                        return('''Content is not a Configuration Script! (Found : «content.class.simpleName»)''')

+                                }

+                        } else {

+                                return '''

+                                The Configuration Script contains «errors.size» error«IF errors.size>1»s«ENDIF»:

+                                        «FOR error : errors»

+                                        «"\t"»«error.message»

+                                        «ENDFOR»

+                                '''

+                        }

+                } else {

+                        return '''Unsupported file extension: «ext»'''

+                }

+        }

+}
\ No newline at end of file