ST6RI-636 Fixed PlantUML multiplicity visualization.

- Added FeatureUtil.getMultiplicityOf to provide a result consistent
with the old derivation computation for Feature::getMultiplicity.

Author: seidewitz

org.omg.sysml.plantuml/src/org/omg/sysml/plantuml/Visitor.java

@@ -1,6 +1,7 @@
 /*****************************************************************************
  * SysML 2 Pilot Implementation, PlantUML Visualization
  * Copyright (c) 2020-2022 Mgnite Inc.
+ * Copyright (c) 2023 Model Driven Solutions, Inc.
  *    
  * This program is free software: you can redistribute it and/or modify
  * it under the terms of the GNU Lesser General Public License as published by
@@ -19,6 +20,7 @@
  * 
  * Contributors:
  *  Hisashi Miyashita, Mgnite Inc.
+ *  Ed Seidewitz, MDS
  * 
  *****************************************************************************/
 
@@ -347,7 +349,7 @@ protected PRelation addPRelation(Element src, Element dest, Element rel) {
     private MultiplicityRange getEffectiveMultiplicityRange(Element e) {
         if (!(e instanceof Type)) return null;
         Type typ = (Type) e;
-        Multiplicity m = typ.getMultiplicity();
+        Multiplicity m = FeatureUtil.getMultiplicityOf(typ);
         return FeatureUtil.getMultiplicityRangeOf(m);
     }
 

org.omg.sysml/src/org/omg/sysml/util/FeatureUtil.java

@@ -229,7 +229,7 @@ public static List<Feature> getAllSubsettingFeaturesIn(Type type, Feature subset
 				collect(Collectors.toList());
 	}
 
-// Feature values
+	// Feature values
 
 	public static FeatureValue getValuationFor(Feature feature) {
 		return (FeatureValue)feature.getOwnedMembership().stream().
@@ -395,4 +395,23 @@ public static void addMultiplicityTo(Type type) {
 		}
 	}
 
+	public static Multiplicity getMultiplicityOf(Type type) {
+		return getMultiplicityOf(type, new HashSet<>());
+	}
+	
+	public static Multiplicity getMultiplicityOf(Type type, Set<Type> visited) {
+		Multiplicity multiplicity = type.getMultiplicity();
+		if (multiplicity == null) {
+			visited.add(type);
+			for (Type general: TypeUtil.getGeneralTypesOf(type)){
+				if (general != null && !visited.contains(general)) { 
+					multiplicity = getMultiplicityOf(general, visited);
+					if (multiplicity != null) {
+						break;
+					}
+				}
+			}
+		}
+		return multiplicity;
+	}
 }

sysml/src/examples/Simple Tests/PartTest.sysml

@@ -11,7 +11,9 @@ package PartTest {
 	}
 
 	abstract part def <xx> B {
-		public abstract part a: A;
+		public abstract part a: A[1..2];
+		public abstract part b subsets a;
+		public abstract part c[0..1] subsets a;
 		port x: ~C;
 		package P { }