aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-dse/src/test
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/store-dse/src/test')
-rw-r--r--subprojects/store-dse/src/test/java/tools/refinery/store/dse/CRAExamplesTest.java2
-rw-r--r--subprojects/store-dse/src/test/java/tools/refinery/store/dse/DebugTest.java2
-rw-r--r--subprojects/store-dse/src/test/java/tools/refinery/store/dse/DesignSpaceExplorationTest.java2
-rw-r--r--subprojects/store-dse/src/test/java/tools/refinery/store/dse/TransformationRuleTest.java2
4 files changed, 4 insertions, 4 deletions
diff --git a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/CRAExamplesTest.java b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/CRAExamplesTest.java
index 4bdb05ec..f1e90280 100644
--- a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/CRAExamplesTest.java
+++ b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/CRAExamplesTest.java
@@ -25,7 +25,7 @@ import java.util.List;
25 25
26import static tools.refinery.store.query.literal.Literals.not; 26import static tools.refinery.store.query.literal.Literals.not;
27 27
28public class CRAExamplesTest { 28class CRAExamplesTest {
29 private static final Symbol<String> name = Symbol.of("Name", 1, String.class); 29 private static final Symbol<String> name = Symbol.of("Name", 1, String.class);
30 30
31// private static final Symbol<Boolean> classModel = Symbol.of("ClassModel", 1); 31// private static final Symbol<Boolean> classModel = Symbol.of("ClassModel", 1);
diff --git a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DebugTest.java b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DebugTest.java
index 101a5362..553510c8 100644
--- a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DebugTest.java
+++ b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DebugTest.java
@@ -20,7 +20,7 @@ import tools.refinery.store.tuple.Tuple;
20import tools.refinery.visualization.ModelVisualizerAdapter; 20import tools.refinery.visualization.ModelVisualizerAdapter;
21import tools.refinery.visualization.internal.FileFormat; 21import tools.refinery.visualization.internal.FileFormat;
22 22
23public class DebugTest { 23class DebugTest {
24 private static final Symbol<Boolean> classModel = Symbol.of("ClassModel", 1); 24 private static final Symbol<Boolean> classModel = Symbol.of("ClassModel", 1);
25 private static final Symbol<Boolean> classElement = Symbol.of("ClassElement", 1); 25 private static final Symbol<Boolean> classElement = Symbol.of("ClassElement", 1);
26 private static final Symbol<Boolean> feature = Symbol.of("Feature", 1); 26 private static final Symbol<Boolean> feature = Symbol.of("Feature", 1);
diff --git a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DesignSpaceExplorationTest.java b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DesignSpaceExplorationTest.java
index f4644407..a379835d 100644
--- a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DesignSpaceExplorationTest.java
+++ b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DesignSpaceExplorationTest.java
@@ -21,7 +21,7 @@ import tools.refinery.visualization.ModelVisualizerAdapter;
21 21
22import static org.junit.jupiter.api.Assertions.assertEquals; 22import static org.junit.jupiter.api.Assertions.assertEquals;
23 23
24public class DesignSpaceExplorationTest { 24class DesignSpaceExplorationTest {
25// private static final Symbol<Boolean> namedElement = Symbol.of("NamedElement", 1); 25// private static final Symbol<Boolean> namedElement = Symbol.of("NamedElement", 1);
26// private static final Symbol<Boolean> attribute = Symbol.of("Attribute", 1); 26// private static final Symbol<Boolean> attribute = Symbol.of("Attribute", 1);
27// private static final Symbol<Boolean> method = Symbol.of("Method", 1); 27// private static final Symbol<Boolean> method = Symbol.of("Method", 1);
diff --git a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/TransformationRuleTest.java b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/TransformationRuleTest.java
index f57f68ef..3aa4c92e 100644
--- a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/TransformationRuleTest.java
+++ b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/TransformationRuleTest.java
@@ -23,7 +23,7 @@ import static org.junit.jupiter.api.Assertions.assertEquals;
23import static tools.refinery.store.query.literal.Literals.not; 23import static tools.refinery.store.query.literal.Literals.not;
24import static tools.refinery.store.dse.tests.QueryAssertions.assertResults; 24import static tools.refinery.store.dse.tests.QueryAssertions.assertResults;
25 25
26public class TransformationRuleTest { 26class TransformationRuleTest {
27 27
28 private static final Symbol<Boolean> classModel = Symbol.of("ClassModel", 1); 28 private static final Symbol<Boolean> classModel = Symbol.of("ClassModel", 1);
29 private static final Symbol<Boolean> classElement = Symbol.of("ClassElement", 1); 29 private static final Symbol<Boolean> classElement = Symbol.of("ClassElement", 1);