Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

package hu.bme.mit.inf.dslreasoner.domains.satellite.runner

import hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor
import org.eclipse.viatra.query.runtime.api.ViatraQueryEngineOptions
import org.eclipse.viatra.query.runtime.rete.matcher.ReteBackendFactory

final class SatelliteGeneratorMain {
	private new() {
		throw new IllegalStateException("This is a static utility class and should not be instantiated directly.")
	}

	public static def void main(String[] args) {
		ViatraQueryEngineOptions.setSystemDefaultBackends(ReteBackendFactory.INSTANCE, ReteBackendFactory.INSTANCE,
			ReteBackendFactory.INSTANCE)
		val res = StandaloneScriptExecutor.executeScript("configs/generation.vsconfig")
		if(res!==null) println(res)
	}
}