ST6RI-843 Added more semantic constraint annotations.

@Satisfies for:
- checkMultiplicityRangeExpressionTypeFeaturing
- checkUsageVariationUsageTypeFeaturing
- checkMetadataFeatureSemanticSpecialization
- checkFeatureChainExpressionResultSpecialization
- checkFeatureResultRedefinition
- checkFeatureEndRedefinition

TODOs for:
- checkDescisionNodeOutgoingSuccessionSpecialization
- checkMergeNodeIncomingSuccessionSpecialization

Author: seidewitz

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

@@ -47,6 +47,14 @@ public Expression getTarget() {
 
 	// Implicit Generalization
 
+	/**
+	 * @satisfies checkStepOwnedPerformanceSpecialization
+	 * @satisfies checkStepSubperformanceSpecialization
+	 * @satisfies checkStepEnclosedPerformanceSpecialization
+	 * 
+	 * Note: These are satisfied by getDefaultSupertype in StepAdapter, 
+	 * which is overridden in ExpressionAdapater.
+	 */
 	@Override
 	public void addDefaultGeneralType() {
 		super.addDefaultGeneralType();
@@ -96,6 +104,7 @@ protected List<Type> getGeneralTypes(Type type, Element skip) {
 	/**
 	 * @satisfies checkExpressionTypeFeaturing
 	 * @satisfies checkExpressionResultBindingConnector
+	 * @satisfies checkMultiplicityRangeExpressionTypeFeaturing
 	 */
 	@Override
 	public void doTransform() {

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

@@ -237,6 +237,9 @@ public void addDefaultGeneralType() {
 	}
 
 
+	/**
+	 * @satisfies checkFeatureValuationSpecialization
+	 */
 	protected void addBoundValueSubsetting() {
 		Feature target = getTarget();
 		Feature result = getBoundValueResult();
@@ -562,8 +565,6 @@ public void addComputedRedefinitions(Element skip) {
 	 * owning Type, then it is paired with relevant Features in the same position in Generalizations of the 
 	 * owning Type. The determination of what are relevant Categories and Features can be adjusted by
 	 * overriding getGeneralCategories and getRelevantFeatures.
-	 * 
-	 * @satisfies checkFeatureParameterRedefinition
 	 */
 	protected void addRedefinitions(Element skip) {
 		Feature target = getTarget();
@@ -603,6 +604,8 @@ protected List<Type> getGeneralTypes(Type type, Element skip) {
 	 * Get the relevant Features that may be redefined from the given Type.
 	 * This includes end features, owned features of constructor results, and
 	 * generally parameters.
+	 * 
+	 * @satisfies checkFeatureEndRedefinition
 	 */
 	protected List<? extends Feature> getRelevantFeatures(Type type, Element skip) {
 		Feature target = getTarget();
@@ -632,6 +635,8 @@ protected List<? extends Feature> getConstructorRelevantFeatures(Type type) {
 	 * Parameters redefine (owned) Parameters of general Types, with a result
 	 * Parameter always redefining the result Parameter of a general Function or
 	 * Expression.
+	 * 
+	 * @satisfies checkFeatureResultRedefinition
 	 */
 	public List<? extends Feature> getParameterRelevantFeatures(Type type, Element skip) {
 		if (type != null) {
@@ -647,6 +652,9 @@ public List<? extends Feature> getParameterRelevantFeatures(Type type, Element s
 		return Collections.emptyList();
 	}
 
+	/**
+	 * @satisfies checkFeatureParameterRedefinition
+	 */
 	protected List<Feature> getRelevantParameters(Type type, Element skip) {
 		Type owningType = getTarget().getOwningType();
 		return filterIgnoredParameters(type == owningType? 

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

@@ -40,6 +40,9 @@ public FeatureChainExpression getTarget() {
 		return (FeatureChainExpression)super.getTarget();
 	}
 
+	/**
+	 * @satisfies checkFeatureChainExpressionResultSpecialization
+	 */
 	@Override
 	protected void addResultTyping() {
 		FeatureChainExpression target = getTarget();

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

@@ -46,5 +46,10 @@ protected void addContextFeaturingType() {
 			addFeaturingTypes(((TransitionUsage)owningNamespace).getFeaturingType());
 		}
 	}
+	
+	/**
+	 * TODO: checkDecisionNodeOutgoingSuccessionSpecialization
+	 * TODO: checkMergeNodeIncomingSuccessionSpecialization
+	 */
 
 }

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

@@ -395,6 +395,9 @@ public void computeImplicitGeneralTypes() {
  		}
 	}
 
+	/**
+	 * @satisfies checkMetadataFeatureSemanticSpecialization
+	 */
 	public void addDefaultGeneralType() {
 		for (Type baseType: getBaseTypes()) {
 			addImplicitGeneralType(getSpecializationEClass(), baseType);

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

@@ -211,6 +211,9 @@ protected void computeValueConnector() {
 		}
 	}
 
+	/**
+	 * @satisfies checkUsageVariationUsageTypeFeaturing
+	 */
 	@Override
 	public void doTransform() {
 		super.doTransform();