Add missing copyright headers

8 files changed, 46 insertions, 16 deletions

diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/ActionVariable.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/ActionVariable.java
index 51078d15..92de565d 100644
--- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/ActionVariable.java
+++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/ActionVariable.java
@@ -1,3 +1,8 @@
+/*
+ * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: EPL-2.0
+ */
 package tools.refinery.store.dse.internal.action;
 
 import tools.refinery.store.tuple.Tuple;
diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/ActivationVariable.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/ActivationVariable.java
index 148d4156..6b4c6340 100644
--- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/ActivationVariable.java
+++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/ActivationVariable.java
@@ -1,3 +1,8 @@
+/*
+ * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: EPL-2.0
+ */
 package tools.refinery.store.dse.internal.action;
 
 import tools.refinery.store.model.Model;
diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/AtomicAction.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/AtomicAction.java
index 470278ae..a8f10bca 100644
--- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/AtomicAction.java
+++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/AtomicAction.java
@@ -1,3 +1,8 @@
+/*
+ * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: EPL-2.0
+ */
 package tools.refinery.store.dse.internal.action;
 
 import tools.refinery.store.model.Model;
diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/DeleteAction.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/DeleteAction.java
index 9fa77df3..9900390f 100644
--- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/DeleteAction.java
+++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/DeleteAction.java
@@ -1,3 +1,8 @@
+/*
+ * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: EPL-2.0
+ */
 package tools.refinery.store.dse.internal.action;
 
 import tools.refinery.store.dse.DesignSpaceExplorationAdapter;
diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/InsertAction.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/InsertAction.java
index 2335abad..90fcc5ac 100644
--- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/InsertAction.java
+++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/InsertAction.java
@@ -1,3 +1,8 @@
+/*
+ * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: EPL-2.0
+ */
 package tools.refinery.store.dse.internal.action;
 
 import tools.refinery.store.model.Interpretation;
diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/NewItemVariable.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/NewItemVariable.java
index 65b1f544..cbb9697e 100644
--- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/NewItemVariable.java
+++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/NewItemVariable.java
@@ -1,3 +1,8 @@
+/*
+ * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: EPL-2.0
+ */
 package tools.refinery.store.dse.internal.action;
 
 import tools.refinery.store.dse.DesignSpaceExplorationAdapter;
diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/TransformationAction.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/TransformationAction.java
index 50387f53..adc4df9e 100644
--- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/TransformationAction.java
+++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/TransformationAction.java
@@ -1,3 +1,8 @@
+/*
+ * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: EPL-2.0
+ */
 package tools.refinery.store.dse.internal.action;
 
 import tools.refinery.store.model.Model;
diff --git a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/ActionEqualsTest.java b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/ActionEqualsTest.java
index 1489b413..d4a05d12 100644
--- a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/ActionEqualsTest.java
+++ b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/ActionEqualsTest.java
@@ -1,3 +1,8 @@
+/*
+ * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: EPL-2.0
+ */
 package tools.refinery.store.dse;
 
 import org.junit.jupiter.api.BeforeAll;
@@ -7,46 +12,37 @@ import tools.refinery.store.dse.strategy.DepthFirstStrategy;
 import tools.refinery.store.model.Model;
 import tools.refinery.store.model.ModelStore;
 import tools.refinery.store.query.dnf.Query;
-import tools.refinery.store.query.dnf.RelationalQuery;
 import tools.refinery.store.query.viatra.ViatraModelQueryAdapter;
-import tools.refinery.store.query.view.AnySymbolView;
 import tools.refinery.store.query.view.KeyOnlyView;
 import tools.refinery.store.representation.Symbol;
-import tools.refinery.store.representation.TruthValue;
 
-import static org.junit.jupiter.api.Assertions.*;
+import static org.junit.jupiter.api.Assertions.assertFalse;
+import static org.junit.jupiter.api.Assertions.assertTrue;
 
 public class ActionEqualsTest {
 
         private static Model model;
-        private static DesignSpaceExplorationAdapter dseAdapter;
         private static Symbol<Boolean> type1;
-        private static Symbol<Boolean> type2;
-        private static Symbol<TruthValue> type3;
         private static Symbol<Boolean> relation1;
         private static Symbol<Boolean> relation2;
-        private static RelationalQuery precondition1;
-        private static RelationalQuery precondition2;
 
         @BeforeAll
         public static void init() {
                 type1 = Symbol.of("type1", 1);
-                type2 = Symbol.of("type2", 1);
-                type3 = Symbol.of("type3", 1, TruthValue.class);
                 relation1 = Symbol.of("relation1", 2);
                 relation2 = Symbol.of("relation2", 2);
-                AnySymbolView type1View = new KeyOnlyView<>(type1);
-                precondition1 = Query.of("CreateClassPrecondition",
+                var type1View = new KeyOnlyView<>(type1);
+                var precondition1 = Query.of("CreateClassPrecondition",
                                 (builder, model) -> builder.clause(
                                                 type1View.call(model)
                                 ));
 
-                precondition2 = Query.of("CreateFeaturePrecondition",
+                var precondition2 = Query.of("CreateFeaturePrecondition",
                                 (builder, model) -> builder.clause(
                                                 type1View.call(model)
                                 ));
                 var store = ModelStore.builder()
-                                .symbols(type1, type2, type3, relation2, relation1)
+                                .symbols(type1, relation2, relation1)
                                 .with(ViatraModelQueryAdapter.builder()
                                                 .queries(precondition1, precondition2))
                                 .with(DesignSpaceExplorationAdapter.builder()
@@ -55,7 +51,6 @@ public class ActionEqualsTest {
 
 
                 model = store.createEmptyModel();
-                dseAdapter = model.getAdapter(DesignSpaceExplorationAdapter.class);
         }
 
         @Test