ST6RI-843 Annotated more semantic constraints in FeatureAdapter

Author: TheKorpos

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

@@ -245,13 +245,19 @@ protected void addBoundValueSubsetting() {
 		}
 	}
 
+	/**
+	 * @satisfies checkFeatureEndSpecialization
+	 */
 	protected void addParticipantSubsetting() {
 		if (isAssociationEnd() && 
 				!isImplicitSpecializationDeclaredFor(SysMLPackage.eINSTANCE.getRedefinition())) {
 			addDefaultGeneralType("participant");
 		}
 	}
 
+	/**
+	 * @satisfies checkFeatureCrossingSpecialization
+	 */
 	public void addCrossingSpecialization() {
 		Feature target = getTarget();
 		Feature ownedCrossFeature = FeatureUtil.getOwnedCrossFeatureOf(target);
@@ -659,6 +665,9 @@ public boolean isIgnoredParameter() {
 
 	// Transformation
 
+	/**
+	 * @satisfies checkFeatureFeatureMembershipTypeFeaturing
+	 */
 	protected Type computeFeaturingType() {
 		Feature feature = getTarget();
 		Type owningType = feature.getOwningType();

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

@@ -37,12 +37,13 @@ public IncludeUseCaseUsage getTarget() {
 		return (IncludeUseCaseUsage)super.getTarget();
 	}
 
+	/**
+	 * @satisfies checkPerformActionUsageSpecialization
+	 */
 	@Override
 	public void addDefaultGeneralType() {
-		//checkIncludeUseCaseSpecialization
 		super.addDefaultGeneralType();
 		if (isPerformedAction()) {
-			////checkPerformActionUsageSpecialization
 			addDefaultGeneralType("performedAction");
 		}
 	}

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

@@ -31,10 +31,13 @@ public UseCaseUsageAdapter(UseCaseUsage element) {
 		super(element);
 	}
 
+	/**
+	 * @satisfies checkIncludeUseCaseSpecialization
+	 * @satisfies checkUseCaseUsageSpecialization
+	 * @satisfies checkUseCaseUsageSubUseCaseSpecialization
+	 */
 	@Override
 	protected String getSubactionType() {
-		//checkUseCaseUsageSpecialization
-		//checkUseCaseUsageSubUseCaseSpecialization
 		return isSubUseCase()? "subUseCase": super.getSubactionType();	
 	}