From 3796818d5b8754cfc9cdcbf61b54af93670ef42b Mon Sep 17 00:00:00 2001 From: nagilooh Date: Fri, 25 Aug 2023 17:14:56 +0200 Subject: Add missing copyright headers --- .../store/dse/internal/action/ActionVariable.java | 5 ++++ .../dse/internal/action/ActivationVariable.java | 5 ++++ .../store/dse/internal/action/AtomicAction.java | 5 ++++ .../store/dse/internal/action/DeleteAction.java | 5 ++++ .../store/dse/internal/action/InsertAction.java | 5 ++++ .../store/dse/internal/action/NewItemVariable.java | 5 ++++ .../dse/internal/action/TransformationAction.java | 5 ++++ .../tools/refinery/store/dse/ActionEqualsTest.java | 27 +++++++++------------- 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 + * + * 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 + * + * 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 + * + * 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 + * + * 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 + * + * 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 + * + * 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 + * + * 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 + * + * 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 type1; - private static Symbol type2; - private static Symbol type3; private static Symbol relation1; private static Symbol 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 -- cgit v1.2.3-54-g00ecf