aboutsummaryrefslogtreecommitdiffstats
path: root/model-query
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <marussy@mit.bme.hu>2021-07-31 17:34:36 +0200
committerLibravatar Kristóf Marussy <marussy@mit.bme.hu>2021-07-31 17:34:36 +0200
commita2a22da88d8f02fbe61bae4becac69e5fdbbbfa1 (patch)
treeb0a6fe40ecf3035bc5f750e6302ca6419234c112 /model-query
parentRefactor Gradle configs (diff)
downloadrefinery-a2a22da88d8f02fbe61bae4becac69e5fdbbbfa1.tar.gz
refinery-a2a22da88d8f02fbe61bae4becac69e5fdbbbfa1.tar.zst
refinery-a2a22da88d8f02fbe61bae4becac69e5fdbbbfa1.zip
Add VIATRA Query dependency
Diffstat (limited to 'model-query')
-rw-r--r--model-query/build.gradle6
-rw-r--r--model-query/src/main/java/org/eclipse/viatra/solver/query/Example.java21
2 files changed, 27 insertions, 0 deletions
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 @@
1apply from: "${rootDir}/gradle/java-common.gradle"
2apply from: "${rootDir}/gradle/junit.gradle"
3
4dependencies {
5 compile "org.eclipse.viatra:viatra-query-runtime:${viatraVersion}"
6}
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 @@
1package org.eclipse.viatra.solver.query;
2
3import org.apache.log4j.Logger;
4import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine;
5import org.eclipse.viatra.query.runtime.api.scope.IEngineContext;
6import org.eclipse.viatra.query.runtime.api.scope.IIndexingErrorListener;
7import org.eclipse.viatra.query.runtime.api.scope.QueryScope;
8
9public class Example {
10 public static void main(String[] args) {
11 ViatraQueryEngine.on(new QueryScope() {
12
13 @Override
14 protected IEngineContext createEngineContext(ViatraQueryEngine engine, IIndexingErrorListener errorListener,
15 Logger logger) {
16 // TODO Auto-generated method stub
17 return null;
18 }
19 });
20 }
21}