blob: 5e4e4ef021cd0ad7d76ce8fa4e61ffbcbdfd0fc5 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
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)
println(StandaloneScriptExecutor.executeScript("configs/generation.vsconfig"))
}
}
|
