diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-08-17 02:32:26 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-08-17 02:43:55 +0200 |
commit | eb5da232b5954895b449957c73e35d0b36e3a902 (patch) | |
tree | a8714116cfe3102659e9c5e5b90131e7ec248492 /subprojects/language/src | |
parent | chore(deps): bump dependencies (diff) | |
download | refinery-eb5da232b5954895b449957c73e35d0b36e3a902.tar.gz refinery-eb5da232b5954895b449957c73e35d0b36e3a902.tar.zst refinery-eb5da232b5954895b449957c73e35d0b36e3a902.zip |
feat: basic semantics mapping and visualization
Diffstat (limited to 'subprojects/language/src')
-rw-r--r-- | subprojects/language/src/main/java/tools/refinery/language/utils/ProblemUtil.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/subprojects/language/src/main/java/tools/refinery/language/utils/ProblemUtil.java b/subprojects/language/src/main/java/tools/refinery/language/utils/ProblemUtil.java index bac274b0..03b0c729 100644 --- a/subprojects/language/src/main/java/tools/refinery/language/utils/ProblemUtil.java +++ b/subprojects/language/src/main/java/tools/refinery/language/utils/ProblemUtil.java | |||
@@ -66,6 +66,10 @@ public final class ProblemUtil { | |||
66 | } | 66 | } |
67 | 67 | ||
68 | public static boolean hasMultiplicityConstraint(ReferenceDeclaration referenceDeclaration) { | 68 | public static boolean hasMultiplicityConstraint(ReferenceDeclaration referenceDeclaration) { |
69 | var opposite = referenceDeclaration.getOpposite(); | ||
70 | if (opposite != null && opposite.getKind() == ReferenceKind.CONTAINMENT) { | ||
71 | return false; | ||
72 | } | ||
69 | var multiplicity = referenceDeclaration.getMultiplicity(); | 73 | var multiplicity = referenceDeclaration.getMultiplicity(); |
70 | if (multiplicity instanceof UnboundedMultiplicity) { | 74 | if (multiplicity instanceof UnboundedMultiplicity) { |
71 | return false; | 75 | return false; |