SYSM2L_-89 Added special semantics tests for

checkTransitionStateUsageSpecialization.

Author: seidewitz

org.omg.sysml.interactive.tests/resources/org/omg/sysml/semantics/tests/sysml-simple-specializations.csv

@@ -65,8 +65,8 @@ true,checkPerformActionUsageSpecialization,PerformActionUsage,Parts::Part::perfo
 true,checkStateUsageSpecialization,StateUsage,States::stateActions,Package,OwningMembership
 true,checkStateUsageExclusiveStateSpecialization,StateUsage,States::StateAction::exclusiveStates,StateUsage,FeatureMembership
 true,checkTransitionUsageSpecialization,TransitionUsage,Actions::transitionActions,Package,OwningMembership
-true,checkTransitionUsageStateSpecialization,TransitionUsage,States::StateAction::stateTransitions,StateDefinition,FeatureMembership
-true,checkTransitionUsageStateSpecialization,TransitionUsage,States::StateAction::stateTransitions,StateUsage,FeatureMembership
+false,checkTransitionUsageStateSpecialization,TransitionUsage,States::StateAction::stateTransitions,StateDefinition,FeatureMembership
+false,checkTransitionUsageStateSpecialization,TransitionUsage,States::StateAction::stateTransitions,StateUsage,FeatureMembership
 true,checkTransitionUsageActionSpecialization,TransitionUsage,Actions::Action::decisionTransitions,ActionUsage,FeatureMembership
 true,checkTransitionUsageActionSpecialization,TransitionUsage,Actions::Action::decisionTransitions,ActionDefinition,FeatureMembership
 true,checkCalculationUsageSpecialization,CalculationUsage,Calculations::calculations,Package,OwningMembership

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

@@ -1,6 +1,6 @@
 /**
  * SysML 2 Pilot Implementation
- * Copyright (C) 2024 Model Driven Solutions, Inc.
+ * Copyright (C) 2024-2025 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,11 +19,26 @@
  * 
  * Contributors:
  *   Laszlo Gati, MDS
+ *   Ed Seidewitz, MDS
  */
 package org.omg.sysml.semantics.tests;
 
+import static org.junit.Assert.assertTrue;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.EClassifier;
 import org.junit.Ignore;
 import org.junit.Test;
+import org.omg.sysml.lang.sysml.Element;
+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.NamespaceUtil;
+import org.omg.sysml.util.TypeUtil;
 
 /**
  * Semantic constraint tests for "Implied Definition Subclassification Relationships" and
@@ -33,6 +48,49 @@
  */
 public class SysMLSpecializationSpecialTest extends SysMLSemanticTest {
 
+	protected void checkTransitionUsageStateSpecialization(String owningTypeName) {
+		//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, "States::StateAction::stateTransitions");
+		assertTrue(libraryElement instanceof Type);
+
+		//create owning type
+		EClassifier ownerEClass = SysMLPackage.eINSTANCE.getEClassifier(owningTypeName);
+		Type owner = (Type) SysMLFactory.eINSTANCE.create((EClass) ownerEClass);
+		NamespaceUtil.addOwnedMemberTo(root, owner);
+		
+		//create source state usage
+		StateUsage state = SysMLFactory.eINSTANCE.createStateUsage();
+		state.setIsReference(false);
+		TypeUtil.addOwnedFeatureTo(owner, state);
+		
+		//create transition usage
+		TransitionUsage transition = SysMLFactory.eINSTANCE.createTransitionUsage();
+		transition.setIsReference(false);
+		TypeUtil.addOwnedFeatureTo(owner, transition);
+		
+		//add source state usage to transition usage
+		NamespaceUtil.addMemberTo(transition, state);
+		
+		//run transformation, add implicit elements
+		ElementUtil.transformAll(root, true);
+		
+		assertTrue(String.format("TransitionUsage specializes stateTransitions instead of %s", getSpecifics(transition)), transition.specializes((Type)libraryElement));
+	}
+	
+	@Test
+	public void checkTransitionUsageStateSpecialization_StateDefinition() {
+		checkTransitionUsageStateSpecialization("StateDefinition");
+	}
+	
+	@Test
+	public void checkTransitionUsageStateSpecialization_StateUsage() {
+		checkTransitionUsageStateSpecialization("StateUsage");
+	}
+	
 	@Test
 	@Ignore("TBD")
 	public void checkLifeClassOccurrenceSpecialization() {