From 1fa02964a83179df89d28f2de2ac706925d166ab Mon Sep 17 00:00:00 2001
From: OszkarSemerath <semerath@mit.bme.hu>
Date: Tue, 10 Aug 2021 19:16:37 +0200
Subject: Key validation

---
 .../solver/data/model/representation/AuxilaryDataRepresentation.java | 5 +++++
 .../viatra/solver/data/model/representation/DataRepresentation.java  | 1 +
 .../solver/data/model/representation/SymbolRepresentation.java       | 5 +++++
 3 files changed, 11 insertions(+)

(limited to 'model-data')

diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/AuxilaryDataRepresentation.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/AuxilaryDataRepresentation.java
index c524ba37..15116afd 100644
--- a/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/AuxilaryDataRepresentation.java
+++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/AuxilaryDataRepresentation.java
@@ -8,4 +8,9 @@ public class AuxilaryDataRepresentation<K,V> extends DataRepresentation<K, V> {
 			V defaultValue) {
 		super(keyClass, hashProvider, valueClass, defaultValue);
 	}
+	
+	@Override
+	public boolean isValidKey(K key) {
+		return true;
+	}
 }
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/DataRepresentation.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/DataRepresentation.java
index 41205c83..e04606f5 100644
--- a/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/DataRepresentation.java
+++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/DataRepresentation.java
@@ -27,6 +27,7 @@ abstract public class DataRepresentation<K, V> {
 	public ContinousHashProvider<K> getHashProvider() {
 		return hashProvider;
 	}
+	public abstract boolean isValidKey(K key);
 
 	public V getDefaultValue() {
 		return defaultValue;
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/SymbolRepresentation.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/SymbolRepresentation.java
index 442f9dc6..c8b7473f 100644
--- a/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/SymbolRepresentation.java
+++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/SymbolRepresentation.java
@@ -15,4 +15,9 @@ public class SymbolRepresentation <D> extends DataRepresentation<Tuple,D> {
 	public Symbol getSymbol() {
 		return symbol;
 	}
+	
+	@Override
+	public boolean isValidKey(Tuple key) {
+		return key.getSize() == symbol.getArity();
+	}
 }
-- 
cgit v1.2.3-70-g09d2