diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2020-12-02 19:37:26 +0100 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-12-02 19:37:26 +0100 |
commit | 3cc5c7b27cd030a660888b60a252e8e97a377689 (patch) | |
tree | 67762ebc7b1036d5125eaef62bbb05800c97a2c0 /Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit | |
parent | Fix VQL validator breakage after Execute Application Configuration (diff) | |
parent | Merge branch 'master' of https://github.com/viatra/VIATRA-Generator.git (diff) | |
download | VIATRA-Generator-3cc5c7b27cd030a660888b60a252e8e97a377689.tar.gz VIATRA-Generator-3cc5c7b27cd030a660888b60a252e8e97a377689.tar.zst VIATRA-Generator-3cc5c7b27cd030a660888b60a252e8e97a377689.zip |
Merge branch 'master' of github.com:viatra/VIATRA-Generator
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/StandaloneScriptExecutor.xtend | 7 |
1 files changed, 6 insertions, 1 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 index 42be3ed7..23c76758 100644 --- 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 | |||
@@ -12,6 +12,8 @@ import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl | |||
12 | import org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguageStandaloneSetup | 12 | import org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguageStandaloneSetup |
13 | import org.eclipse.viatra.query.runtime.rete.matcher.ReteEngine | 13 | import org.eclipse.viatra.query.runtime.rete.matcher.ReteEngine |
14 | import org.eclipse.xtext.resource.XtextResourceSet | 14 | import org.eclipse.xtext.resource.XtextResourceSet |
15 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngineOptions | ||
16 | import org.eclipse.viatra.query.runtime.rete.matcher.ReteBackendFactory | ||
15 | 17 | ||
16 | class StandaloneScriptExecutor { | 18 | class StandaloneScriptExecutor { |
17 | def static void main(String[] args) { | 19 | def static void main(String[] args) { |
@@ -44,7 +46,10 @@ class StandaloneScriptExecutor { | |||
44 | Resource.Factory.Registry.INSTANCE.extensionToFactoryMap.put("xmi",new XMIResourceFactoryImpl) | 46 | Resource.Factory.Registry.INSTANCE.extensionToFactoryMap.put("xmi",new XMIResourceFactoryImpl) |
45 | Resource.Factory.Registry.INSTANCE.extensionToFactoryMap.put("logicproblem",new XMIResourceFactoryImpl) | 47 | Resource.Factory.Registry.INSTANCE.extensionToFactoryMap.put("logicproblem",new XMIResourceFactoryImpl) |
46 | Resource.Factory.Registry.INSTANCE.extensionToFactoryMap.put("partialmodel",new XMIResourceFactoryImpl) | 48 | Resource.Factory.Registry.INSTANCE.extensionToFactoryMap.put("partialmodel",new XMIResourceFactoryImpl) |
47 | ReteEngine.getClass | 49 | //ReteEngine.getClass |
50 | |||
51 | ViatraQueryEngineOptions.setSystemDefaultBackends(ReteBackendFactory.INSTANCE, ReteBackendFactory.INSTANCE, | ||
52 | ReteBackendFactory.INSTANCE) | ||
48 | 53 | ||
49 | val ext = path.split("\\.").last | 54 | val ext = path.split("\\.").last |
50 | if(ext.equals("vsconfig")) { | 55 | if(ext.equals("vsconfig")) { |