1 files changed, 57 insertions, 0 deletions

diff --git a/store/src/main/java/org/eclipse/viatra/solver/data/query/internal/RelationalQueryMetaContext.java b/store/src/main/java/org/eclipse/viatra/solver/data/query/internal/RelationalQueryMetaContext.java
new file mode 100644
index 00000000..de500fc9
--- /dev/null
+++ b/store/src/main/java/org/eclipse/viatra/solver/data/query/internal/RelationalQueryMetaContext.java
@@ -0,0 +1,57 @@
+package org.eclipse.viatra.solver.data.query.internal;
+
+import java.util.Collection;
+import java.util.Collections;
+import java.util.HashMap;
+import java.util.HashSet;
+import java.util.Map;
+import java.util.Set;
+
+import org.eclipse.viatra.query.runtime.matchers.context.AbstractQueryMetaContext;
+import org.eclipse.viatra.query.runtime.matchers.context.IInputKey;
+import org.eclipse.viatra.query.runtime.matchers.context.InputKeyImplication;
+import org.eclipse.viatra.solver.data.query.view.RelationView;
+
+/**
+ * The meta context information for String scopes.
+ */
+public final class RelationalQueryMetaContext extends AbstractQueryMetaContext {
+
+        @Override
+        public boolean isEnumerable(IInputKey key) {            
+        ensureValidKey(key);
+        return key.isEnumerable();
+        }
+
+        @Override
+        public boolean isStateless(IInputKey key) {
+        ensureValidKey(key);
+        return key instanceof RelationView<?>;
+        }
+
+        @Override
+        public Collection<InputKeyImplication> getImplications(IInputKey implyingKey) {
+        ensureValidKey(implyingKey);
+        return new HashSet<InputKeyImplication>();
+        }               
+
+        @Override
+    public Map<Set<Integer>, Set<Integer>> getFunctionalDependencies(IInputKey key) {
+        ensureValidKey(key);
+        if (key instanceof RelationView) {
+            return new HashMap<Set<Integer>, Set<Integer>>();
+        } else {
+            return Collections.emptyMap();
+        }
+    }
+
+    public void ensureValidKey(IInputKey key) {
+        if (! (key instanceof RelationView<?>))
+            illegalInputKey(key);
+    }
+
+    public void illegalInputKey(IInputKey key) {
+        throw new IllegalArgumentException("The input key " + key + " is not a valid input key.");
+    }
+        
+}