diff options
author | 2020-11-27 18:39:18 +0100 | |
---|---|---|
committer | 2020-11-27 18:39:18 +0100 | |
commit | 3d2959edd96ed83a67a14a3b0cd602b3ff43d4fd (patch) | |
tree | 62040a1c047aa74c8105e100dc04e07288593f91 /Application/hu.bme.mit.inf.dslreasoner.application/src | |
parent | NumericProblemSolver is initialized only if it is necessary (diff) | |
download | VIATRA-Generator-3d2959edd96ed83a67a14a3b0cd602b3ff43d4fd.tar.gz VIATRA-Generator-3d2959edd96ed83a67a14a3b0cd602b3ff43d4fd.tar.zst VIATRA-Generator-3d2959edd96ed83a67a14a3b0cd602b3ff43d4fd.zip |
System default backend set by EngineOptions
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src')
-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")) { |