ST6RI-901 Created Junit tests to check object and subobject constraints.

- checkFeatureObjectSpecialization and
checkFeatureSubobjectSpecialization for an OccurrenceUsage with a
Structure type.

- checkFeatureSubobjectSpecialization for a composite PortUsage
explicitly typed by a PortDefinition.

Author: seidewitz

org.omg.sysml.interactive.tests/src/org/omg/sysml/semantics/tests/SysMLSpecializationSpecialTest.java

@@ -30,13 +30,18 @@
 import org.junit.Ignore;
 import org.junit.Test;
 import org.omg.sysml.lang.sysml.Element;
+import org.omg.sysml.lang.sysml.ItemDefinition;
+import org.omg.sysml.lang.sysml.OccurrenceUsage;
+import org.omg.sysml.lang.sysml.PortDefinition;
+import org.omg.sysml.lang.sysml.PortUsage;
 import org.omg.sysml.lang.sysml.StateUsage;
 import org.omg.sysml.lang.sysml.SysMLFactory;
 import org.omg.sysml.lang.sysml.SysMLPackage;
 import org.omg.sysml.lang.sysml.TransitionUsage;
 import org.omg.sysml.lang.sysml.Type;
 import org.omg.sysml.lang.sysml.util.SysMLLibraryUtil;
 import org.omg.sysml.util.ElementUtil;
+import org.omg.sysml.util.FeatureUtil;
 import org.omg.sysml.util.NamespaceUtil;
 import org.omg.sysml.util.TypeUtil;
 
@@ -91,6 +96,93 @@ public void checkTransitionUsageStateSpecialization_StateUsage() {
 		checkTransitionUsageStateSpecialization("StateUsage");
 	}
 
+	@Test
+	public void checkFeatureObjectSpecialization_OccurrenceUsage() {
+		//create and add root package
+		org.omg.sysml.lang.sysml.Package root = SysMLFactory.eINSTANCE.createPackage();
+		getResource().getContents().add(root);
+		
+		//check if library element exists
+		Element libraryElement = SysMLLibraryUtil.getLibraryElement(root, "Objects::objects");
+		assertTrue(libraryElement instanceof Type);
+
+		//create owning package
+		org.omg.sysml.lang.sysml.Package owner = SysMLFactory.eINSTANCE.createPackage();
+		NamespaceUtil.addOwnedMemberTo(root, owner);
+		
+		//create occurrence usage
+		OccurrenceUsage occurrence = SysMLFactory.eINSTANCE.createOccurrenceUsage();
+		occurrence.setIsReference(false);
+		NamespaceUtil.addOwnedMemberTo(owner, occurrence);
+		
+		//create structure type
+		ItemDefinition type = SysMLFactory.eINSTANCE.createItemDefinition();
+		FeatureUtil.addFeatureTypingTo(occurrence).setType(type);
+		
+		//run transformation, add implicit elements
+		ElementUtil.transformAll(root, true);
+		
+		assertTrue(String.format("OccurrenceUsage specializes subobjects instead of %s", getSpecifics(occurrence)), occurrence.specializes((Type)libraryElement));
+	}
+	
+	@Test
+	public void checkFeatureSubobjectSpecialization_OccurrenceUsage() {
+		//create and add root package
+		org.omg.sysml.lang.sysml.Package root = SysMLFactory.eINSTANCE.createPackage();
+		getResource().getContents().add(root);
+		
+		//check if library element exists
+		Element libraryElement = SysMLLibraryUtil.getLibraryElement(root, "Objects::Object::subobjects");
+		assertTrue(libraryElement instanceof Type);
+
+		//create owning type
+		Type owner = (Type) SysMLFactory.eINSTANCE.createItemDefinition();
+		NamespaceUtil.addOwnedMemberTo(root, owner);	
+		
+		//create occurrence usage
+		OccurrenceUsage occurrence = SysMLFactory.eINSTANCE.createOccurrenceUsage();
+		occurrence.setIsReference(false);
+		TypeUtil.addOwnedFeatureTo(owner, occurrence);
+		
+		//create structure type
+		ItemDefinition type = SysMLFactory.eINSTANCE.createItemDefinition();
+		FeatureUtil.addFeatureTypingTo(occurrence).setType(type);
+		
+		//run transformation, add implicit elements
+		ElementUtil.transformAll(root, true);
+		
+		assertTrue(String.format("OccurrenceUsage specializes subobjects instead of %s", getSpecifics(occurrence)), occurrence.specializes((Type)libraryElement));
+	}
+	
+	@Test
+	public void checkFeatureSubobjectSpecialization_PortUsage() {
+		//create and add root package
+		org.omg.sysml.lang.sysml.Package root = SysMLFactory.eINSTANCE.createPackage();
+		getResource().getContents().add(root);
+		
+		//check if library element exists
+		Element libraryElement = SysMLLibraryUtil.getLibraryElement(root, "Objects::Object::subobjects");
+		assertTrue(libraryElement instanceof Type);
+
+		//create owning type
+		Type owner = (Type) SysMLFactory.eINSTANCE.createPortDefinition();
+		NamespaceUtil.addOwnedMemberTo(root, owner);	
+		
+		//create occurrence usage
+		PortUsage occurrence = SysMLFactory.eINSTANCE.createPortUsage();
+		occurrence.setIsReference(false);
+		TypeUtil.addOwnedFeatureTo(owner, occurrence);
+		
+		//create structure type
+		PortDefinition type = SysMLFactory.eINSTANCE.createPortDefinition();
+		FeatureUtil.addFeatureTypingTo(occurrence).setType(type);
+		
+		//run transformation, add implicit elements
+		ElementUtil.transformAll(root, true);
+		
+		assertTrue(String.format("OccurrenceUsage specializes subobjects instead of %s", getSpecifics(occurrence)), occurrence.specializes((Type)libraryElement));
+	}
+	
 	@Test
 	@Ignore("TBD")
 	public void checkUsageVariationUsageSpecialization() {