blob: 0ac66ce9672f150f9cf61862daae18741cfed257 (
plain) (
blame)
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)
}
}
|