ST6RI-864 Properly satisfied checkIncludeUseCaseUsageSpecialization.

- Also turned on tests for IncludeUseCaseUsage in
SysMLSpecializationTest.

Author: seidewitz

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

@@ -96,8 +96,8 @@ false,checkVerificationCaseUsageSubVerificationCaseSpecialization,VerificationCa
 true,checkUseCaseUsageSpecialization,UseCaseUsage,UseCases::useCases,Package,OwningMembership
 true,checkUseCaseUsageSubUseCaseSpecialization,UseCaseUsage,UseCases::UseCase::subUseCases,UseCaseUsage,FeatureMembership
 true,checkUseCaseUsageSubUseCaseSpecialization,UseCaseUsage,UseCases::UseCase::subUseCases,UseCaseDefinition,FeatureMembership
-false,checkIncludeUseCaseUsageSpecialization,IncludeUseCaseUsage,UseCases::UseCase::includedUseCases,UseCaseUsage,FeatureMembership
-false,checkIncludeUseCaseUsageSpecialization,IncludeUseCaseUsage,UseCases::UseCase::includedUseCases,UseCaseDefinition,FeatureMembership
+true,checkIncludeUseCaseUsageSpecialization,IncludeUseCaseUsage,UseCases::UseCase::includedUseCases,UseCaseUsage,FeatureMembership
+true,checkIncludeUseCaseUsageSpecialization,IncludeUseCaseUsage,UseCases::UseCase::includedUseCases,UseCaseDefinition,FeatureMembership
 true,checkViewUsageSpecialization,ViewUsage,Views::views,Package,OwningMembership
 true,checkViewUsageSubviewSpecialization,ViewUsage,Views::View::subviews,ViewUsage,FeatureMembership
 true,checkViewUsageSubviewSpecialization,ViewUsage,Views::View::subviews,ViewDefinition,FeatureMembership

org.omg.sysml/src/org/omg/sysml/adapter/IncludeUseCaseUsageAdapter.java

@@ -1,6 +1,6 @@
 /*******************************************************************************
  * SysML 2 Pilot Implementation
- * Copyright (c) 2021, 2022 Model Driven Solutions, Inc.
+ * Copyright (c) 2021, 2022, 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
@@ -25,6 +25,8 @@
 import org.omg.sysml.lang.sysml.CaseUsage;
 import org.omg.sysml.lang.sysml.IncludeUseCaseUsage;
 import org.omg.sysml.lang.sysml.Type;
+import org.omg.sysml.lang.sysml.UseCaseDefinition;
+import org.omg.sysml.lang.sysml.UseCaseUsage;
 
 public class IncludeUseCaseUsageAdapter extends UseCaseUsageAdapter {
 
@@ -38,12 +40,18 @@ public IncludeUseCaseUsage getTarget() {
 	}
 
 	/**
-	 * TODO: checkIncludeUseCaseUsageSpecialization
-	 * 
 	 * TODO: Rename checkIncludeUseCaseSpecialization
 	 * See SYSML21-299
 	 */
 
+	/**
+	 * @satisfies checkIncludeUseCaseUsageSpecialization
+	 */
+	public boolean isSubUseCase() {
+		Type owningType = getTarget().getOwningType();
+		return owningType instanceof UseCaseDefinition || owningType instanceof UseCaseUsage;
+	}
+	
 	/**
 	 * @satisfies checkPerformActionUsageSpecialization
 	 */

org.omg.sysml/src/org/omg/sysml/adapter/UseCaseUsageAdapter.java

@@ -1,6 +1,6 @@
 /*******************************************************************************
  * SysML 2 Pilot Implementation
- * Copyright (c) 2021, 2023 Model Driven Solutions, Inc.
+ * Copyright (c) 2021, 2023, 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