From 5e21737b0a8a903d2e37e821a96a739eb7429fcd Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Tue, 29 Aug 2023 12:05:08 +0200 Subject: refactor: rename invalidNumberOfContainers Use a simplified name invalidContainer, since this pattern may match even if there is a sufficient number of ERROR containers. --- .../translator/containment/ContainmentHierarchyTranslator.java | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'subprojects/store-reasoning/src/main/java') 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; public class ContainmentHierarchyTranslator implements ModelStoreConfiguration { public static final PartialRelation CONTAINED_SYMBOL = new PartialRelation("contained", 1); - public static final PartialRelation INVALID_NUMBER_OF_CONTAINERS = new PartialRelation("invalidNumberOfContainers", + public static final PartialRelation INVALID_CONTAINER = new PartialRelation("invalidContainer", 1); public static final PartialRelation CONTAINS_SYMBOL = new PartialRelation("contains", 2); @@ -97,7 +97,7 @@ public class ContainmentHierarchyTranslator implements ModelStoreConfiguration { public void apply(ModelStoreBuilder storeBuilder) { storeBuilder.symbol(containsStorage); translateContains(storeBuilder); - translateInvalidNumberOfContainers(storeBuilder); + translateInvalidContainer(storeBuilder); for (var entry : containmentInfoMap.entrySet()) { var linkType = entry.getKey(); var info = entry.getValue(); @@ -212,8 +212,8 @@ public class ContainmentHierarchyTranslator implements ModelStoreConfiguration { )))); } - private void translateInvalidNumberOfContainers(ModelStoreBuilder storeBuilder) { + private void translateInvalidContainer(ModelStoreBuilder storeBuilder) { storeBuilder.with(new InvalidMultiplicityErrorTranslator(CONTAINED_SYMBOL, CONTAINS_SYMBOL, true, - ConstrainedMultiplicity.of(CardinalityIntervals.ONE, INVALID_NUMBER_OF_CONTAINERS))); + ConstrainedMultiplicity.of(CardinalityIntervals.ONE, INVALID_CONTAINER))); } } -- cgit v1.2.3-54-g00ecf