diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-08-17 18:16:48 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-08-17 18:16:48 +0200 |
commit | 37340f19b0f561c0d85f58834e8f716ba6234f10 (patch) | |
tree | bfe752847d007cf52f470694d7db55988cf95aba /subprojects/store-reasoning/src/main | |
parent | fix: containment link translation (diff) | |
download | refinery-37340f19b0f561c0d85f58834e8f716ba6234f10.tar.gz refinery-37340f19b0f561c0d85f58834e8f716ba6234f10.tar.zst refinery-37340f19b0f561c0d85f58834e8f716ba6234f10.zip |
fix: opposite translation error reporting
Diffstat (limited to 'subprojects/store-reasoning/src/main')
-rw-r--r-- | subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/metamodel/MetamodelBuilder.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/metamodel/MetamodelBuilder.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/metamodel/MetamodelBuilder.java index 92370e25..d0732edc 100644 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/metamodel/MetamodelBuilder.java +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/metamodel/MetamodelBuilder.java | |||
@@ -203,15 +203,15 @@ public class MetamodelBuilder { | |||
203 | throw new IllegalArgumentException("Opposite %s of %s is not defined" | 203 | throw new IllegalArgumentException("Opposite %s of %s is not defined" |
204 | .formatted(opposite, linkType)); | 204 | .formatted(opposite, linkType)); |
205 | } | 205 | } |
206 | if (!oppositeInfo.opposite().equals(linkType)) { | 206 | if (!linkType.equals(oppositeInfo.opposite())) { |
207 | throw new IllegalArgumentException("Expected %s to have opposite %s, got %s instead" | 207 | throw new IllegalArgumentException("Expected %s to have opposite %s, got %s instead" |
208 | .formatted(opposite, linkType, oppositeInfo.opposite())); | 208 | .formatted(opposite, linkType, oppositeInfo.opposite())); |
209 | } | 209 | } |
210 | if (!oppositeInfo.sourceType().equals(targetType)) { | 210 | if (!targetType.equals(oppositeInfo.sourceType())) { |
211 | throw new IllegalArgumentException("Expected %s to have source type %s, got %s instead" | 211 | throw new IllegalArgumentException("Expected %s to have source type %s, got %s instead" |
212 | .formatted(opposite, targetType, oppositeInfo.sourceType())); | 212 | .formatted(opposite, targetType, oppositeInfo.sourceType())); |
213 | } | 213 | } |
214 | if (!oppositeInfo.targetType().equals(sourceType)) { | 214 | if (!sourceType.equals(oppositeInfo.targetType())) { |
215 | throw new IllegalArgumentException("Expected %s to have target type %s, got %s instead" | 215 | throw new IllegalArgumentException("Expected %s to have target type %s, got %s instead" |
216 | .formatted(opposite, sourceType, oppositeInfo.targetType())); | 216 | .formatted(opposite, sourceType, oppositeInfo.targetType())); |
217 | } | 217 | } |