diff options
Diffstat (limited to 'subprojects/store-reasoning')
-rw-r--r-- | subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/containment/ContainmentHierarchyTranslator.java | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/containment/ContainmentHierarchyTranslator.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/containment/ContainmentHierarchyTranslator.java index 37eac022..dda9f2c8 100644 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/containment/ContainmentHierarchyTranslator.java +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/containment/ContainmentHierarchyTranslator.java | |||
@@ -42,7 +42,7 @@ import static tools.refinery.store.reasoning.literal.PartialLiterals.must; | |||
42 | 42 | ||
43 | public class ContainmentHierarchyTranslator implements ModelStoreConfiguration { | 43 | public class ContainmentHierarchyTranslator implements ModelStoreConfiguration { |
44 | public static final PartialRelation CONTAINED_SYMBOL = new PartialRelation("contained", 1); | 44 | public static final PartialRelation CONTAINED_SYMBOL = new PartialRelation("contained", 1); |
45 | public static final PartialRelation INVALID_NUMBER_OF_CONTAINERS = new PartialRelation("invalidNumberOfContainers", | 45 | public static final PartialRelation INVALID_CONTAINER = new PartialRelation("invalidContainer", |
46 | 1); | 46 | 1); |
47 | public static final PartialRelation CONTAINS_SYMBOL = new PartialRelation("contains", 2); | 47 | public static final PartialRelation CONTAINS_SYMBOL = new PartialRelation("contains", 2); |
48 | 48 | ||
@@ -97,7 +97,7 @@ public class ContainmentHierarchyTranslator implements ModelStoreConfiguration { | |||
97 | public void apply(ModelStoreBuilder storeBuilder) { | 97 | public void apply(ModelStoreBuilder storeBuilder) { |
98 | storeBuilder.symbol(containsStorage); | 98 | storeBuilder.symbol(containsStorage); |
99 | translateContains(storeBuilder); | 99 | translateContains(storeBuilder); |
100 | translateInvalidNumberOfContainers(storeBuilder); | 100 | translateInvalidContainer(storeBuilder); |
101 | for (var entry : containmentInfoMap.entrySet()) { | 101 | for (var entry : containmentInfoMap.entrySet()) { |
102 | var linkType = entry.getKey(); | 102 | var linkType = entry.getKey(); |
103 | var info = entry.getValue(); | 103 | var info = entry.getValue(); |
@@ -212,8 +212,8 @@ public class ContainmentHierarchyTranslator implements ModelStoreConfiguration { | |||
212 | )))); | 212 | )))); |
213 | } | 213 | } |
214 | 214 | ||
215 | private void translateInvalidNumberOfContainers(ModelStoreBuilder storeBuilder) { | 215 | private void translateInvalidContainer(ModelStoreBuilder storeBuilder) { |
216 | storeBuilder.with(new InvalidMultiplicityErrorTranslator(CONTAINED_SYMBOL, CONTAINS_SYMBOL, true, | 216 | storeBuilder.with(new InvalidMultiplicityErrorTranslator(CONTAINED_SYMBOL, CONTAINS_SYMBOL, true, |
217 | ConstrainedMultiplicity.of(CardinalityIntervals.ONE, INVALID_NUMBER_OF_CONTAINERS))); | 217 | ConstrainedMultiplicity.of(CardinalityIntervals.ONE, INVALID_CONTAINER))); |
218 | } | 218 | } |
219 | } | 219 | } |