From a2a22da88d8f02fbe61bae4becac69e5fdbbbfa1 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sat, 31 Jul 2021 17:34:36 +0200 Subject: Add VIATRA Query dependency --- model-query/build.gradle | 6 ++++++ .../org/eclipse/viatra/solver/query/Example.java | 21 +++++++++++++++++++++ 2 files changed, 27 insertions(+) create mode 100644 model-query/build.gradle create mode 100644 model-query/src/main/java/org/eclipse/viatra/solver/query/Example.java (limited to 'model-query') diff --git a/model-query/build.gradle b/model-query/build.gradle new file mode 100644 index 00000000..0ea25297 --- /dev/null +++ b/model-query/build.gradle @@ -0,0 +1,6 @@ +apply from: "${rootDir}/gradle/java-common.gradle" +apply from: "${rootDir}/gradle/junit.gradle" + +dependencies { + compile "org.eclipse.viatra:viatra-query-runtime:${viatraVersion}" +} diff --git a/model-query/src/main/java/org/eclipse/viatra/solver/query/Example.java b/model-query/src/main/java/org/eclipse/viatra/solver/query/Example.java new file mode 100644 index 00000000..45ec8c47 --- /dev/null +++ b/model-query/src/main/java/org/eclipse/viatra/solver/query/Example.java @@ -0,0 +1,21 @@ +package org.eclipse.viatra.solver.query; + +import org.apache.log4j.Logger; +import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; +import org.eclipse.viatra.query.runtime.api.scope.IEngineContext; +import org.eclipse.viatra.query.runtime.api.scope.IIndexingErrorListener; +import org.eclipse.viatra.query.runtime.api.scope.QueryScope; + +public class Example { + public static void main(String[] args) { + ViatraQueryEngine.on(new QueryScope() { + + @Override + protected IEngineContext createEngineContext(ViatraQueryEngine engine, IIndexingErrorListener errorListener, + Logger logger) { + // TODO Auto-generated method stub + return null; + } + }); + } +} -- cgit v1.2.3-70-g09d2